skysight-inc/HackerNews huggingface dataset:
Funny. I could make the same statement for USA. If I pick weird Florida man kind of news happening in remote corners and use it to generalise the whole country
whoops, yes, the blog is https://blog.luke.lol
vanilla wordpress
Another tip: the vast majority of ArXiv papers have the LaTeX source available under "other formats". I used to download those instead of the pdfs for better searching. Now I don't really bother keeping a personal collection of papers, however.

Downloading the LaTeX source also has the advantage that you can see the comments the authors made that don't show in the pdf version. Sometimes appalling: "% Author 1: Is this lemma even true? This proof seems like bs to me % Author 2: Eh screw it who knows, it's probably true."
> Eh. You can write, and people have written, formal proofs about C code too.

Not without a formal model of C, and the C standard is only an informal, natural-language text. Rust having memory safety as its express goal (which is basically table stakes for any sort of workable language semantics) means that it's at least realistic to think about a formal semantics for Safe Rust. Then you "just" need to deal with the uncomfortable reality that lots of Safe Rust facilities actually bottom out into Unsafe Rust, which is why it turns out you must care about its semantics too. But the hope is ultimately that the small portion of real-world Rust codebases that's Unsafe Rust might not "infect" the Safe Rust to the point of making verification as practically unworkable as in C.
I agree; I am saying that this is a mode where Graham doesn't write well, not that it is impossible to write engaging badly-detached-from-facts propaganda.

Though Taibbi writes for a different audience that probably makes that easier.
> For example Julian Assange faces the death penalty in the US

I really doubt this would happen.

He would probably face a lesser punishment, and you could argue about it being right or wrong, but this doesn't cancel out Russia's terrible track record.
I'm well aware that both are from different language families, however that doesn't stop the fact that because of the influence of Chinese writing a significant number of japanese words were directly imported from China. They are the words that corresponds to the on-yomi 音読み of the kanjis.

In the same way, English is a West Germanic language whereas French is a Romance language, this doesn't however stop the significant import of French vocabulary in English which likewise is a result of history and of the conquest of England by William the conqueror. This is a bit different because both English and French are the same branch of a bigger family Indo-European, so those two languages are more similar to each other in term of grammar than Chinese and Japanese but the point about vocabulary I think still illustrates the fact that besides vocabulary inherited by a common language, there can also be vocabulary imported due to historical influences between neighbours. In the case of Japanese it's significant because of their adoption of the writing system and the amount of vocabulary that was imported that way..

Another example of what I'm talking about is Korean. There's some dispute about the language family of Korean with some saying that it's also a japonic language, some saying it's a language isolate. However no one would claim that Korean is a member of the Sino-Tibetan language family. Yet, it's well known that 70-80% of Korean vocabulary is of Chinese origin. This is the same mechanism.

On the other hand, due to both languages being from different language families, the grammar of Japanese and Chinese are totally different and unrelated.
From the linked Wikipedia page: "African cultures preserving an oral tradition of a flood include the Kwaya, Mbuti, Maasai, Mandin, and Yoruba peoples."

So, false.

And, obviously there would be local myths of the Pleiades. But the Sisters show up on all continents. That is the fact that needs accounting for.

Dragonwriter is correct: neither universal nor regional flooding is the null hypothesis.
I understand the most effective change was reinforcing and locking the cockpit doors. Despite the seemingly ineffective TSA checkpoints, I do wonder how well it works as a deterrent. AFAIK simple for-profit hijacking of planes used to be more common before 9/11. I haven't heard about any such incident since. How much of that isn't because the potential perpetrators were deterred from even trying?
I Changed My Personal Site and Blog Again
Wouldn’t this single event have a super high chance of generating fossils though giving that a) it wiped out a ton of life in one go and b) it released a huge amount of debris ready to cover things up nicely and preserve them?
The internet was more fun without those horrible popups. They suck the joy out of browsing. And they degrade the mobile browsing experience when the cookie wall is badly implemented and I can’t tap accept or decline.

Worse, instead of implementing the cookie wall some sites outside the EU just turned off access to EU citizens. A crack in the worldwide web. Not so worldwide anymore.
Ok, I agree with you that the traditional Light Water Reactor design is not a great one. But I don't think that's the main thing. It sounds like our disagreement is -- you're saying that nuclear power is way too expensive, and it's great that the regulation made it economically unprofitable so that we aren't stuck with more of it. I'm saying that it has only been expensive and uncompetitive with other energy sources because the regulatory structure has royally screwed up. It was getting cheaper and cheaper and suddenly turned around and got way more expensive despite no rising material costs, in complete contrast to every other kind of technology.

I believe that if we had strict but sensible regulation around nuclear power, it would have long ago driven coal and natural gas power out of business, putting us in a way better position to deal with climate change. Even with Light Water Reactors -- but if we had sensible regulation, we'd have long ago developed much better designs and refined them, driving the price down even more. I've seen a graph that shows how nuclear was getting cheaper all the time, when suddenly the trend reversed and it started getting more expensive.

Here's the kind of insanity that results from our current nuclear regs in the USA:

"A forklift at the Idaho National Engineering Laboratory moved a small spent fuel cask from the storage pool to the hot cell. The cask had not been properly drained and some pool water was dribbled onto the blacktop along the way. Despite the fact that some characters had taken a midnight swim in such a pool in the days when I used to visit there and were none the worse for it, storage pool water is defined as a hazardous contaminant. It was deemed necessary therefore to dig up the entire path of the forklift, creating a trench two feet wide by a half mile long that was dubbed Toomer’s Creek, after the unfortunate worker whose job it was to ensure that the cask was fully drained.

The Bannock Paving Company was hired to repave the entire road. Bannock used slag from the local phosphate plants as aggregate in the blacktop, which had proved to be highly satisfactory in many of the roads in the Pocatello, Idaho area. After the job was complete, it was learned that the aggregate was naturally high in thorium, and was more radioactive that the material that had been dug up, marked with the dreaded radiation symbol, and hauled away for expensive, long-term burial."[1]

I'll totally admit that if we had never made any investment into nuclear, it's possible that renewables might have had more R&D and investment earlier. But it's also possible that we might have just become more reliant on fossil fuels.

I think we both share a pretty deep concern for climate change, and if it turns out that renewables + storage are the only real solution, I'm totally happy with that. It's just that I think that with nuclear we can get off fossil fuels faster. I may be wrong.

[1] https://radiationeffects.org/wp-content/uploads/2015/05/Rock...
> Can we make a piece of software that automatically pays for discovered bugs with some form of cryptocurrency?

In the general case, no, not without having AGI. There are a subset of bugs that computers can verify (i.e. for a compiler, it might be asserted that "any input that causes a crash is a bug"), but the majority of bugs will require a human-like intelligence to read them and reason about them to determine that "yes, this is a bug".

Given you have to involve a human in the loop to actually fix it, it seems like automating a bounty for it is fixing a problem that doesn't really exist.

There's also vanishingly few projects that want to pay for literally any bug. The majority only want to pay for critical bugs or security vulnerabilities, both of which are purely human judgements.
I'd never heard of this "Successor Ideology" before today. Turns out it's a straw man crafted by its originator, Wesley Yang, for the sake of tearing down: he opposes it.

https://en.wikipedia.org/wiki/Wesley_Yang

> Yang coined the term "successor ideology" in 2019 to describe an emerging ideology among left-wing movements in the United States centered around identity politics. Yang opposes this ideology and believes it may replace traditional liberal values.

Never mind "outsize influence", it has no influence at all — nobody follows "Successor Ideology", not even the person who made it up.
“You Don't Need to Trust Science Because You Can Test It.” – But Can You?
The figure I quoted above was for thermal solar with storage. That's pretty basic tech, the storage is generally thermal as well. I don't see why the price would drop all that much.

Lazard is the source that most renewables advocates point me to, to prove how uncompetitive nuclear is. If your counterargument is that future costs will be lower than today's costs, then I think it's fair to also consider the costs Thorcon and others estimate for molten salt reactors.
I wonder what the overlap is between people calling the TSA useless security theater that's a violation of rights and the ones who say "what's the big deal about mask and vaccine mandates? It's to keep us safe, stop whining about 'mah freedoms' and grow up like they do in collectivist Asian cultures!"
Anesthesia on brain-dead donors is the standard of care, not because the donor is suffering at that point, but because the stresses of the harvest can harm the organs. I doubt very much that the those involved in murder by organ theft would lower the quality of the organs just to make their victims suffer more.
LLVM makes use of assertions to validate things like this, but many users of LLVM, including rustc, turn them off for performance reasons.
For a tagged image gallery, look into Shimmie 2.
Cloudflare is working on getting rid of CAPTCHAs almost entirely - https://blog.cloudflare.com/end-cloudflare-captcha/

That blog post was released on April 1, but it isn't a joke (Cloudflare announces things that seem crazy but are real on April 1 instead of doing a joke)

Disclaimer: I'm an engineer at Cloudflare, but not on a team related to this.
In case anyone reading this is interested in specific historical information the origins of the listed last names in order are English, German, English, and Gaelic

Here's a census of immigrants roughly around the time Tesla was working in the U.S. (1910's), showing the relative percentages from each region (a point of comparison which is not even accounting for the ones who came from the above regions before this time): https://www2.census.gov/library/publications/decennial/1910/...

It's good to read the facts of history rather than hear trite historical narratives. In this case, it seems inbound immigrants from the Balkans made up just 1.6% in the 1910's.

I'm pretty sure the intention of saying a last name is "all-American" is to comment on the relative statistical frequency of it in a population at any given time, since that is a name people in another country (like China) would associate and know because of their likelihood of seeing it. But again, a lot of people discuss historical narratives rather than historical facts, so the above poster is not uncommon in continuing that tradition of pushing a trendy idea rather than discussing facts and information.
In light of decades of demonstrated reliability of Ada use in aerospace applications, a bunch of comments about Ada from the late 1980s are meaningless.
> The available solutions all work extremely well, from rspamd to Gmail, and have for many years.

When the "Unsubscribe" feature fails (about 10% of the time in my experience), then those emails are legitimately spam. None of the spam solutions work for those emails.
The last time I tried to take Amtrak, from Seattle to Vancouver, shortly before covid19 started... It arrived 3+ hours late at 1:20 in the morning, so late that the Vancouver metro system (skytrain )was already shut down, and I ended up taking an additional $90 taxi ride.

It was overall quite a miserable experience compared to just using my own car. And the return trip ticket cost was actually more than gas+mileage expenses on an ordinary economy car.
what club?
It's hard to capture an entire lecture series in one sentence, but one way you might categorise subjects by the type of problems they allow you to solve:

- Multiple linear equations over the rationals/reals => linear algebra

- Solve equations over the integers / integers mod p / factor numbers => number theory

- Solve polynomial equations / factor polynomials => algebra

- (Partial) differential equations => (partial) differential equations

- Approximate solutions to various equations over the reals => numerical analysis

- Counting the sizes of various finite sets => combinatorics

- Integrate wild functions => measure theory

- Formal understanding of real numbers => real analysis

- General framework for differential equations => functional analysis

- General framework for continuous functions and limits => point-set topology

- Prove that two elastic shapes are different => algebraic topology

- Prove that a knot in a circular piece of string cannot be untied without cutting the string => knot theory

- Determine optimum strategy in a game with incomplete information => game theory

- Describe very big sets / prove that certain things can't be proved => set theory

- etc.
Odds are more likely that you have less than 100 messages waiting and more than 80 of them are stored on major, reliable hosts like Gmail, Amazon and Microsoft.
> Simply wait along the track in the middle of nowhere.

That seems to be a bit of a meme in plenty of western movies.
> Spam is a non-issue in 2022.... only real issue for email today is deliverability.

Well, that train of thought went downhill pretty fast.

Could it be perhaps that mail is becoming undeliverable precisely because effective anti-spam is so burdensome that only major players can eat the cost, while pushing massive externalities to every other mail provider?
instigated by the US. and if you want to play that card the railway bombing was done by the donetsk army which is nor russian
I've read it different: But I’m going to be conservative and estimate that a quarter of the global stockpile is going towards such targets.
Building a payment system for school festivals
Cognative dissonance because we know we are obscenely overpaid to build stuff that nobody really needs, while others work themselves into disability for a order of magnitude less pay doing things that are essential for civilized life.
> You message your normal friends on WhatsApp.

I don't.

> You message your nerdy friends on Signal.

I don't.

> Nobody writes email sized messages anymore just like nobody writes letters anymore.

I do. But I'll grant few do.

> You message your in-laws from an incognito Facebook tab a couple times a year.

I don't.

> Sometimes when you want to message no one in particular you shout into the void on Twitter.

I don't.
Workflowy! It's approach of "one infinite tree" has been a very simple mental model for me (been using for more than a decade) and they're recently bumped it up with some nice features like image support, optionally viewing lists as boards, and date support. They've had sharing and sync to Dropbox for backup for a while now (paid version). This is currently the only tool that works at "speed of thought" for me across a number of devices. Their hashtag support is the best I've experienced in any tool yet.

For a sales pitch, the slack team apparently used workflowy to coordinate dev before they launched.

https://workflowy.com
There are speech codecs that essentially do this but with a phonetic encoding, instead of "normal" text.
Yes, they are only used for extremely bandwidth-starved situations, but they do work. An example is Codec2, which works down to 0.7 kbit/s.
Well, I came to the same sort of conclusion. This in particular:

>There are always some heresies — some opinions you'd be punished for expressing. But there are a lot more now than there were a few decades ago, and even those who are happy about this would have to agree that it's so.

Not only bears no resemblance to actual lived reality, because the penalties for speaking out against orthodoxy (or even just being trans or gay or a bi-racial couple) were far worse than simply being kicked off twitter, and virtually none of those had any impact on anyone else in the same way that refusing to mask up or get vaccinated does today. They'd have fired their asses in 1918 too.
Israel was doing it for ~50yr before anyone else was.
> When I sign up to get my Electricity bill, what do I give them? My Whatsapp? My Twitter?

Postal address...?
The development in most of the areas in the eastern US is probably too far gone (and pipe dream projects like I dreamed up a few comments above are surely impossible), but I wonder some kind of special purpose multi-state consortium couldn't be arranged (and bolstered by relevant federal programs) to take something like my pipe dream 'southeastern mountains to the sea' and make a Georgia - Carolinas regional authority to fund things like buying out and cleaning up defunct industries in the region(s) and returning the land to a wilderness trust managed along the lines of the Adirondack Park Authority with the long term goal of creating natural corridors..
ISP's can't be trusted with the firmware on their current routers. Do you really want them in charge of your internet facing services in your home?
> If a police officer can do that from an app, everyone can do it.

The police can get your phone location from an app, or you car registration, yet these systems are still pretty secure, certainly not hacked by "everybody".

It will happen, exactly because incidents like this one.
It seems unlikely that Biden wants to kill passenger rail. He's made a pretty big deal of using Amtrak between DC and Delaware to commute when he was in Congress. TSA has tried this before with Amtrak and it's possible that this decision is being made at a level lower than that of the president.
Although still up, 12ft has been hit with legal notices and no longer works with bigger outlets like NYT
This would be a convincing argument if it was extended with links to people who have written about "cancel culture", "wokeness" or whatever in a genuinely pleasant way, even and perhaps especially to criticize it. Maybe "Scott Alexander" of Slate Star Codex got closest, but even he reportedly regrets much of that writing - i.e. it does make him unhappy, which I think speaks volumes. I don't think it's realistic or fair to demand this feat from Paul Graham.
Yes. It’s exactly like MIT canceled Dorian Abbot.
Because it would probably lead to the database doing stuff that you don't want it to do, with no way for you to tell it to do something else.
I'm ready: Let the 100 year programs begin
> Is there anyone at all who writes "happily" about cancel culture?

It is something that, like the Devil, exists primarily in the minds of people for whom it is a central part of the opposition in their mythological construction of the world, so no.
If you are already on an @icloud.com address and/or using Apple Mail, what’s the difference?
>The nuclear Gandhi think makes sense as naturally occuring from people trying to extrapolate hidden mechanics and false pattern detection.

I find a lot of "Reddit knowledge" in areas where I need accurate information to do my job (vintage console repair especially) is complete bullshit, but it makes you look smart if you repeat it.

Almost always it requires an understanding of some sort of niche knowledge/art, like metal fatigue, heat transfer or potentiometers. At the same time, it's usually irrelevant to the problem at hand.

In this case, the statement is nothing more than a vehicle for showing off that you understand what integer overflow is, and therefore signalling to others how smart you are.

And that said, I've probably repeated the "Nuclear Gandhi" myth to a dozen other people, complete with a short explanation of unsigned integer overflow.
"I am black?"
Then the problem is solved. Be happy, friends!
I’ve been using https://lockdownprivacy.com/ along with Apple’s app privacy report to block domains. Works great.
Naw. He has links to a podcast where you can hear him speak. The "Asian Hour" lol. His english is legit. The man Linus is real... the post, however, could be GPT-3. Definitely doesn't match up with his talking.
Isn't decentralized sharing with resiliency exactly what torrents we're created for?
There's another service that offers a similar simplified presentation option, though I can't remember it presently.

The creator was mentioning it on HN for a while.
I just check my karma and review the comments if there is a delta either way.
If you want to try w3m in Docker (although without support for images), I found it packaged in 14 MB only:

docker run -it --rm corbinu/alpine-w3m https://news.ycombinator.com

Press [tab] to navigate from link to link, [enter] to follow a link, [⇧+B] to go back, and [q] to exit. You can also run it with --help instead of a URL for a help page.
Outside of Vue, and maybe Angular, are there any other stable alternatives with a decent ecosystem? I'd love to hop off the React train, but I haven't found anything that compares to the experience of just using create-react-app with Typescript support.
By then they might be most interested in getting as far as possible from any nearby magnetars and other existential threats.

Although other people might be the most immediate threat right up until the moment a magnetar sterilizes the vicinity.

I don't know whether we are certain where the nearest one is.
I ported a client from OVH to AWS with zero downtime. Built new infrastructure with terraform, flipped dns.
Was easier than wading through the existing architecture fixing problems and security vulnerabilities.

It was a single web app though. Not too complicated.
+1 , Linear has been fantastic for us
Looks like a foreign power wants to interfere with US elections in 2024... That's my suspicion. The question is:- how can that be managed?
I hope I am wrong...
When people say that "Trump is racist," I take that to mean "Trump is personally prejudiced and that is reflected in his messaging and policies." I think whether he's racist irrespective of his messaging and policies isn't an interesting question.
There was the attempt by a train engineer to hit the USNS Mercy when it was docked in New York Harbor to assist with COVID19 treatments. He missed by quite a bit of distance.

Edit: Los Angeles, not New York.
Not an issue of spaces per se but with >1000 rooms/DMs, the Element Desktop UI can become very unresponsive, to the point of being barely usable, and sometimes freezes completely requiring killing the process. I haven't pinpointed the exact condition(s) that makes it freeze up/get very sluggish but even on good days it takes >5s to expand the "People" list.

This is on a modern desktop CPU with plenty of memory headroom. It never happened so far on a profile with less chats.
I strongly suspect this will apply to a special region used exclusively for watermarking. Their imprinting rate is 0.6 bits per minute.