skysight-inc/HackerNews huggingface dataset:
If you use persistent data structures, you can store the total state, and you'll get deduplication of the common parts, which brings down the memory usage to a more reasonable amount. This is what git does essentially, which gets you O(1) checkout to arbitrary steps in the future/past. This also means you don't need to design/pick a diffing algorithm, which you would be locked into (since changing the diffing algorithm would mean you couldn't consume old diffs).
> And all of this for what?

To make their boss a billionaire at the cost of their own health
Abstract: Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practioners and theorists of such formal proofs which explore both aspects.

TOC:

- Formal Proof by Thomas C. Hales
- Formal Proof—The Four-Color Theorem by Georges Gonthier
- Formal Proof—Theory and Practice by John Harrison
- Formal Proof—Getting Started by Freek Wiedijk
What do you think "PRISM-tier data" is? PRISM is just a database where they put the results of subpoenas. It's not a super cool spy program.
> Your list sums up why I find it tedious ;)

Weird!

> Unfortunately I don't think Clojurescript is worth the hassle(or even immutablejs or immer) and just prefer writing JS and applying your list.

Seems like we agree actually?
Does it become like petroleum where we can extract greater quantities with more advanced (yet expensive and possibly dirty) extraction methods? Will there be a tar sands equivalent of lithium?
Can you be specific about what exactly an exploit taking advantage of this in HTMX would look like?
This article focuses on thievery at the expense of vandalism.

I leave my bike locked up outside overnight in San Francisco [0], and with three sturdy locks I'm not worried about thieves, but the vandals are another story. Ten days ago I came outside to discover they had set my bike seat on fire, which also ruined the rear tire and tube, along with some cosmetic damage. Total cost to repair: $283. My bike is vandalized typically every 90 days or so.

[0] https://briancunnie.medium.com/how-to-lock-your-bike-overnig...
Olive cuts 450 staff: lack of focus and missteps, total raise 900m+
A disabled person is not an idiot, nor is someone who's had the misfortune of no exposure to computers. An idiot is someone who thinks they're entitled to wield immense communicative power without the slightest effort or responsibility. It's every bit as easy to use the internet to destroy your life now as it was twenty years ago, perhaps easier. Maybe having to put a little work into it makes you respect the paradigm shift just a tiny bit more.
The Four Quadrants of Conformism (2020)
It’s hyperbolic trash though. What is happening to the Colorado river has been predicted as a possibility since the dams were built.

It has absolutely no implications for the survivability of large scale civilizations in the area because the vast majority of the water goes to farming. Residential and office usage is willing to pay far more than farmers and uses significantly less.

The flow rate of the Colorado river could drop by another 70% and still support everyone living here (socal, az, nv). The instance things get a little dire, farmer rights will be stripped away by the voters, they’ll pay market rate like everyone else, and the problem will be solved overnight.
I suppose it was built without the back pressure (ie doesn’t rely on back pressure for stability) and the change in pressure over time is quite gradual (this drawdown has been occurring over years) so I don’t see a significant problem.

It also gets massively thick as you get deeper. Far more than you would think by looking at the exposed part. Check out old construction photos.
Russian MLRS’s certainly fire rockets that have a much lower precision then modern US systems (HIMARS/M270).

Here’s a good video showing the difference.

https://mobile.twitter.com/revishvilig/status/15402647613292...
I think this is the closest I've seen to a native bash implementation but the plugin is ... bending the meaning of native bash. Still very awesome
I have no idea how one would go about doing this, but I'm curious if you have pursued that option? Getting the functionality of HTMX into the HTML standard?
This article was written as a response: https://www.forbes.com/sites/paultassi/2022/07/19/warner-bro...
…and

doskey pip=python -m pip $*
I like the certified letter approach, I'll check into this. I've considered getting an attorney involved but that could get expensive quick. Thanks for your suggestions.
Stress can have many causes, but at the root of it, stress is mediated by the brain. The brain tells the body to be on high alert, it does this by mediating hormonal responses.

Stress is good in certain situations: if you are being chased by a lion your body doesn't need to worry about hunger, your blood needs to go into your muscles, etc. These are typical signs of the stress response: loss of appetite, libido, tense muscles, loss of sleep. There are a group of molecules that are extremely important in putting your body in stress mode, these are cortisols.

Your brain is capable of putting your body in stress mode at any point, in fact, if you measure cortisol levels on people who are struggling with depression in most cases you see very elevated levels of this hormone. It's literally your brain telling your body they are in danger.

Now, if you are working so much you become stressed then your body will suffer and eventually your body will not be capable of dealing with being on "high alert" for so long that it will quite literally shut down. That is burn out, if your work is making you stressed then your work is becoming poison. If you stop drinking poison then your mind will go back to a normal functioning state and the stress will go down.
If I want to implement some rudimentary communications protocol between two machines in Rust, just for learning, is this where I should begin?

Edit: perhaps not quite. Seems like this lives “on top of” TCP or UDP. I should probably read through this then look for something like a “how to implement ICMP” guide.
His points aren’t taken seriously because they’re confused . Wage theft is a meaningful concept. It means not being paid for work you did in an hourly role because it was done off the clock. It does not mean getting paid less than some internet commenter thinks people should be paid.
Not quite as feature-rich, though. Once I started using Nova's subgrid and overlaying widgets, for example, it's very hard to go back to a launcher that doesn't allow them.
> It's difficult because it's very infectious and it's extremely stressful to everyone who doesn't fit in with the expectations.

Not only that, but it can breed a culture of toxic behavior towards those that don't meet expectations. I was new at a company that was extremely proud of its culture of support and collaboration, blah blah blah. I get pulled into a meeting with an architect who was not in my chain of command who ambushed me by telling me that he thought I wasn't good enough to work there and I should be concerned about my job status. I was floored.

The worst part was that he was universally beloved within the company, he had incredible charm that he could turn on whenever he wanted to, the dude was a straight up narcissist.

Long story short, I reported him and nothing really happened. He was on my team so I had to see him every day, and I wound up leaving shortly after. Abusers like that hide in plain sight and writing rah rah pieces how amazing a culture is is what makes it harder to find them.
I haven't given this careful deliberations, so I wouldn't stand by this yet, just eyeballing it:

Two months in prison, preferrably with penal labor. Repeat offences leading to longer sentences, including several years expulsion from major population centers. Let's see how their bike stealing goes over in a small town.

While I think escalating punishments for repeat offenders is appropriate, the key to stopping anti-social behavior is not severe sentences. It's consistency in catching/punishing these acts:

https://youtu.be/p6xVGr9kVFM
There's a significant population of science denying cranks and so those who want to raise legit concerns about the quality and alas, often motivation of medical studies are easily grouped with those. But:

1. There's no such thing as good / bad cholesterol. This is complete baloney and Pfizer lost a staggering amount of money when a drug raising good cholesterol got as far as human trials -- and failed them. There is no significant evidence for concluding that dietary saturated fat is associated with an increased risk of coronary heart disease or cardiovascular disease. There's growing amount evidence though that cholesterol is a symptom and not a cause.

2. The diagnosis and treatment of ADHD in adults but most especially in children is extremely suspect. Last year there was a study pretty much confirming it is overdiagnosed in children. But even worse, whether ADHD is even a thing or multiple conditions wrongly bundled under a single name is basically an open question. We basically put labels on children with "problematic behaviors" like "autistic spectrum disorder" and "ADHD" and then eventually find that 30-80% of ASD children are meeting criteria for ADHD. First of all what sort of study is 30-80%? But if the higher end is true, the question strongly arises: are these even two things?

3. I would bet dollars to doughnuts in a few decades we will look at all current nutrition advice to something akin of medieval quackery. How is this not self evident: genes obviously affect how foodstuff interact with our bodies thus any sweeping generalization is inherently suspect or most likely complete baloney. Like, how can anyone seriously think only lactose intolerance is an inherited genetic trait.

I would need to dig into my notes if someone needs them but a group of statisticians at a university started to look into medical studies and then FOIA the raw data and found like 80% of them cherry picking the data.

The incentives are not exactly at the right place.
Take a look at ID Guard Offline password manager. https://www.bluespace.tech/
The author clearly values hard work. She felt meaning in her work and reflected on that. The idea that all hard work or, God forbid, a hard working culture is toxic is probably why it's so much harder to achieve big things in the modern world. Hard work isn't always burn out and hard work isn't always bad.

More often than not its during the hardest working times that you learn or achieve the most.
I'm building a web app, and tested the app against all those browser. The behavior is really different, especially regarding the implementation a newly developed web api and the depreciation plan of ancient javascript api. For example, xhr depreciation [1].

As for chromium, they are quite responsive in responding the developer inquiries regarding a browser-specific API implementation. [2][3]

Sadly, it's IE vs Netscape all over again.

[1] : https://xhr.spec.whatwg.org/#the-open()-method

[2] :https://groups.google.com/a/chromium.org/g/chromium-discuss

[3] : https://www.researchgate.net/publication/353527090_Rancang_B... (it contains my communication excerpts to the Chromium team, regarding xhr deprecation plan)
Ketamine treatment is interesting, but it's not really a replacement for SSRIs. The anti-depressant effects of Ketamine are unfortunately relatively short-lived. Tolerance also seems to develop to the effects over time. There are some adventurous providers experimenting with frequent ketamine dosing over long periods of time, but the results haven't really been great from what I've seen.

Also, a psychedelic experience is definitely not necessary for ketamine's antidepressant effects. In fact, the more responsible providers and studies are careful to keep peak plasma levels low enough to avoid this, and it works just fine. A lot of unscrupulous providers are using excessively high doses to induce psychedelic experiences, but this isn't actually supported by the evidence.

SSRIs and other traditional antidepressants will continue to be mainstays of long-term depression treatment if for no reason other than their sustainability and long-term efficacy is so much better than ketamine.
It's not society. It actually starts with the individual. In order to have nay kind of decent society, each individual needs to recognize that they are responsible for themselves and their own society. Going outside, exercising and consuming nourishing foods are the literal starting place. Then seek to find things you like doing and become competent in them. Find a good wife or husband. Don't cheat on them. Don't take alcohol to excess, etc. etc.

The point is, you cant start from the outside and work your way down the the individual. It starts with the person.
So the opponents' position is something like this?

Supreme Court: rules marriage equality is constitutional

Bigots: damned activist judges shouldn't legislate from the bench

Congress: legislates marriage equality

Bigots: damned activist legislature shouldn't legislate its concurrence with the courts!
The plugin is for older bash. 5.2 includes it. It's built by default, but opensuse puts it in the bash-loadables package.

Edit: I'm not sure what other distros might do with it.
I'm not an expert, but as I understand it, the argument has been that broadband is expensive to roll out to non-urban areas. So they'll make exclusive agreements with municipalities, and/or take government money to complete the work.

From a customer's perspective, it seems they take the money and run to the bank. Where competition is low, and that's a lot of places, so is the quality of customer service and the provided speeds. Fees can be high, and for the last 20 years they've been trying to figure out how to get even more money by gutting net neutrality. They can be very aggressive on this [1], and there aren't really any significant repercussions. You probably don't want to fine a company out of existence, and any fine you do apply doesn't mean much if they get to keep their customers.

These ISP and content conglomerates have just gotten too big, and I think it's biting us in the form of tech monopolies that sit atop them.

The FCC is trying to redefine broadband to be 100 Mbps [2]. Almost certainly, the 2 republican commissioners will vote against that, and the democratic commissioners will vote for it. So it won't pass until the final FCC chair is filled, which Manchin is stalling in the senate [3].

Chances are it comes down to midterms. It's an important issue, the challenge is making it relatable to the public amidst other issues.

[1] https://youtu.be/BEXuK073bkE?t=749

[2] https://www.washingtonpost.com/technology/2022/07/19/fcc-bro...

[3] https://www.axios.com/2022/06/03/biden-fcc-nominee-gigi-sohn...
If you were an executive you'd count the time you spent reading this article and writing this comment as work.

Watch some old Mythbusters clips on YouTube? That's sort of engineering, so that's work.

Get drunk with some peers? Work as well.

Went to the gym? That's work, your role is in front of people so you have to be fit. Shopping for new clothes and picking up dry cleaning also counts.

That meeting you attended while commuting in your car that you barely listened to? You guessed it, work.

With podcasts the modern executive can work even while taking a nap.
The lossy encoding is what ends up on my TV, right? Works for me.

Sounds like my media archive is going to get some new friends.
Are you talking about SF exclusively?

All the anecdotal evidence I have (US, non-SF) suggests being connected or related to the local police is a blue collar signifier.

I'm not arguing that it isn't some sort of privilege, but suggesting that you also have to have "a couple millions" first sounds peculiar to me.
I don't think anyone's tried benchmarking protobuf against EXI yet, but I've played around with a .NET implementation (Nagasena: http://openexi.sourceforge.net/) and it does outperform Gzip both for compression efficiency and decompression/runtime performance, so long as you use a schema-accelerated parser. It can infer a schema (turning it into a 'grammar' to use the EXI-specific term), but a properly constructed XML Schema will always be fastest/most efficient, especially in low memory systems.
> Utah in particular is stunning beyond belief.

I tell everyone that Utah is the best kept secret in the country. I don't think anyone ever recommended it to me so I was in my late 20s before I traveled there and the landscapes blew me away.
I'm glad you agree that physics has nothing to do with this, but the article spends quite a bit of time evaluating the economics, to the contrary of what you state. That's the entire point of this article. For exmaple:

> Under the near-future scenario, the TCP of battery-electric shipping is lower than that of the incumbent ICE ship at ranges around 3,000 km for all ship classes.

Science is one of those topics that HN does not do very well. Every time a science subject comes up there are lots of false statements that are very easily contradicts.
I think the gap between GPs, Psychologists and Psychiatrists lies at the heart of this. GPs can (and do) prescribe psychoactive drugs. What they do subsequently is subject to the constraints of the health economics which apply: In the UK (I am told) the delay to be seen by anyone other than your GP can be measured in YEARS because of the backlog in patents presenting. Many of these patients are young people. The GP has the determinant of the path. They can recommend something like CBT and a clinical psychologist, or they can recommend drugs and a psychiatrist. They can do either, for what is the same presentation of problem.

They get seen by a GP, with limited time and tools. They are prescribed SSRIs, and booked in to see "some other health professional" and what emerges is a delay of some significant time, before they get that next stage of engagement.

I was also triaged by my GP, in Australia, and was put into the non-drug path, and I am content. If my health practitioner prefers not to use drugs, and that is a bias, so be it.

I can say that my mother in law was treated in other ways, became addicted to Xanax, and narrowly missed being placed in "deep sleep" therapy which wreaked havoc on many people, although it was "peak treatment" at the time. She was a deeply unhappy woman. I cannot say she would have been better off without drugs, but I do know the process of managing her drug regime was intense.

Deep sleep therapy lasted a long time. It was credible for decades. Psychiatry is as capable as any other science of being led a long way down paths it subsequently walks back on.

ECT, which is much more "confronting" in some ways, remains a useful tool. If you ask most people in the streets, They react with horror.

I place great hopes in ketamine, and in psylocybin. Again, both require a context of use, and are still experimental. What I like about both, is that they appear to being considered as rapid-intervention therapies, not as sustained, long lived treatments. I like that because of the short duration. I guess I don't like the SSRI story precisely because of the long duration, and the consequences on young kids, especially on things like sexual dysfunction. (I'm not a young kid and that isn't an immediate concern for me)
> The crisis in mental health is that suicide levels have been rising since 2000. This is good evidence that the new drugs are worse than the old drugs.

Or this is good evidence that cellphone usage is causing suicide (~1/3 of people in US had cellphones in 2000, ~100% do now).

Your causality is poorly explained.
I'm with you on that. I call bullshit on the 130 hour weeks, for who knows how long. 18 hours a day?!?

I've know people that have done 100 hour weeks, and they were a mess. Only did it a couple of times before they stopped.

Sounds like someone wants to create a mythical story about themselves. Also, from the article. Step 3 just oozes "I'm dominante and I'm the boss, but I will throw you a bone. I mean, c'mon, this stuff just sounds made up:

"Step 3. Grant employees one must-have freedom.
When Mayer suspects an employee might burn out, she asks them to find their rhythm. They've come back with, "I need to be home for Tuesday night dinners," or "I need to be on time for my daughter's soccer games." She grants those needs — no exceptions.
"You can't have everything you want," Mayer cautions. "But you can have the things that really matter to you. That empowers you to work really hard for a long period of time on something that you're passionate about."
>To make a compact and light naval reactor you need very pure U-235

Yes, with the reactor designs used by US Navy.

Akademik Lomonosov ([1]), a floating nuclear plant, uses "low-enriched uranium (LEU) fuel, with 14.1% average enrichment, with a fuel cycle of 3 years".

Commercial atomic container ships will likely be closer to Akademik Lomonosov than the US Navy fleet. And that's fine.

1. https://en.wikipedia.org/wiki/Akademik_Lomonosov
Surprised to see 2 of my blog posts on there. Both about building search engines. Oddly missing the posts that I would consider a lot better about the subject. Rather flattering though.
This legislation is in direct response to one of the supreme court justices suggesting in his formal opinion that the supreme court decision to protect gay marriage (among others) should be reconsidered. Wether or not he believes the other parts, calling it "unnecessary" is downright intellectually dishonest.
Not privsec, privesc -> PRIVilege ESCalation.
Amazing, thank you! I’ve searched for similar but never used the right keywords I guess
That's bash though - all the work is other programs. But the programmer makes it happen with bash.
It’s fine to put houses in places without water and that might even be better since there is a lower risk of flooding. Use the places with water to grow food, use aqueducts to carry water in a controlled fashion to places where people live.

New Orleans and basically all of Florida have tons of water. They are great examples of terrible places to build and we’re constantly subsidizing them to rebuild every year a hurricane rolls through.
Can somebody summarize what is actually in this bill?
The S for Selective actually means it only works on serotonin, compared with say, an SNRI, which works on both serotonin and norepinephrine. Impacting the overall values is in fact pretty much the only thing it does.
There are both, but we have many lower mountains that rarely get snow, let alone snow pack, but they have seasonal streams that can be quite large at the bottom of the water shed.

A decent example would be the French creek watershed by Nanaimo. I think it’s estimated that only 15% of the flow is from snow, with most of that portion flowing during spring. The rest is rain, mostly from higher up in the watershed.

This watershed doesn’t dry up entirely, but it naturally reduces dramatically by July with many of its tributaries vanishing completely. There are many like it without that 15% melt water, some of which mostly vanish under the bed rock and gravel depositions along the creek beds.

Unfortunately that’s also increasingly true, and it’s causing all kinds of species to die in watersheds that previously even supported multiple seasons of salmon runs. The last paper I read on French Creek suggested even swamps in the watershed were drying too much, killing insects and amphibians. Many streams have lost entire salmon runs due to drying too much, too often. It’s a fragile system. It seems like deforestation plays a major role in these watersheds drying out.
One day I hope to provide this opportunity for others: the privilege of making me rich!