skysight-inc/HackerNews huggingface dataset:
China Wastes Almost 30% of its Food
It's not clear to me if you object to the choice of word or the action that the author intends for it to mean.
We have been serving OCSP responses out of another datacenter since the initial status.io went up.
Personally, I prefer Vue but why does it matter if it is too big to fail or not ? It is just another JS framework and I am sure there will be many more in the future. Also hearing good things about Svelte.
Optional<T> actually has the same issue I think. Clojure properly handles "nil", the problem is not that you need something to force you to deal with not having a value right away, the problem is that Clojure automatically deals with the value not having a value right away for you.

Imagine you have this:

Optional<String> get(String k)
{
...
}

get("fooo").orElse("not found");

This is the same bug, the bug being it's normal that "fooo" is missing, you should have written "foo" which is the real place where the data is supposed to be.

Or imagine for any other reason `get` returns an Optional.empty() when it shouldn't.

It's kind of the flip side of "null". Normally nulls are bad because of nullPointerException and people forgetting to handle null. Clojure in general handles null everywhere, and so you won't get nullPointerException, instead things will just work with whatever defaults makes sense for everything that comes after and is getting the null.

That makes it harder to realize that the null is there not because it missing, but because you have a bug which makes it look like something is missing when it should be there.
But the odds of getting released are so low it's not really worth imo. I see life in prison more akin to torture than anything else, which makes it worse than death penalty
Why are the dashboards of cars not painted in this or similar colors? I want to have minimum reflections but the temperature is probably the problem.
That video creeped me out! I mean, we'd be screwed. Luckily there are no known astroids, let alone moon-sized ones, heading towards Earth that we know of.

But if we discovered one, even with ample lead time, what could we do?
> Even if you hire someone, that can be a massive hassle, you have to worry about being ripped off

This is a huge problem with home ownership, at the very least where I've owned homes (California and Michigan). The quality of contractors varies dramatically, and many will happily rip you off or at the very least just do a bad job. If you can't get a good recommendation from someone you trust, you really roll the dice hiring someone. IMO, if you're going to own, you should be willing to do a lot of work yourself. At least then you know exactly what's happening to your house.
> I despise this work (even though I do basic carpentry), and I fully consider it work that detracts from my life.

I felt that way when I bought my house too. My experiences:

Get used to the house never being fully OK. Things will continue to break, but over 90% of them aren't urgent. By the time I get one thing fixed (either by myself or by paying someone), something else is broken. That's OK. As time goes by, you realize that most of these things aren't really that important.

Yes, my toilet has a leak so I've turned it off for now: I have 2 others in the house. It's not urgent.

I cannot make ice in my fridge because the water hose to the fridge is leaking - had to shut off faucet. Am I going to chuck an otherwise good fridge over this? No. So for the past so many years, I manually add the water to the ice maker to make ice.

My over-the-stove microwave died. Twice. Am I going to rush and buy another brand new one? No. I'll wait till there is a sale. In the mean time, I can get a perfectly good used microwave for $20.

The list goes on and on.

If you want everything working all the time, then it will be a major pain.

Just learn how to find decent professionals/contractors, and learn to research prices before calling them.
True, but Loom won't really help you there since that already CompletableFuture.runAsync already uses a pooling scheduler. Same for cats-effect and zio, for that matter.

(And that's aside from CompletableFuture having its own separate problems, like the obtrude methods)
I would use VS if I was on Windows, but I'm on Linux (specifically a Ubuntu distro on a chromebook) where I need something lightweight (and cross-platform).
I find that interesting because Wil is usually a reader I'll go out of my way to avoid. It just doesn't work for me. (Which really confuses me because I've been a fan of pretty much everything else he's touched - I certainly don't identify with the toxicity that seems to follow him around. Just doesn't work for me in audiobooks.)
> Hm, that's strange. I'm pretty sure XML5 killed DTD outright, other than having a doctype definition. Perhaps the spec was outdated a bit.

I'm just going by what is at https://annevankesteren.nl/2007/10/xml5 which gives the impression that <!ENTITY> declarations are still allowed.
American law does not apply in Canada either
I think my favorite framing is people have quite different preferences so it’s not clear what trends will happen long term. That’s said, even if the effects aren’t all encompassing, we could see 5x the numbers of people doing remote work and that will have big effect on the way people work.

My other thought is that this will affect people with significant commutes or housing costs the most, so this is essentially an acute urban/SV problem that we are going to hear a lot about :)
Hah, I've had an opposite reminder. Every day at 2 pm the phone would remind me that "it does suck, but is only temporary" (I wasn't that long before I could FIRE).
I could, but my current solution of having a pipe connected to a bigger pipe, to a pipe in the street, etc. keeps me from having to change cylinders and is far more efficient.
In my experience, VSCode + clangd works better than full VS for most projects
Piping server: Non-proprietary, peer-to-peer data transfer, using HTTP
GNU Prolog has one of the fastest constraint solvers over finite domains (i.e., small integers), and its constraints are available out of the box, without loading any library. For example:

$ gprolog
GNU Prolog 1.4.5 (64 bits)
Compiled Mar 24 2020, 20:46:07 with gcc
By Daniel Diaz
Copyright (C) 1999-2020 Daniel Diaz
| ?- X #> 3.

X = _#2(4..268435455)

yes

GNU Prolog 1.5.0 was recently released, and the source repository is now available at:

https://github.com/didoudiaz/gprolog

GNU Prolog is a nice Prolog system for learning Prolog, also because it is currently the only free system that correctly handles all syntactic ISO conformity tests collected at:

https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformi...

This means that GNU Prolog can be reliably used to learn what is valid Prolog syntax and what is not.
I know the professional archivists strongly disagree with me on this. I know there are cases like the one you mention where higher precision turned out to be useful.

But I also know of the HP archives that burned down while awaiting funding for a pixel perfect proper archiving of it. The result was there's nothing left for future historians.

The Vatican Library is another. It's full of one-of-a-kind documents. They can't afford to do a pixel perfect archive of them, so nothing gets done. It's all at huge risk of fire.

An imperfect copy is infinitely better than ashes.
Robert C Martin
Yes, and this is what e.g. assoc and member do. But in those cases there's already a container, whereas in a hash table you would have to construct a new one. I do think that multiple values are easier to use and result in more direct code; the problem is that they don't enforce correct usage the way a container does.
Thanks, that is a tweet by Ryan Williams (complexity theorist extraordinaire) who is on the editorial board of that journal, confirming that the paper was rejected, then accidentally dropped into the publish queue.

A better publication venue might have been here: https://www.win.tue.nl/~gwoegi/P-versus-NP.htm

That page links to a lot of P=NP proofs and also P!=NP proofs. I haven't counted them up lately so I don't know which is ahead.
If the question was about constant time complexity but the questioners had a secret additional requirement that they refused to share, that's a flaw in the questioning. If the questioners had that additional secret requirement and understood amortized analysis, then they should have at least given a hint at their secret requirement by saying something like "your proposal does indeed deliver amortized constant time complexity, but what could the potential downsides be of this approach?" If the commenter is giving an accurate description of what happened in the interview, then the questioners were absolutely the ones being stubborn or ignorant. (And, incidentally, I'm pretty sure that dynamic arrays are going to come out ahead in practice even with the secret "tight loop" requirement.)
I'm already in bed so reading the code on my phone is really painful. That said, at first glance this looks really promising. This is great news on two fronts: on one hand this will drastically simplify supporting devices and would speed up development a lot. Also it's great news for rust: the fact that it's been used in a place where it can show it's potential and isn't another case of "let's use rust for the sake of using rust", which is a lot more common than I used to imagine.
Depends on what you mean by counter productive. You wouldn't cite Quanta Magazine if you were writing the next journal article on this topic intended for peer review. Instead, you would go to the original paper "Geometrization of the local Langlands correspondence" and pull that apart to look for ways you can improve upon what has already been done.

But mathematics is a big area (there is a reason why it's a plural: it's better to think of it as more of a family of topics than a single science.) And if you're a mathematician from an unrelated branch of mathematics, an article like this is written in a way where you can understand most of the underlying concepts reasonably intuitively.
Proving it’s possible is the hard part, though. Granted, if you did actually implement a P-time algorithm that would also do the former.
Is that a public post? Would love to read it.
I’m not sure what I am wrong about, I’m simply pointing out that worse average case performance is sometimes desirable over better average case worse worst case performance. Context is everything.

Also some things to note: a) game logic tends not to parallelize very well for various reasons, but even so it depends on the domain of the problem whether or not you can run a parallel algorithm on a linked list, b) if you already have a reference to the insertion point you can avoid the walk, c) cache coherence is only important of you are actually iterating over the list, etc.
There was recently a big kerfuffle over something kinda like that. Look into recent noise about Audacity audio editor to see how that played out… ;)

Edit: Curious what part of the above statement is unhelpful or inaccurate…
Most context switching code happens in software. It's only occasionally that cores have hardware task switch support.
Statistics Sweden Adopts CC0 License for Open Data
If you're interested, here's a thread of telescope nerds discussing that exact usage: https://www.cloudynights.com/topic/692954-how-black-is-the-b...
> make sure that you only add a method to a function if it does the "same thing"

But this only concerns when I'm writing the code myself. If I read some code and I see a few nested function calls, there's a combinatorial explosion of possible types that gives me vertigo.

> complex and rational numbers can be constructed using anything that has arithmetic defined.

seriously? this does not seem right, it cannot be like that. If I build a complex number out of complex numbers, I expect a regular complex number, not a "doubly complex" number with complex coefficients, akin to a quaternion. Or do you? There is surely some hidden dirty magic to avoid that case.
You say that its thesis is (in part) to generally publish in static file formats, but that's not quite accurate. The piece specifically touts PDF/A as the best format and makes several arguments against the use of html/css. I agree that they're making a broader point than just "use pdf," but "use pdf" is definitely a large part of it.
I like the idea of keeping HTML's document-centric original design, but accessing the documents using p2p protocols (instead of the client-server model used on the web).

I'm working on an open-source implementation of this idea at https://www.hyperhyperspace.org
Funny, I'm the opposite.

The more I get older the less I want to deal with bullshit home maintenance, and the infinite time suck that is customization and endless improvements.

Really part of a general life shift from "if you want it done right, do it yourself" and "if it's worth doing, it's worth doing right" -- to "outsourcing is a valuable tool" and "perfection is the enemy of the good".

I realize my time is valuable and I want to make sure I spend it where it counts -- on people, activities, experiences, travel.

When I rent a place, the kitchen layout and drawers are already good enough or else I wouldn't have rented it. And the things that aren't "perfect" I've decided I can live with, because nothing is perfect and there are more important things in the world to pay attention to.

To be clear: your viewpoint is entirely valid too, for yourself. But you're not speaking for everyone who "gets old enough" -- other people grow in the exact opposite direction.
No, rents go up and down for reasons other than inflation.
So it would be fine if they had said, "okay, for this problem let's add the requirement that every add must be fast, because it's within a frame rendering loop", but (from OP's description) they didn't even seem to understand that's a separate desideratum, or that it doesn't mean the amortized time is bad.
There might be a possibility to prove that such an algorithm exists without knowing how the algorithm works exactly / being able to construct a runnable version of it.
The longterm survivability of this planet, including environmental health, depends on our species becoming space faring. The focus of our attention should instead be on rebuilding our infrastructure based on renewable energy, replacing fossil fuel companies, and transitioning to more dense living in urban areas to mitigate urban sprawl. Not space tourism or elite "billionaires" -- completely unhelpful. Unfortunately, few people understand this.
Isn't this more of a "We don't want our client / customer information released to The World At Large" question? I would think most business entities have backups of some kind (Scripps being the only exception I can think of), and will pay the ransom to keep any sensitive information off the market.

Edit: Should have added that I find it hard to believe that companies have PB of data backed up. I could believe GB, and maybe even TB, but PB is pretty hard to swallow. The past three companies I've worked for (25 year span) had, at most, a couple of gigs of sensitive information that couldn't be easily replicated.
> This is definitely not true, recipients of grants are heavily restricted on what kind of things they can spend that money on. I can't even fly a non-domestic carrier using grant money without proving no other alternatives exist.

That is pure corruption: the grant is funneling money from you to a domestic ariline. If it was about accountability you would have to prove the flight was really needed in the first place, and then that you found the best price. (though the grant should allow you to ignore the "skip maintenance and pilot training to give you a lower price" airline, but if that best happens to be foreign it shouldn't matter to the grant unless there is corruption involved)
That is both painful to read and accurate.
I guess. I don't think I would want to work with a technical lead who can't admit when they are wrong. How will they learn? How will it be communicating with them using logic? That seems really toxic and I think I would have just been honest and see how well they "learn". When I am interviewing, I am also interviewing the company, not just them interviewing me.
previously

https://news.ycombinator.com/item?id=27856429

https://news.ycombinator.com/item?id=27865313
That's what happens when people are trained from birth that money is always more important than anything else.
Contrary view: the only realistically sustainable way to address climate change is to colonize other planets and offload population, which starts with space travel.
In theory a proof could show that such an algorithm must exist without producing the algorithm itself. Though that's not what this linked paper tries to do.
Or the author did solve P=NP, saw the rejection, and then broke the journal’s security to prove it was actually solved.
> "Your roof is shot." The lowest bid is $15,000. Check is due before they leave your property.

When you buy the house, you should have had an idea on how much it costs, and saved for it. $15K over 30 years is nothing.

Also, of course this depends on where you live and how big your roof is, but for my house, $15K is overpriced. I recently got bids and while the numbers varied quite a bit, $11K was more typical. Of course, there are people who quote as high as $25K - learn to shop around.

And none of them wanted all the money up front.

> And what you learn is that it's a special type of gas water heater that costs $2500 and up.

I think $2500 is a fairly standard price.

One definitely needs to research these costs before buying! Especially for:

Roof

Garage doors

Water heater

Furnace

Central AC

Any pending yard work (like dying trees)

Any kind of code related work you may need to do (asbestos, old electric wiring, etc).
Did you forget to add that your library has a licensing cost? You don't get access to the source code unless you pay.
BRB computing several billion bitcoin hash completions on my Casio.
When you hover over a clickable item, the cursor changes to an "I" instead of a "hand".

For some reason, I'd like that the highlight have a ">" like the quotes here. (I know, it's totally unnecessary.)

What about adding highlight of the comments too?
One wonders how the reception of such a statement would have differed under the last administration.
https://news.ycombinator.com/item?id=27868002

https://news.ycombinator.com/item?id=27854818
Not only he knows it very well but also he explains it in a fast and clear way.
> My assumption is that houses have tended to increase faster than inflation in most markets.

In recent years. In the long run - not much. In the really long run, it's about 1-2% above inflation. Of course, it's hyper-dependent on the locale.
Link to said textbook content on dynamic arrays: http://www.craftinginterpreters.com/chunks-of-bytecode.html#...

Edit: Ah, I just saw munificent linked to this in a reply elsewhere in the thread.
What I like best about pdf files is that I can just give them to someone and be almost certain that any questions will be about the content rather than the format of the file.
I am curious how well hybrid will work.

I went back to the office for the first time Thursday and Friday (on vacation now).

Nobody on my team is in my city since during the pandemic they hired in every city we have an office in. I suspect I won’t have people on my team in my city in the near future either.

This is the case for many other teams.

So we are all in the office part time, but still talking to each other over Meet and doing it beside each other in offices rather than at home.
Surprised that vim clocks in at only 6%.
Depends on the definition of complete: https://old.reddit.com/r/cpp/comments/old0t6/why_does_msvc_b...
Meanwhile I'm trying to launch a simple health related mobile app and it's an absolutely insurmountable amount of paperwork for a solo dev.
Why not actual money? Amazon gift cards leak metadata to Amazon, and can only be used to buy stuff from Amazon.
Not to mention almost all pharmacies selling homeopathic rubbish. I find this particularly irritating given the ridiculously regulations and control around things like buying paracetamol or ibuprofen.
kind of light on the math considering what it's attempting to prove
The cheap Ikea one we got does have lots of power levels from caramelize onions low to rolling boil high.
I’m wondering the percentage for C developers.
Podcast with Alexey Guzey on New Science
1. P vs NP is a famous open CS problem, which (like Fermat's last theorem back in the day) attracts a huge number of crackpots purporting to have proofs one way or the other. There is a million dollar reward (Clay Millenium Prize) for the first correct proof, but obviously it has not been paid out so far.

2. There are also some attempts by legitimate researchers (non-crackpot) but that also turn out to be wrong. You can see some examples of wrong proofs (most crackpot, some not) here: https://www.win.tue.nl/~gwoegi/P-versus-NP.htm

3. Someone submitted yet another "proof" to TOCT (legit journal). The journal presumably gets those all the time. They took a quick look at the manuscript and rejected it as usual. They are used to that.

4. Because of some kind of clerical error, the manuscript somehow found its way into TOCT's publication queue even though it had been rejected. This provoked the obvious WTF from people who saw it.

5. There are now some tweet threads etc. clearing up the confusion. It's just another bogus P vs NP proof, like the 100s that have already appeared. Nothing to write home about. This has been going on for decades.
A lion IS something fierce. But only its use in western history make it a symbol of that. There's plenty of other fierce creatures (e.g. an orca, a crocadile, a poisonous frog) that wouldn't conjure the same symbolism.
> But upon further reflection, it seems that society hasn't figured out how to deal with much simpler lies, either.

outside of your field how much of the BS papers can you catch? I know enough about computers that I could probably figure out at least some of it in that field (after spending 10x longer than someone who actually reads papers regularly), but give me a paper in something else and I'm not so sure.
Interestingly, Intel has hardware context switching support, but apparently Linux and Windows don't use it.

https://en.wikipedia.org/wiki/Context_switch#Hardware_vs._so...
> I'm pretty convinced most people buy because they're either tired of the bullshit that comes with renting or want to buy into a specific school district, not because they're worried about making a return on their investment.

Another big factor is noise. A detached house is going to be quieter than most apartments in a shared building. That was the big reason we moved to a house. I'm a light sleeper and noise from people walking around upstairs was driving me nuts. Moving to a house with no one walking around above me was a huge improvement in my sleep.

Edit: Yes, you can rent houses too, but at least where I live (Minneapolis) this doesn't seem to be very common.
Doesn’t explain why most of Asia is even harsher and more restrictive than the USA.
One third of C++ devs in this survey don't write unit tests at all? That's insane in this day and age.
For me the quality of life, security and mental health that comes from owning trumps whatever the results a calculator like this is going to say. It doesn't factor in the anguish from having a family and seeing 30 other groups inspecting every single decent rental open home. Has been like that the last 3 years or so in Brisbane.
What is Vantablack used for? Besides Anish Kapoor's art, is there any information on what else it has been incorporated in? I imagine some of its uses are classified, but are there some other ones that are known?
I mean, L-Dopa works and it's also available as a supplement, and there are plenty of OTC medicines with active ingredients.