skysight-inc/HackerNews huggingface dataset:
The fact that they are children is what upset me the most about the coverage discussed in this article even before the broader narrative started to unfold. Media should be held to higher standards, IMO
I think you mean 5000 floodplains.
It happens almost every day. The Catholic school boys vs the native American drummer for instance. Surely you saw the vitriol around that. If you watch the entire video of what transpired you'd find that it wasn't as clear cut as it was made out to be. See:

https://m.youtube.com/watch?v=jVvpVRJ-NH4
> what’s stopping you from making a good one? You’d be a billionaire overnight,

This is exactly the problem with this site: no good tools made anyone rich.

There’s a reason I am having this discussion on HN: People should separate the building of valuable things from the pursuit of riches. Those two are inherently contradictory, and we have nothing but closed mediocre technology making someone rich who barely worked at all.

I believe cooperatives, collectives, and trade unions should be discussed more here. Nothing about Yelp is hard to build, and yet it’s a piece of crap, but the only piece of crap we have. Capitalism is a future of absolute mediocrity, where your needs are considered proportional to your wealth.
How many bits of privacy are you willing to give up here? Debian only has about 48,000 packages. That's almost 16 bits, total, with perfect privacy — all packages enlarged to the same size.

You can select a list of sizes trading off collisions (2 packages with same size => 1 bit of privacy; 4 => 2 bits, etc). But the most you ever get is (nearly) 16. The amount of padding you need to even get 2 bits of privacy (giving up almost 14) on the long tail of large packages is going to be "a lot" and it grows as you want more bits.
My office has been using them for years for dinner orders, sad to see them go. We used to use Sprig and Munchery (anyone staying for dinner gets to pick), but then Sprig shut down, so we moved to a choice between Munchery and a group Caviar order. Realistically, Munchery hasn't been as popular: we've had maybe 1-5 people order Munchery and 5-15 people order Caviar each day, but it was nice to have the extra options. One notable downside to Munchery compared with others was that the food is cold and you need to heat it up yourself. Now with Muchery gone, I guess we'll try to find some alternative. Definitely sounds like a tough market.
Yes, I think that's the point of the analysis: that "screen time" is wildly underspecified and that it's probably correlated to other unconsidered factors.
Newspapers aren't about truth. Newspapers are a business that runs on advertising, and advertising makes more money when the news is sensationalist. If you talk to a journalist then don't be surprised if you are then heavily mis-characterised and slandered. The journalist isn't there to tell your story, they're there to tell the story that will get the most clicks.
Unlike the case of building an airplane, when you’re developing software you don’t know when you start sometimes if you want to build an airplane or a helicopter, or even if you want to fly, or indeed, if you’re building a vehicle of any kind, and not some kind of corn mill or a movie theater, perhaps.
It takes too long.
My stance on clustered databases is that you replace hardware risk with software risk. So they make sense if they get you better throughput or better uptime stats, but you've still got to plan for a software bug bringing down the whole thing.
> The 1987 market crash (October 19, 1987, single-day loss of 23% in the S&P 500 index) was a 25 standard-deviation event.

Adding to this, the Swiss Franc revaluation in 2015 was called a 20 standard deviation event [0].

[0] https://www.ft.com/content/5a06ef16-b5e4-11e4-a577-00144feab...
I'd say you're flat out wrong — there is no big step. We'll have to agree to disagree, I guess.
What are some of the things that you like/dislike about libraries.io?
If there's a pattern that I've noticed amongst the people in my life who struggle with their weight is that they all have an emotional relationship with food. They eat not to serve their metabolic needs but to serve their emotional needs. They say they are counting their calories, but they aren't being honest with themselves about it. They can't make clear headed diet decisions because their feelings are so wrapped up in the act of eating.
Also, I imagine, automatic theorem provers, too, can have bugs.
I'd assume that statement presupposes a normal distribution. Is the stock market return normally distributed?
Read the book - a couple of great scenes that weren't included in the movie.
Mirror owners don't control the DNS for debian.org.

Debian could get the certificates, but getting the certificates was never the issue -- some CA would be happy to issue certificates for little or no cost to help Debian and gain mindshare. Coordination between 3rd party, volunteer mirror owners and the Debian organization is the issue.

What kind of CPU and traffic patterns are you using to hit 10 gbps of TLS protected traffic?
I afraid I can't say; I really don't have much experience using GCP. Hopefully somebody else, who knows more about GCP, will chime in and answer.
My company is on Google Cloud, and by default our load balancers are set up to offer QUIC negotiation.
Such as... Java? (Hint, they tried that)
It seems it has not been such a big issue before plastic windows or in older houses. I think it is getting worse with every new building.

That's because the focus on energy efficiency means installing HVAC that recirculates and setting the recirculation ratio to as high as they can get away with. Before that, buildings were taking in 100% outside air to heat/cool, which was extremely inefficient but also gave no chance for CO2 to build up.
I think it will be a massive flood of new devs (maybe we're in it now?) -> overvalued tech stocks -> crash -> stricter hiring.

It's not that tech, even done by shitty devs, isn't valuable. It's a question of whether the market can control itself, which I'm pretty sure is no.
But during those observations no one ever ascribes divinity to it. Instead, a scientific explanation is sought. If one believes that Jesus and the parthenogentic shark were the same phenomenon, then one should do some soul searching to ask why one does does not seek the same category of explanation. It is a defect in the seeker, not a difference in the phenomenon (a fixable defect).
I don't think McSema pretends to be anything other than a native-to-LLVM decompiler.

That said, decompiler is pretty ambiguous. Do you target a readable output? A retargetable output? An executable (and functionally equivalent) output? An analyzable output? Are you going to try to preserve undocumented but reliable behavior, or are you going to permit the output to vary in undefined behavior? Do you guarantee that a single function can be recompiled and substituted in the original binary? There are going to be cases where your implementation is going to have to vary based on what your output is.
This is a sad announcement for a service I didn't even know existed.

Over the last few months my schedule has gotten extremely busy and I haven't had time to do any of my normal cooking. I've been just grabbing fast food and putting on more weight than I would like. Toying with the idea of hiring a personal chef along with a nutritionist to plan/prepare meals, I was hoping to have a high quality meal served within seconds of walking in the door. Basically eliminate the stress of dinner and poor diet. I seriously wish I would have heard of this service as it solves my problem in a vastly less expensive way.

So yeah, sorry to hear of the closure and I wish everyone over there the best of luck on future projects.
That's interesting though i'm not sure that's the right kind of fraud. The fraud Bury was referring to was related to mortgage lending, both on the part of the borrowers (fraudulent documents supporting income, etc.) and on the part of the immediate lenders (the banks / lead generators for mortgages). The comparable type of fraud here would be businesses inflating their assets or income streams to acquire bank loans that they couldn't otherwise qualify for. It may be that that kind of fraud is on the rise, but I don't think the examples you cited (with the notable exception of 1MDB) are instances of it.
Yeah, this was the weird part. I couldn’t find any mention, just this.
Here’s Why Fortnite May Be the Ultimate Growth Marketing Example
In some area it is almost impossible to write complete specs.

CSS is originally designed to be a end-user spec language to change the website as they like. But layout is so complicated that it take a lot of experience to define everything in position dynamically as requested.

And now people are using programs (js) to replace the job of CSS, to some extent giving up on writing specs for layout, even with years experience on it.

The hard thing is not the language itself, it is often the domain.
Am i not already using it when I Ctrl-Space in IntelliJ?
Loop unrolling is obviously a form of inlining. Perhaps OP is considering the case. "No backwards branches.

For a long loop no branch back is clearly silly. Is unrolling and inlining part of it worthwhile? How does it help or hider readability, unnecessary operation identification, (eg repeated intialisation) and bug identification? Does it have a tension with execution time? These answers would likely be different in 2019. SIMD intrinsics anyone because compilers can't do it well at all. Function with a descriptive name that is called or just write it all right there probably with a comment right where the function call would have been and right where it would have returned..?

We're talking low level optimisation or he wouldn't be having the discussion in terms of c++ etc. Duff is frequent touchstone is such a discussion although not mandatory by any means.

(He said trying to get a little of such discussion going ;-)
What does loop unrolling have to do with inline code and not invoking the procedure call overhead? well apart from being the ground case, nothing I guess. I just expected that if you want to talk about procedure call inline, you also talk about other inline
Tangential point... is it accurate for the project to describe itself as a "pure-Rust implementation of the QUIC protocol" when it uses platform dependent unsafe code?
https://github.com/djc/quinn/blob/ce514af89a73f530e1366e79e5...
This is the sad truth about genetics. And it leads to self elevation of the genetically thin by equating thinness with self restraint and morality.
First, I didn't ask any questions, I made an assertion.

Second, to answer a question that you didn't ask, what you're feeling is called cognitive dissonance. When you feel certain that someone is wrong about something but you can't articulate how or why, you may be tempted to use words like "stupid" that deflate your own point more effectively than they rebut the other person's. It's as if two conflicting motivations are at war in your own mind, consuming intellectual resources needed to form a cogent response. I'm right, he's wrong, but... no, I'm right, he's wrong.

If you work towards learning to recognize cognitive dissonance when it arises, you can fight it consciously, and help yourself (and perhaps whoever you're arguing with) to get closer to the truth of the matter.

(Yes, this is off-topic, and I'm already bending the rules by replying to you at all, so I'm done with the thread.)
If "the business interests of the upper class" makes governments do all the evils, why do you think this time will be different?
When I was a kid we took a field trip to the museum of natural history in New York City and watched the IMAX documentary “Antarctica”.

It was a long time ago. What I remember the most was being in awe of the existence of this place where ice and snow existed in such enormous quantities, that it felt like a wilderness that stretched on forever.

One of the side effects of getting older is that the world seems smaller. Particularly growing up in the past couple of decades, during the Information Age.

But the idea that these vast, frozen parts of the planet may someday disappear — in my lifetime no less — that’s a hard one to process.
> Risk has already come off

Are you able to elaborate on the derisking you've been seeing?
They're probably using this: https://hootsuite.com/platform/scheduling
No, they have about 100,000 full time employees of which about 50% are engineers. They have another ~100,000 TVC's
If someone asked me to summarize what you just said, I would say the scientist described a “tipping point” as inaccurate and irresponsible.

Inaccurate because she said it’s claiming something that isn’t true.

And irresponsible because it will sap the political will to do something about it.
There is zero evidence that progress toward AGI follows Moore's Law. And we observe much slower complexity growth in most other human endeavors.
It's a power law distribution (Mandelbrot's work). That's why these numbers are outlandish.
End of Apple
I mean, it still does have I/O, it just needs to present itself as a regular SD card. So computation could be triggered by e.g. changing the contents of a file with a certain name, and output would be another file.

One immediate practical application is a hidden cryptographic partition on an SD card. It could be implemented in a way such that during normal use, no data shows up, and the corresponding blocks are marked as bad. But create a password file with the right content, and the firmware decrypts and exposes the hidden data. Since there's no way to read the firmware, only to update it, even detecting such a scheme would require tearing the SD card down in a lab - not really feasible for routine searches, given how many cards there are around (used in phones and tablets etc).
I've just learned something too :)

I've known for years it "just works", but now I know why :D
Just to add to the others -- if the initial buyer paid with PayPal, they could have up to 180 days from the date of purchase to initiate a Significantly Not As Described (SNAD) claim.
Yes it does. It can get complex, but in the simplest case, if your parents are married and both citizens, you will be to, no matter where you were born.
How to Create a Button That Links to Multiple Sites Randomly on a WP Site
I have lost kilos post raves just from not being inclined to eat for days afterwards, but even just a dexie leaves me feeling scattered and non functional the day after. I assume you adjust to ongoing rather than occasional usage?
In the US, dental and vision care are much more business-like than healthcare in general. Prices are reasonable and care is quite advanced. If there was no protection racket, dentistry would be even cheaper.

Which isn't to say that running them as businesses is necessarily the right idea, but the regulatory morass that is broader US healthcare probably doesn't teach us everything there is to know about healthcare as a business.

(people get angry when you do things like call a $200 filling "cheap", but it lasts for 15+ years and you get to keep the tooth. It's cheap!)
We would consider it. My mother was a public school teacher. I have seen the impossibility of change there and honestly have no desire to support the schools or teacher's unions. They are not set up to produce excellence.

I would consider sending my child to a catholic school, like the one I grew up in. However, most catholic schools these days are not like my elementary school. They lack discipline and are basically public school proxies.

Most non-parochial schools would be out of our price range.

Thus home schooling is the only option left.
HRV's exchange only heat. ERV's (where E stands for energy or enthalpy) also exchange moisture. One is not strictly bette than the other, it depends on your house and your climate: https://www.greenbuildingadvisor.com/article/hrv-or-erv
> If you're a country which borrowed in dollars

All of Latin America, pretty much
This is the key phrase in the story: "packaged into securities and sold to investors". This is exactly like the mortgage crisis. Back then banks knew many of the borrowers are not being truthful in their loan applications but lent to them any way (look up "liar loans"). Banks didn't care because they packaged these mortgages into securities and sold them to investors as "mortgage-backed securities", so defaults are someone else's problem. Banks are back at it again.
I had an underlying autoimmune disorder (diabetes can be an autoimmune disorder and isome common comorbidities are too, like Hashimoto’s).
One more missing

https://www.litespeedtech.com/products/litespeed-web-server/...
Back when I did my CS degree, we were taught the "B-method": https://en.wikipedia.org/wiki/B-Method

The course dropped in popularity with students and the university eventually dropped it.

Looking back on it, it really should've been a mandatory course for all software engineering students.
Nothing in this article is even vaguely unique to fortnite. It’s a passable description of many f2p games - which don’t have fortnite’s success. That makes it a pretty poor argument for these factors being the key.
Houston had 500-year floods consecutively in 2015, 2016, and 2017. Oh and one in 2001. Must be a terrifically unlucky place.
Facebook and Twitter consult with CAIR over who gets banned from platforms
> Why Don't People Use Formal Methods?

Because they're an emerging and unproven technology? Why don't people rewrite everything in Rust? That would surely be a lot more straightforward than adopting the sorts of "formal methods" where you only write a handful of (C-language equivalent) LOC per day, across the software industry! So why doesn't it happen? There's your answer.
Sorry if I don’t know Obj-C well enough, but can you save state like you can with a Smalltalk VM, since this does not have or need a VM?
Perhaps that’s true. I also don’t see many claims with reason that go or chess is somehow a uniquely difficult problem, especially given the language turn of philosophy. NLP is the major problem moving forward with human intelligence, and this was known long before deep blue. People who talk otherwise are hyping milestones along the way, and neither chess nor go deal at all with semiotics.

I’d expect computers to best us (at some investment cost) at virtually all games moving forward except writing funny limericks. We can always have our grandmasters or whatever train the computer with their own heuristics, which recalls the paranoia of grandmasters decades ago. We understand computers better now—if you can formalize the game, the computer can beat you.

In many ways, programming is already the formalization of a human space problem. Ai will likely take more role in implementation in the future, but I can’t imagine an AI that does the formalization itself.
How do they not pay for the cost of delievery? They pay for internet connectivity like everyone else. And they even have caching servers installed at most ISPs to optimize their bandwidth.

This is about the telcos wanting to double dip.
With C99 I think it's better to use the fixed (or minimum) sized types from stdint.h when my requirements differ from what C guarantees. I prefer to be as explicit as possible in code (when appropriate) so as to to avoid this sort of confusion.
Looks like 3 cities, https://www.fastcompany.com/40571483/munchery-is-shutting-do...
This is not how homeostasis works (at all). Metabolism is real and so is genetically determined caloric retention. Thin people don't necessarily eat less or exercise more, they sh*t more calories than fat people, who store more. It's not all this, but it is also not zero this. Regardless, it's absolutely not as simplistic as producing and consuming energy, it's a few billion years of evolved genetic diversity of retaining and eliminating calories for homeostasis.
Burry refers to hard numbers - the rate of fraud was increasing. "What feels like an uptick" does not mean the rate has actually increased (I don't know if it has or not, but an uptick on reporting about fraud is not an actual uptick).
Gold to Bitcoin analogies are a marketing falsehood. On paper things might look similar, but looking into the details and history behind Bitcoin and other cryptocurrency software development it quickly becomes clear there's a multitude of cascading flaws.

BTC inflation is currently higher than USD

Historically, Bitcoin started off as a hyperinflationary mint in order to produce the supply rapidly for a small user group before the general public would be able to access the production methods and before the difficulty settings Satoshi chose would increase the cost of production and reduce the ROI and increase the CAPEX/OPEX dictacted by the BTC mining software and network.

Aprox 4.11% of Bitcoin users (addresses) control 96.53% of all bitcoins in circulation. Also there's a chance that something will make Bitcoin obsolete in the near future - immediately destroying the trade value of Bitcoin, either a new cryptocurrency, a quantum computer or cryptographic breakthrough that would allow theft of BTC private keys or more predictably a bug like what recently happened in the main Bitcoin core wallet client software which allowed a user to inflate the supply of Bitcoins past 21 million and mint more BTC for free.

https://www.livebitcoinnews.com/cve-2018-17144-the-aftermath...

Here’s an explanation on how the Bitcoin market differs vastly from Gold speculation markets:

https://www.youtube.com/watch?v=6r04gfWfRkE

Then there's the story of Bitfinex, assumed to be a lingering MTGOX scale exit scam using a "stablecoin" which is pegged 1:1 with USD across all other major cryptocurrency exchanges. With no audit, Bitfinex has printed aprox $2,042,257,000 USD as of today. Much of which is alleged to be used by their own accounts to manipulate the levered futures markets.

https://medium.com/@bitfinexed
Table component that implements both large table virtualization and tree tables
But most software is not on flights, pacemakers or space missions (or equivalent).
I initially said "In many states it is available over the counter."

A better response is that several older, more difficult to manage versions are available over the counter.
Does anyone here have any experience using semi-formal methods, like 'cleanroom' techniques? The commentaries I've heard (e.g. [1]) tend to be very enthusiastic, but I don't have enough experience to judge their credibility so I'd love to hear what others have to say on the matter.

[1] http://infohost.nmt.edu/%7Eal/cseet-paper.html
>there are a lot of features of interior design architecture that aren't really addressed

Nearly every standard rectangular building should be in actuality built with the energy efficient building design in mind, but we don't... out of simple mental oversight and in the increased cost in construction.

https://kammaliyaa.files.wordpress.com/2013/01/figure-11.jpg

Literally, we could save 20% to 30% in energy costs with every building with possibly only 10% to 15% increase in cost of construction, but we simply don't because we have no congregate valuation of resource consumption, only individual guilt.
Do life dependent code like those in NASA use these type of method to validate their system?
Thats a lot of cure stats, truth is Epic dropped some serious money into marketing, paying off popular streamers, blogs and YTbers.
Show HN: Convert article in current tab to readable form and upload it to IPFS