skysight-inc/HackerNews huggingface dataset:
>Users that are susceptible to security problems don't have the technical know-how to even do something as simple as sideloading. Those who are technical enough usually are not the entry point for malware.

If sideloading is made too difficult for average users, it would totally negate the anti-trust (competitive) benefits of forcing the platform open in the first place.

Either governments make sideloading easy and approachable to the masses, and accept the UX/security/privacy risks involved, or they make it cumbersome, and accept the continuation of the App Store monopoly.
Real mathematicians doesn’t care about constructivist. Also, Lean supports working with both. So you can choose what you want to use.
Although the name 'New England' is now firmly associated with the east coast of America, this is not the first place to be called that.

There's at least one other New England, which in confusing piece of geography is a region within a much larger New South Wales.
Contracts cover more than what type systems on most common languages can express.

For instance popping a stack with no elements throws an exception. Or similarly constructing an object with certain propertied set cause methods on the object to behave differently.

Mocked objects at best encode what the behavior of a certain subset of interactions should be - at a certain point in time.
Can we please change the headline back to the article's?

I had no idea who Alexandra Elbakyan was before this, and mostly clicked through out of curiosity. I would have followed this more if I knew it was about Sci-Hub from the start.
You seem to be missing the point: there’s nothing special about any particular license. No license will force them to do anything.
NNs without at least one hidden layer are rarely used.
Show HN: Stretch Timer: A timer to assist with stretch routines
It is possible to cut a single thread 12 meters long, but it would be hard to position on the construction site.

I worked in a gear shop for 5 years, yes, threads that long can be done. I suspect it might have been cheaper to get a rolled thread in that length, rather than a cut thread. Rolled thread is likely to be stronger, as it is formed, and not cut.
I would be surprised if Kohat wasn’t under FCR when that began
>What are we supposed to do with countries we disagree with?

Criticize them and slowly change public sentiment of the brand until they make better choices. This is the free market and democratic way.
Binance crackdown: regulators tussle with ‘Wild West’ of crypto
As much as I disagree with the notion of intellectual property, I think arguing about the meaning of the phrase "securing for limited times" is the strongest ticket we have, thanks for the tip.
All Elsevier has done is slow accelerationsism - proving that there are those among us who would rather slow down time to reach a predetermined goal, instead of letting a social network interact with itself and knowledge at such a fast rate it cannot be predicted. There are those who wish for accelerationism at any cost, cosmists who believe in a future at any cost, and terrans, who want only a future that only their secret committee has agreed upon.
Thanks, did that, had the helium apparatus all ready to go and started the inhalation. Backed out and decided that a peaceful method was not the answer for me.

I won't starve myself. Just out of money. I have a better method ready.

Thanks.
it's a noble effort, but it misses the point.

altruistic view : if you fix their service on your end, it invalidates portions of their feature A/B test -- a weaker signal means that it'll be less likely that they remove whatever feature offended you / made the service worse.

pessimistic view : they won't stop being abusive to the user until the abuse shows up on their financial reports. Stop being a patron, they'll be forced to change their ways.
Not true. Lean and Coq are very similar. However it is true that Coq has more of a history when it comes to verifying software (CompCert is written in Coq for example). And Lean is the state of the art when it comes to mathematics (mathlib).
Fans of this should check out Noita, a rogulike game based on a similar idea (every pixel being a simulated substance/effect)

https://noitagame.com/
> “I thought Sci-Hub would become legal in a couple of years,” she said. “When the laws are obviously in the way of scientific development, they should be canceled.”

Pretty much this.

Elbakyan: builds library of Alexandria.

Elsevier et al.: tries to burn it down.
If you have a web API that returns a 200 OK with a JSON object with a missing entry when an item is not found, instead of a 404 error, then you have a bug in your API.

But you cannot allow it to change because your users are relying on the existing behavior.
Hi asshole, you're still engaging in an armchair diagosis.

Answer my question, boy. Someone ought to shut your mouth.
Google's 2021 Diversity Report Is 62 Pages of Nebulous Percentages and Indexes
"In spelling, pronunciation, syntax and idioms, the English language can be perplexingly strange—or charmingly eccentric."

https://archive.vn/IJ5gt
I opened mine up and physically disabled there mic, I'm not particularly paranoid but there is no good reason to have it listening away.

And if they are using it when they shouldn't be, mine will stand to frustrate such efforts, if only one in a sea of many.
The hardware is there. Google Meet maxes out at 720p.
I agree with the author. Some devs take unit testing too literally. I have come across tests which mock every units that a component being test depends on. It's a terrible practice. First mocks are hard to maintain and second over time this friction generate disparity between real code and mocks. I have seen tests that pass even when the actual implementations have diverged.

The rule of thumb is, if you can test without mocks don't mock.

Most of the tests we write are integration tests not unit tests. Even at function level, a function being tested calls multiple other functions to get the things done.
Nope. You clearly are not up to date on what is happening right now. With leading edge mathematics being defined and proven correct in Lean, in a collaboration of mathematicians and computer scientists.
Why would you do business with people you disagree with? I wouldn't knowingly serve wife beaters or pedos in my ice cream shop. Why would I trade with genocidal human rights abusers as a corporation? Cause they have cash? Come on, have some standards. Don't be an empty suit and actually believe in something.
And chess.com still uses version 8...
FIDE's handbook (article 6) specifies you lose (or draw) if you run out of time, yes: https://www.fide.com/FIDE/handbook/LawsOfChess.pdf

I am not a chess player but I have never heard of referees stopping the game if you don't "give up" in a losing position and have extra time. That sounds ridiculous but I would love to know if it applies in certain tournaments and the reasoning behind it.
Stop changing the subject.

You said something about doing the gene pool a favor by finishing suicide. So, what about my three children?

Also, you're making this decision process easier for me. Your comments seem to be a low key effort to nudge me to suicide. You're responsible for your comments.

You keep bringing up the Putin worship thing in a fallacious context, you doubt my claim about being molested, and told me I'd do the gene pool a favor by committing suicide. You're acting in a highly malicious manner towards me, stranger.
The scope and utility of a piece of technology is a weak argument in anti-trust debates, in my opinion. You have a similar set of issues with game consoles, too. Why should publishers like EA have to fork over 30% of their PS sales to Sony but Naughty Dog doesn’t have such a restriction? And have you even read about the onerous requirements that Sony imposes to allow for cross-play? And why can’t MS offer a streaming Game Pass on a Sony console? Being extremely limited does not make one not subject to anti-trust scrutiny.
Rip open any building short of a nuclear reactor complex and you will find such differences. Nothing, ever, gets built exactly as planned. We have only a few photos, blurry ones at that. Hold off on the conclusions until reasonable evidence emerges.
Ask HN: Is the Clueweb Dataset Useful?
A handful of places are working to make web search better (for any value of better). The clueweb dataset (eg [1]) has been around quite a while but is it actually useful for any real world purposes?

Common crawl is bigger but I've also read still is not good enough to use as input for good web search.

Did the trec web track produce anything useful?

[1] http://www-personal.umich.edu/~kevynct/trec-web-2014/
Binance has long used what I call the Bond villain compliance strategy: they're immediately anywhere they need to be for the sake of the plot but are a frictionless massless sphere located Far Over Yonder when it comes to the laws of all the countries they operate in.

Much like Bond villains, we know how this movie goes in Act 3.
Over all scales? 2km trip, 5km trip, 20km trip, 100km trip, from/to any destination (e.g. from my house to friends house).
Can you come up with some examples that you’d grade well?
"productivity and service provision remained the same or improved" lmao there's no metric to quantify this.
Not sure how relevant, but reminded me of this thesis[1] which is based on resource closure operators[2]. The thesis applies the model to that of CPU frequency scaling, but I guess a model could be made for something like scaling number of compute nodes.

From the abstract of [2]:

We evaluate a specific design for a resource closure operator by simulation and demonstrate that the operator achieves a near-optimal balance between cost and value without using any model of the relationship between resources and behavior. Instead, the resource operator relies upon its control of the resource to perform experiments and react to their results. These experiments allow the operator to be highly adaptive to change and unexpected contingencies.

Not my field so not sure if anything significant has been done using this in the past 10 years, or if it fizzled out.

[1]: https://www.duo.uio.no/handle/10852/8753

[2]: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304....
One of the lessons of trying to optimize worker productivity, health and happiness during the industrial revolution is that almost any change was an "overwhelming success" during the trial period, because of some combination of (1) a change of routine, (2) placebo effect -- people like the idea that someone is trying to help them and their mood improves accordingly.

Might even be true here (it would be nice!), but in a national experiment with high importance given to the outcome and a highly desirable result (fewer hours same pay) I cannot imagine that the productivity in this trial period will be the same as the steady-state outcome.
Should have reported it. Hmm.

What's your experience with cases involving male on male molestation in workplace environments, exactly? Please share with us your experience that led to such an obvious hindsight analysis of the situation.

Wow, being molested and being ashamed to report it must be a symptom of paranoid schizophrenia. Can't imagine how I concluded this species is dog shit.
imagine the results if people worked 0 days
People that work in these "elite" sectors (consulting, finance, tech, law, medicine, etc.) know that the competition is fierce, and that even with _a lot_ of help, there's really no guarantee to get your kids there.
Classic HN response: "Should have built it in Rust."
Red lights rarely exist in the middle of a road just to slow down traffic, they mainly exist at intersections to allow people on different roads to take turns. It's really not a useful metaphor in this context.
Where I work an old building had massive plumbing problems for years-- flooded floors.

After it happened a few times someone went back to the original plans to see if it might reveal the cause. They were shocked to discover it specified & contracted to have copper pipes. The building had PVC instead. And engineering firm was brought in to make an assessment and determined that the PVC used wasn't even rated for the type of plumbing application necessary.

No one knew how it happened, how inspections could have signed off on the discrepancy. Everyone from that time was gone, and the construction company was a ghost. It's unclear if it was incompetent oversight that allowed the contracter to cut corners or something more "inside job" in nature.
It is intentionally very US-centric because they are discussing sort of Obamanet to be provided for every household on taxpayers' money.

Specifically, they are targeting an old CATV technology which is delivering the last mile service by coaxial cable (typically alredy existing) and asymmetrical by both design and low layer implementation. Still very popular in the US due the population density.
I wouldn't say never.

Given that it's only the High Court of Delhi so far, there's likely to be another fight in the Supreme Court of India after this.
Two Column Hacker News?
Is there any chance of a 2 column form of HN? I have lots of screen space and HN isn't using most of it.
I mean, there are? Is the same amount of product being delivered? Does it actually increase when the work week goes down to four days? Have you ever worked anywhere where metrics are tracked?
They're used all the time, we just call it logistic regression.
The article is from 2016 and plants a premature tombstone on ultrawideband's grave:

Ultrawideband: a short range radio technology, ultrawideband reached peak hype in the 2004 hype cycle but was abandoned by 2008

The U1 Chip for Ultra Wideband is in the Apple iPhone 11+12. It can be used for Airdrop, Airtag, car key, ...
> Stockfish has thus gained about 80 Elo per year.

Pointless but fun question: how does this compare to human players?
In medicine/public health/etc. there are two reasons:

1) medRxiv was relatively new, and while the COVID-19 pandemic was its moment, there are a lot of concerns about pre-peer review stuff, and the public, press, etc. not treating it with appropriate caution.

2) Some journals heavily penalize or won't consider preprints, and some of these journals are quite good. This has gotten a little pushback recently as well.
Not on the basis of height, nor any one characteristic. They'd look at the teeth, too, and the basic shape of the eye socket, among other things. There has to be several differences before you claim a new species.
Abusive copyright is a theft from the public. I shrug about violations to the property rights of the corrupt.
As they say, they are responding to the consensus that existed around 2000 that the Sapiens story was a straightforward "out of Africa" story.
But there is a warranty.

I think what a lot of computer programming goes on by people who call themselves software engineers but don’t follow engineering methods and ethics, such as prototyping, and having warranties and liability for the work.

I have known some old school engineers who were inspiring in their depth of knowledge, ability to do research and solve new problems, and management of customer and employee relationships, and definitely that has colored my view of what a professional engineer should be.
In Finland it is a citizen's right to receive 2 megabits down. So this is available nation-wide.

I have 10/1 Mbit free of charge at home, the operator event sent me a modem free of charge. This might be a deal the housing cooperative (equivalent) has with the operator though, I'm only renting.

In my experience connections are mostly asymmetrical, in the 10-100 Mbit range down and a tenth of it up. Costs are very low compared to the world, $5-20/mo or so. Usually ADSL, sometimes cable.

Downtown in a bigger city I once got lucky and had like 1 Gbit symmetrical for $12/mo. It was kinda crazy, anything you could think of downloaded in less than a minute. It was faster to download from the Internet than to transfer files over USB.
The 1978 Citigroup Center engineering crisis is a good teaching tool. The chair of my Uni's Mechanical Engineering department has gotten a good amount of engineering colleges (mainly Mechanical and Civil) to use it as an example/study for students first semester.
I am impressed. All queries that I've tried finished in under 1 ms. What engine are you using under the hood?
Humans can gain hundreds or thousands of points per year at the start, but then tend to plateau afaik, it's actually easy to check this out on peoples public lichess accounts.

Here is the world champion:

https://lichess.org/@/DrNykterstein

If you browse some other people, especially young and new players you can see the improvement over time.
Good point, there are actually very few due low demand.
Source article from Reuters: https://www.reuters.com/technology/exclusive-eus-vestager-wa...
What do you want in the second column?
There are existing open-source clones with sites that are active. What are they doing wrong?

https://gitlab.com/postmill/Postmill

https://github.com/ruqqus/ruqqus

https://github.com/Phuks-co
> I prefer a society where everyone have min well being and better off people have some luxuries

^ people will still fight tooth and nail for the luxuries even if the basic floor of existence keeps rising. It's like that proverb of the dogs, it's not enough that we succeed, cats must fail. I assume it had to do with the competition of passing on your genes.
I was curious how the 550-tube count compared to the original tube computers, so looked at a few entries in https://en.wikipedia.org/wiki/List_of_vacuum_tube_computers and it seems this one is on the small side; most of the ones there have >1k tubes. There are notable exceptions, such as this one with ~450:

https://en.wikipedia.org/wiki/Bendix_G-15

..and this one has only 113:

https://en.wikipedia.org/wiki/LGP-30
> Vestager said "I think customers will not give up neither security nor privacy if they use another app store or if they sideload."

Horseshit. Consumers will install anything from anywhere, all the time.
> I think customers will not give up neither security nor privacy if they use another app store or if they sideload. (Emphasis mine)

Confusing phrasing, but would I agree that security and privacy could in fact be reduced by using another app store or sideloading.

Consider an app that is removed from Apple's app store for violating Apple's privacy and/or security requirements (for example refusing to report, or inaccurately reporting, collection of personal information). There is no guarantee that the app would also be removed from third-party app stores, or that it could not be sideloaded.
IT seems obtuse not to link directly and expect people to figure out what you are referring to. I suggest you resubmit your comment with additional context.
At the highest level, chess becomes an endurance sport. Magnus is so great because he can squeeze water from a stone. That is definitely admirable, but somewhat deflating compared to idea of the one brilliant move or insane positional play. Give a man bionic legs and it is no longer about how fast he can run but rather what new places he can go.
That would be an awesome feature for this plugin to include. Hoping they add it. I'm using this plugin now and it's very pleasant.
Singapore, 1 Gbps up & down, S$42.99/month (~US$32) via MyRepublic, fiber to my router.

Speedtest shows avg 350 Mbps up & down (wifi limited), plenty of headroom if I needed wired. Blows the water out of anything I used to get in Seattle (read this comcast!!).
It's very difficult to be sure, but it looks like a genetic algorithm without crossover???
I think it’s a little myopic to critique software engineering for a lack of focus on performance. Software engineers generally work on products, and performance is only one facet of a product. Just enough time is spent on performance until it is good enough. Any extra time spent on performance detracts from making other facets reach the “good enough” point. Sure, you can make a focus on performance part of the product (e.g. the fastest terminal), but the general product equation still applies.
Unicode 13.0.0 (2020)
Just curious, how did you replace PID with MHE? PID is a control algorithm, while MHE is a state estimation algorithm -- MHE is not a control algorithm and does not perform control.

Did you mean MPC by any chance? (which MHE is often used in tandem with)

If so, MPC is indeed a superior algorithm, but it also requires a dynamic model (LTI, or state space). Such a model may or may not be easy to identify -- it would require the characterization of the dynamics of data center operations.

PID on the other hand, while less optimal, is "model-free" (technically it has a model, i.e. its tunings can be thought to derive from IMC or direct synthesis, even though in practice hand tuning is common) in that it can respond to a wide variety of circumstances without knowing much a priori about the underlying dynamics. PID tunings are also amenable to optimization (products like Loop Pro are used in industry)

Due to their simplicity, PIDs are capable of operating at much higher frequencies than more complex algorithms like MPC. PIDs operate in the order of miliseconds or faster, while MPC operates in the order of seconds to minutes because it has to solve an optimization problem at every iteration, which is too slow for fast loops. In the hierarchy of control, there's supervisory layers on top (RTOs), then MPCs then PIDs. It's usually not either-or, but all together, working at different layers.

Even in industries where MPC is dominant, PID control is still ubiquitous and used alongside it, especially for local regulatory control loops. I don't have enough insight into data center ops to know if PID control is good enough but in my experience PID can be good enough for many applications -- most control loops in the world are essentially still PID. Not because more advanced algorithms don't exist, but because PID has the advantage of being just good enough for most purposes. (cost is also an issue: PIDs are cheap, while licensing costs for industrial MPC software range from 10s to 100k$)
>"why now, after 40 years?"

Huh? Cyclic fatigue yo. Incredibly simple and well known killer.

Less whatever type of supports than spec'd to distribute the fatigue across, earlier things fall apart or break from it.
REvil Ransomware Took Out Thousands of Business at Once
I've been doing something about halfway between this and a more traditional method for a couple decades. Presumably I've saved a few hours by now; but watch out! If you're like me, you'll no longer be able to tie those hospital garments behind your back any more, as the muscle memory crucially relies on the relative position of the starting knot -_-
Huge swaths of the USA aren’t served by cable. While Starlink aims to serve the world, rural USA is where they’re going to make their money.
I already live in Detroit, it kicks ass.
>> I learned how to deal with other people, how to read their body language, how to give speeches and presentations, and how to communicate effectively through writing. It pulled me way out of my comfort zone.

Any academic texts in these domains that you would recommend?
> IF you have your shit together AND you trust your appliance management better than the cloud provider

99.9% of Enterprise/on-prem customers do not have their shit together.

Yes, even banks and finance. I have seen banks still running XP on frontline workstations that are supposed to be on the blue network but somehow can surf the web and answer emails.

If you’re looking around trying to figure out if you can do better than the cloud/SaaS provider security-wise… you definitely can’t.
I agree, only because the ideas and brilliance/depth that they demonstrate is so breathtaking to behold. I love the chess.com Game of the Day playlist on YouTube, which occasionally has amazing computer chess games with early sacrifices for long-term positional compensation: https://www.youtube.com/watch?v=A-vNq61KfLs&list=PL-qLOQ-OEl....