skysight-inc/HackerNews huggingface dataset:
Mmm, yes, my confirmation bias.
I think that only works if your language traps underflow. In a language like C++ where unsigned integers silently wrap around, you’re not really ensuring that you cannot represent invalid values, merely that you represent invalid values as valid values.
Some out of towner in a pickup truck did this to me in SF. I was on a Vespa.
I suspect that "how assertive should I be" is the wrong question to ask-- there are many ways of being "assertive", only some of which work well! As a society, we are still in the process of developing-- and raising awareness about-- workable and effective sexual/dating "scripts" that men can stick to, and trust that they won't run into obvious problems. As the article hopefully makes clear, even the outwardly-trivial problem of how to ascertain full consent in a way that doesn't "ruin the mood" for the typical girl who was expecting the guy to "just man up and go for it!" is far from easy to solve. (This is not to say that such solutions, and more generally, such workable scripts don't exist somewhere already - the whole problem however is how to coalesce trust around them, from both the "male" and "female" perspective.)
Genetics extends the long arm of the law
Depending on the situation it may be simpler to just use AFL's qemu mode.
Indeed. I'm not saying the investors didn't have downside. Many did, and many of them lost everything (as they should have). But the public also bore a tremendous cost, and that makes the threat of another such crisis a public issue.
I've had a very similar question and asked it to the quinn authors. The response was that QUIC's way of creating/destroying channels is so lightweight that in order to get unordered-ness you can use ephemeral channels. As for unreliable-ness there is an extension to QUIC that isn't implemented yet. They then opened an issue after my inquiry: https://github.com/djc/quinn/issues/207
If that stat that almost 25% lost 5+% of BW using a placebo is true, then the most cost-effective treatment is to give everyone placebos.
Hmm, it's tricky though. They know who rode it last but they don't necessarily know who last moved it. If I hated Lime I could grab a bunch of scooters and throw them into private property, then call scooter removal.
There are confounding co-factors to birth rate in advanced economies. it would be grossly simplistic to ascribe the birth rate to falling sperm motility levels, when advanced societies offer IVF and assisted reproduction often on the public purse.

I suspect the economics here are stronger than biology: it is too expensive to raise and (privately) educate children and in the developed economies, familys delay childbirth into later years and so tend to have less children.

TL;DR I believe the birth rates in Africa and Asia are varying more as a function of economy, than of insecticide.
The irony here is that the CPU will set the underflow making this trivial to detect in ASM with the `jb` instruction. The equivalent C++ would be something like:

if (new_len > child.length())

As stated in the article, checking if an unsigned is less than 0 is a silly logic error but obviously one that is understandable to make. Still it's the sort of thing you'd expect automated tools would be able to catch.
Which makes drunk people perfect targets for robberies, hate crimes and murders. Police should always respond, as a matter of public safety. Charge them afterwards if it's a false alarm. What if you called 911 and the dispatcher hung up on you because they thought you sounded high? What if you called because you were date raped?

I have no compassion for lazy cops.
Be careful, int is usually 32-bit even on 64-bit systems. Using int all over is a good way to experience mysterious failures when dealing with chunks of data larger than 2GB, which is definitely a real possibility these days. Consider ssize_t, intptr_t, or int64_t any time you’re not absolutely sure you’ll never exceed 2^31-1.
That depends if are an an Ianomami[1] born in Brazil or an Inuit[2] born in Denmark.

1- https://en.wikipedia.org/wiki/Yanomami

2- https://en.wikipedia.org/wiki/Inuit

: There is a risk, not for the Ianomami that are somewhat numerous, but that some other in Brazil are going to Extinction soon, after the last elections in that country. Only if they could move to Denmark...Or Northern Canada, where there are Inuits too. But North Canada recently is so full of political "moon landing" deniers that they probably would not be very welcome there. But Greenland is far enough from "civilezed" people. But they will have to learn how to hunt monkeys and collect mango fruits in the north-pole.
Somehow I've never heard of this before:

TiDB (The pronunciation is: /'taɪdiːbi:/ tai-D-B, etymology: titanium) is an open-source distributed scalable Hybrid Transactional and Analytical Processing (HTAP) database. It features infinite horizontal scalability, strong consistency, and high availability. TiDB is MySQL compatible and serves as a one-stop data warehouse for both OLTP (Online Transactional Processing) and OLAP (Online Analytical Processing) workloads.

https://github.com/pingcap/tidb
This article is not complete. In order for a drug to be approved by the FDA for a particular condition, it must demonstrate (through expensive clinical trials) superior efficacy to existing treatments unless the drug is considered a generic. It's hard to say if a drug with slight molecular modifications could be said to be a "generic" form of another. There's a good chance the answer would be no, because slight molecular modifications can cause significant differences in efficacy.
Came here to .. oh. My job is done.
he made many contributions to other parts of science (wireless, communications), though, that I doubt bezos would be able to so the point still stands.
Inspecting the DOM, client side javascript and generated CSS are all front end concerns, not stuff for back end development, even if many of us do both.

> Find out how to make your ORM log the SQL it's running, and try running that in your database directly. If you are having trouble, get the SQL working first, and then figure out how to make your ORM generate that SQL.

Time would be much better spent learning SQL properly. ORM's have their place, they can cut down a tonne of boilerplate, but anyone using an ORM should be somewhat competent in SQL already. If you learn SQL from ORM output then in many cases you'll be learning what not to do.
I disagree, just the science was attempted for quite some time but science has been derided in American culture lately, people don't accept facts and so a more emotional approach is required to break through to the public.
Well, we like to say science is deductive, because induction doesn't give you perfect certainty -- but in practice induction and parsimony are and have been absolutely critical to scientific progress..

I think QED provides a nice example. I don't know if there are any formal mathematical constraints on the size of theoryspace, but for practical purposes we can probably agree that one may conceive of arbitrarily many hypotheses that fail to be falsified by a given set of observations. If deduction is all we have at our disposal, how do we choose among all these options? And should we really not have any more confidence in a theory like QED which as been tested many times and "failed to be falsified" to nine significant digits, versus one that has only "failed to be falsified" at 5% relative?

In practice, I would also claim that parsimony is (and has been historically) absolutely critical in culling away the dross of theoryspace, yet this can hardly be presented as a deductive method?

I think induction has been given an unnecessarily bad name lately. The falsification-centric paradigm that is popular today was proposed by Karl Popper as a solution to Hume's "problem of induction" [1] -- but Hume, and the rest of the Empiricists that laid the foundation for the scientific method, would have considered this entirely backwards. While Hume did claim that induction could not be justified by reason alone, Hume's conclusion was not to reject induction, but rather to prefer induction over deduction!

> It is far better, Hume concludes, to rely on “the ordinary wisdom of nature”, which ensures that we form beliefs “by some instinct or mechanical tendency”, rather than trusting it to “the fallacious deductions of our reason” [2]

[1] https://en.wikipedia.org/wiki/Hume%27s_problem_of_induction

[2] https://plato.stanford.edu/entries/hume/
This exactly. I own a house and a sidewalk, though the township has a requirement that I clear snow and ice off of it within 24 hours of the end of the storm. I am almost certain that there is a requirement to keep it unobstructed (though I'd have to look the wording up).

I've never had to think about it, but I'm now trying to figure out my options if people left large objects on my sidewalk. I throw away litter. But if there was a bunch of bicycles or scooters, I'd probably ignore them for a bit and hope the owner came back to retrieve them. If it was blocking my driveway or causing a problem, I'd move them off the sidewalk and onto the adjoining grass. If they are left there long enough, I might put a sign to the affect of "this litter will be picked up on __" for the next trash day.

But if I lived in a scooter rental place and this was an ongoing issue, I would definitely be fine with using a service like this.
With current tax code it's not possible. But that's the thing - tax code needs to be updated. It works now because of weird combination of stockholm syndrome and giving people a feeling of getting a deal.

Tax code is messy and complex, with tons of loop holes. And those loop holes mean most of the people pay much less anyway, but they get to feel good that they're getting a great deal. It's brilliant from psychology point of view.
Pro: Law enforcement has access to a great tool for identifying people.

Con: Government has access to a great tool for identifying people.
Many people whom we would all consider racists only ever state things that are statistically true about groups of people.
Disclaimer: I work for TiDB.

Here are some links that might be helpful:

- the typical use cases:
https://pingcap.com/blog/architecture-and-use-cases-of-a-clo...

- the key differences between MySQL and TiDB

https://pingcap.com/blog/5-key-differences-between-mysql-and...

- the current case studies:
https://pingcap.com/success-stories/
Cloud thing is a fad. I'm building my next thing in a datacenter instead
Yes, because FANG is a guarantee for quality engineers...
Interesting review (that first graph in particular is definitely non-obvious to me), but under the diet section I think it understates the current body of research regarding low-carb/keto diets - some studies have begun to show energy expenditure[1] and insulin[2] benefits that uniquely exist with low-carb. I think we'll find out soon enough that a lower-carb approach, given the current American diet, does definitively perform better than other dieting approaches on average.

[1] https://www.bmj.com/content/363/bmj.k4583

[2] http://annals.org/aim/article-abstract/718265/effect-low-car...
Fred Pohl and C.M. Kornbluth "the space merchants" (1952) has chicken little...
> Not to mention, the bulk of this quantatitive easing took place during two years were we saw deflation - so increasing the money supply was something the government would have likely done anyway.

This is just underlining my question. If the congress were operating with an MMT view of the world, they could have injected money into beneficial social program without handwringing over deficits, avoided QE. Regular people would have more wealth in their hands, and less money would be running around the stock market inflating assets. We would have a healthier economy today.

> By comparison, if the government announced that starting in 2020 it would start paying for everything by printing more money

This isn't what MMT says to do, it keeps taxation as a control parameter, it just wouldn't be singularly obsessed about the budget deficit.
Superficially glancing through the site, this sounds like my dream language: modern Smalltalk syntax with the immensely useful interop capabilities of Obj-C. Can’t wait to use this for something.
Are there any numbers out there how often 443 udp is blocked on wifis?
The FED certainly still remembers the mortgage mess, considering they still hold some $1.6 trillion in mortgage backed securities on their books. One wonders what they will do when the next debt crisis hits. Will they take on another trillion in corporate debt?
Clearly this can't go on forever, but there seems to be little political will to let credit markets normalize.

For me the whole situation is really scary.
Always made me curious why Google didn't decide to use seL4 as a base for Fuchsia and instead went with Zircon...
Isn't descriptive or nominative use an allowed fair use case under trademark law?

I think you're allowed to say your business is "iPhone Repairs" even though Apple have trademarked iPhone (and have an army of lawyers who'd love to slap you down if they thought they'd win in court).
Why Equity is better than a SAFE
I maybe have this wrong, but earlier versions of QUIC did PMTU like "tasting" of the viable MTU inside the protocol to get to big, from small. Thus, working around the external IP level pMTU blockers.

I think they backed off to a simpler model of just using small inside QUIC.

I kind of liked the former: one day we need to get rid of dependencies on small packets, and move to Jumbo in the wide.

(dreamer..)
Because creatures who felt compelled to run from it had a better chance of passing on their genes than creatures who didn’t, leaving us all with an instinctual desire to avoid death.
You need an enormous, full sun greenhouse just for one person’s CO2:

“An active person exhales about 1 kg of CO2 per day. So, you would need 1000 square meters of grass to absorb one person's CO2. That's a square about 32 meters on a side, or in archaic units, a quarter acre. A one-square-kilometer park could support 1000 people, just with the grass.“

(Or: Need about 16 trees per person.)

http://highfrontier.com/forum/showthread.php?tid=20
SMDH == Shaking My Damn Head
Agreed. In fact the disconnect should make anyone reasonable ask why he would write such an article.
Simple ETL Running on Docker and ECS
One wonders what direction iOS development and Cocoa would have gone to if Apple had replaced Swift with something less dissimilar to Objective-C.
Those are great things to know. I wish a lot more people I worked with knew and understood them.

However, I don't think they're "must know concepts for back end development". Most backend development is small in scale: a few servers, maybe more, a database, maybe something running cron/equivalent jobs or a queue worker, maybe some caches. Not much besides that. While people learning to develop systems at that scale might incidentally learn some of the above, I don't think most of those concepts will be useful until people are designing systems at much greater scale. Informally, many of them are present in small systems: e.g. when your cache server is down but connections take 10sec to time out, that's a form of backpressure, technically, but not in a super formal or useful way to understand the concept.

In sum, I think those are important (essential, even) areas of knowledge for intermediate-experience back end developers, or developers looking to increase the scale of their infrastructure or projects (or work on very large-scale applications), but I don't think they're in the must-know, 101-level tier of back end knowledge. People can and do build successful, stable, easy-to-work-on back ends without knowledge of any of those things. In fact, this is the norm in our industry.

The lack of knowledge of these areas is not a significant handicap (to productivity, understanding, or code/output quality) until you get beyond small scale. Most software projects do not.
Too lazy to get up from my comfy easy chair to boot my debian running NAS but 99.9% sure there's more than one version of python on that thing.
A command-line installer for Windows
The technique is derivative of machine-code to machine-code translation ("dynamic recompilation"), which isn't new. For instance, it was used in a Mac emulator¹ for the PC, released in 1990. Valgrind performs code-to-code transformation to do its tricks.

—

1. https://en.wikipedia.org/wiki/Executor_(software) "Executor translates 68k big-endian binary code into x86 little-endian binary code."
What’s the difference compared to a human, whose decisions are always tied back to how its atoms are arranged?
A student ate 5 day old pasta. His liver shut down
So, we as a society have a serious issue to deal with. Putting a deadline on the issue will push a portion of the population into the camp of "Let's wait and see if this is actually the case" when they are proved right we'd be unable to act, or, if luck was on our side, and some solution was still available then that portion of the population would disbelieve the urgency since one deadline had already passed.

Setting a deadline provides no wins for enacting meaningful change.
In terms of what? Quality of recipes, discoverability of recipes, or curation of recipes? For curation it's hard to beat the Paprika app (offline use is essential, which websites don't provide).
This is a good point - I'll caveat this in the post. Most medication/placebo studies tend to involve a bit of coaching in addition to the medication, usually 1 session per month or less with instruction on diet and exercise. So the 25% result is essentially "coaching-lite + sugar pill", which may be considerably more expensive than a simple placebo. This result could be much weaker if it's just the placebo alone.
As an aside, it's kind of bizarre the hardcover edition is cheaper than the ebook and paperback editions.
> where they have formally verified every line of code using the proof assistant Isabelle/HOL.

and it's interesting to note that even then, they still had a few bugs here and there due to incomplete / wrong formalisation
Tech Work and Life Science Ahead of Orbital Boost Today – Space Station
Oh it’s HN... sorry should have started my comment with: “well, actually”

Well, actually:

> trash - noun: discarded matter

Check.

> litter - verb: make (a place) untidy with rubbish or a large number of objects left lying about.

Literally the definition of litter.
That's fair too, though it's easy to blame all of the recession on the subprime bubble bursting while I think it would have happened anyway, eventually. And I'm advocating for letting banks, funds and investors fail if they lose at the game of musical chairs. For this to work though they need to be kept separate from rest of the finance system and use their own money.
Additionally, if the public at large is losing then someone out there is winning and that entity will see these crisies as profit opportunities instead of disasters.
> the other is a fad.

In what way? Do you not believe that superintelligence is possible, or do you believe that any superintelligence will automatically care about the well-being of humans? Both beliefs seem naive to me and to many luminaries in the field: https://people.eecs.berkeley.edu/~russell/research/future/.
I believe Washington is the only state that allows this anymore. Even then, you still need to be an understudy before you are allowed to take the Bar in Washington.
I suggest one RTFM before commenting on this. I.e., don't judge a post by its title.
Indoor air co2 only lowers due to outdoor filtration. So, higher outdoor co2 will make us reach higher indoor levels faster. A change of outdoor air to 500 from 400 ppm, for example, means there's 16% less difference with indoor air at 1000 ppm.
Is screen time good or bad? It’s not that simple
Joke’s on you. HN’s voting is broken.
Beware financial analysis and economic forecasts. Confirmation bias is rampant.
> I’ve simply come to believe that online dating is the safest way for people to evaluate partners.

I came to the opposite conclusion. If your potential partner can overpower you, then you have to worry about being assaulted or murdered by a complete stranger before you even get the chance to evaluate them.

Sure, you might meet a drifter at a bar that no one knows and thus can get away with harming you more easily, but online dating significantly lowers the barrier of entry for malevolent actors, especially those who wish to remain somewhat anonymous.
This is about decentralizing torrent search. According to the article, other parts of the torrent ecosystem were already decentralized. Decentralizing search is supposed to make it more censorship resistant.
"Altogether, accounting for both the TARP and the Fannie and Freddie bailout, $632B has gone out the door—invested, loaned, or paid out—while $390B has been returned."

It goes on to claim revenues that make up the difference in the stated amounts.

However, I don't see them say these figures are inflation-adjusted. 2018 dollars are roughly worth 83 cents in 2008 terms.

More importantly, those Propublica stats cover only TARP and the Fannie Mae / Freddie Mac bailouts. It counts the fake "profits" on the GM bailout[0] but not the losses on the losing end of the GM reorganization split[1], serving to bail out union pension plans.

[0] https://hubpages.com/politics/Obama-General-Motors-GM-Tarp-B...

[1] https://en.wikipedia.org/wiki/General_Motors_Chapter_11_reor...
Also #rust-embedded if you are into embedded dev
So USPS finances their own pensions?

There's also the phrase "for the most part."

Finally, USPS is a gov sanctioned monopoly. So there's the cost of that.

I understand what USPS is or is said to (hooefully) be. But all things considered, the taxpayer is paying in some way.
> The issue you seem to have with it is that people are convincing themselves a group is intolerant, so your implication is that the group isn't really intolerant.

The phenomenon I’m describing is one in which people invent reasons post-facto for why their target should be considered “intolerant” and why they deserve the hate and harassment levied at them. If an example helps, consider Damore or the Christakis.

> I actually only rarely see people argue for "unlimited" intolerance of some groups - often, for instance, they don't pursue a legal amendment to absolutely stop these people speaking, but rather suggest a valid tactic would be to not give them platforms.

I didn’t mean to imply that people were calling explicitly for unlimited intolerance, but rather that it is implied when someone “punished” severely a member of their outgroup for an alleged infraction that would be considered minor by any reasonable person if it were true at all. For example, a racist journalist doxxing a teenager in a slanderous piece, rationalizing the treatment as warranted because the teen was wearing a t-shirt for a musician who had one vaguely misogynistic song.

> So the issue here ins't tolerance itsef, but rather its demarcation. I'm sure we would both agree that there are intolerant groups in society, and if the paradox holds any imperative force at all, then we ought to put our best philosophic and critical work towards finding in what cases that's true. That doesn't mean we should simply tolerate groups and stop looking into the matter.

I’m not sure if I agree with this or not, so I’ll just rephrase—this paradox is used to justify mobbing, harassing, threatening, and assaulting a lot of innocent people (or people whose infractions were trivial). We should do our best to minimize intolerance, but mobs virtually always do the opposite and we’re seeing a lot of that these days.
Mainstream physicists, neuroscientists, and ML researchers are all more or less united in their view that Penrose is really overstepping the valid application of the arguments that he's using when he talks about this stuff. He really really wants quantum mechanics to be an important part of the intelligence/consciousness debates, so when he sees an indication that it could be relevant, he jumps to the conclusion that not only is it relevant, it is of paramount importance.