skysight-inc/HackerNews huggingface dataset:
>communism was also killing a lot of people and not very nice on the human rights front

So the US decided to up their killings?

"The Jakarta Method: Washington's Anticommunist Crusade and the Mass Murder Program that Shaped Our World is a 2020 political history book by American journalist and author Vincent Bevins. It concerns U.S. government support for and complicity in anti-communist mass killings around the world and their aggregate consequences from the Cold War until the present era. The title is a reference to Indonesian mass killings of 1965–66, during which an estimated one million people were killed in an effort to destroy the political left and movements for government reform in the country.

The book goes on to describe subsequent replications of the strategy of mass murder, against government reform and economic reform movements in Latin America, Asia, and elsewhere. The killings in Indonesia by the American-backed Indonesian forces were so successful in culling the left and economic reform movements that the term "Jakarta" was later used to refer to the genocidal aspects of similar later plans implemented by other authoritarian capitalist regimes with the assistance of the United States."[0]

[0] https://en.wikipedia.org/wiki/The_Jakarta_Method
I agree with this, but I also don't think the strategies are mutually exclusive.

Especially if what you want to be productive on is art, it's good to take advantage of the time when you feel most connected to yourself. But I find that connection requires lowering all of my defenses, including to the outside world. So it's still best to do that before I've been beset by the news.

At the same time, being more resilient can help me get other useful stuff done through the rest of the day, including stuff that is sort of adjacent to the art-making process. (For example, I make music and it's hard to find an inspired melody later in the afternoon when my head is aswirl with the chaos of the world, but I can still putter around with sound design and mixing.)
Ptyxis is a terminal for GNOME with first-class support for containers
So many uses for this. Excited to see how it develops.
Congrats Dex! Excited to see what people build with this + tools like Stripe's new agent payments SDK (issuing a payment seems like a great place to ask permission).
They have shifting and conflicting and nonsensical reasons for what they do. Just like PG lambasting someone as being too stupid to see when they asked why so many YC companies are things that should just be features on other software.
When I hear about Agile these days, it's almost always an excuse not to do the right thing. The last time it came up was someone resisting defining our company's product delivery process, which has always suffered from a lack of clarity. The time before that, it was someone saying "Let's be Agile about this", but meaning "let's do a shitty version of this, and pretend we'll come back to it later, rather than just moving on to the shitty version of the next feature."

The response that "you're not practicing Real Agile" may be true, but is unhelpful, as this is the norm rather than the exception. A consistent failure of any plan to succeed in its purpose after 25 years is a failure of that plan, not of the world, at least when the plan promises improvement on a shorter-than-generational timeline.

The only time I've ever seen Agile work is when the technical lead who practiced it was incredibly charismatic and forceful, and the team wanted to do what he said. Like magic. It worked great, and then the guy left, and the whole thing fell apart within months. But, I don't think what worked about that team was Agile per se, I think it was a unique individual leader that made it work, and it would have been just as successful without Agile.

I'm skeptical about methodologies. The force of the team and the company they're embedded in is so strong, it will overcome a generic system in most cases. I think you probably have to make an ad hoc solution that continually evolves, and have someone with rare abilities prune it and champion it. That is so harder. In all likelihood, muddling along is probably the realistic solution for most companies.
As a somewhat recent immigrant to Canada, would the consensus be that this applies here as well?
Looks amazing! (Also, I've known Dexter since before Human Layer and he's a force of nature. If you think this is interesting now, you're going to be amazed at where it goes)
> I was able to skip 1 grade in college due to my insistence on taking college classes in high school. Everyone from parents to teachers were against it. Had a random adult I met working tell me about it and I got it in my head.

I don't know your circumstances or when you were in school, but my son is in high school in Kansas, and he's taking university classes with the encouragement of the school. And not easy classes, either. One of them is a proof-based Calc III. I'm working with a high school student to give them a research experience (they obviously can't do much, but they get exposed to the research process, which is pretty exciting). The high school gives them credit for doing it.
The same cut (in terms of angle) on smaller disks would be impossible with a real knife. You'd have to bend the knife in order to achieve it.
Huh.

Genuinely nice to know EA circles are involving/including people who aren't already sufficiently steeped in the origin/history/context/whatever of the movement to find jargon like 'ratadj' as obvious as I thought it was when I originally typed it.

(and it was jargon and I've just edited this comment because my original phrasing almost certainly read as condescending in a way that was absolutely not why I was meaning to say; mea culpa and my apologies to anybody who read the first version)

This does quite seriously strike me as an excellent sign for its sustainability and while, yes, EA has a whole buuunch of weirdness to/around it, I'm unconvinced you could've got a first generation of something like EA without being tolerant of the people who brought the weirdness, so:

Cool!
Recently I started using wave terminal [1] which has a somehow better ux and is also open source. It provides free access to GPT-4o mini (which is free for all without login I know) which ia handy for quick searches. It is working separate from your files and doesn't interact with it which is good compromise in my opinion.

[1] https://github.com/wavetermdev/waveterm
The weirdest problem I see with this conspiracy theory is that I don't see the actual conspiracy?

Like, USD is a fiat currency, it's backed by taxes. The only difference between a paper dollar in your hand, a dollar in a traditional bank account, and a dollar on the hypothetical FedCoin blockchain is how easy it is to spend, what gatekeepers are involved, and what anti-fraud/anti-theft tools you can avail yourself of. Moving from a traditional bank account to a CBDC doesn't make it any easier for the government to seize your funds - they already can do that just fine with basically anything.
Yeah that's what I said about bind.

Let's consider a language like C++ where it has none of those syntax sugars. The absl::StatusOr is a class with the idea that errors should be values. The standard library has std::expected since C++23. So where is your pyramid of doom?
The damage is done. You can't overthrow the king (whether you pledge fealty to iTerm2, PowerShell/WSL, Putty, Hyper ... ) if you have to sign up to get past the castle gates. And in the two years it took to remove the signup, the townsfolk have realized their kings are good enough for what they want to do anyway.
And the Make Impossible States Unrepresentable crowd program like that?
+1, bindkeys will be the final feature to make it feel fully fledged for me. But signing out is also nice now
ha - never heard of this so I downloaded it. Still get presented with a sign up screen but I guess before you couldn't skip? There is a skip option and when you click it it says "are you SURE you want to skip?" - isn't this a technical product for technical users? If they're trying to rehabilitate their image, I certainly can't see being patronizing is the answer. Only thing I'll be skipping is this software.
wow I'm so glad you asked cuz i just shipped this https://github.com/dexhorthy/mailcrew
This is possible using hooks in shells such as zsh regardless of what terminal emulator you're using.
It’s sort of a foundational principle of the American system that power will always overreach, and adversarial checks and balances are always required to keep power in line. Saying it’s ridiculous to teach kids about their rights is, in that light, roughly comparable to saying it’s ridiculous that the government produces documents (i.e. the Bill of Rights) asserting what it can’t do. Far from being ridiculous it’s about as fundamentally American as it gets.
Incredibly, no videos linked in an article about a video newscast. I think this is an example. The AI doesn't even pronounce "AI" correctly. Interestingly, it looks slightly offscreen just the way real newsreaders do when they're on prompter.

https://www.youtube.com/watch?v=Aa7Q2S7VWUk

They do a lot right. There's interaction between the bots. They look kind of professional but not Los Angeles/New York quality, which is what you'd expect from a smallish market. Their movement is also kind of stiff and amateurish, which I believe is intentional.
+1, the SDK is kind of opinionated and I found that often it won't play nicely with e.g. routing clocks/plls different than default. Coding directly against the datasheet gives you freedom to fully leverage the chip and the extra code you need to write this way is honestly not a lot.
Warp is still a development tool run by a VC backed company, and history tells us how this will end, despite positive intentions and promises of “we won’t be evil, seriously”.

Other terminals are free, open, and more than good enough, why would I use Warp? I’ll pay for good development tools, it’s not about that at all, it’s just that Warp is a… terminal. I pay for JetBrains because it’s that much better than the free options (my opinion). Is warp that much better than iterm?

I do have an open mind, convince me that warp is worth it, that it is irreplaceable. Convince that I need it even though it will be enshitified like Postman.
Schools will never teach kids their rights to any useful or applicable extent because schools routinely operate in the gray area at the limits and creating a bunch of students who'll call them out on it would make their jobs harder. Same reason they don't do much to teach critical thinking.
>Why isn't it fighting back?

There has been $36bn in military assistance to Ukraine and Criminal Court arrest warrants from the Hague for Putin, Gerasimov and others.

Maybe we could do more but it isn't nothing.
In what way are you certain that she's gifted?
>They should not be punished for using AI. They should, however, just get a very bad grade for "including citations to nonexistent books".

This. We should apply this sort of logic in most situations, penalize for the actual 'crime', worrying about the meaningless details outside of that is just a distraction that confuses the issue.
It's really surprising they can't make the logical conclusion from what they wrote that they just point blank accused teachers as being racist.

So are we saying that teachers purposely disproportionately identified asian and white students as gifted? Can we not just admit that asian and white students usually have more learning resources provided to them during their younger years (both due to cultural and economic reasons) and thus in a typical classroom they will be the more likely to stand out academically before jumping to the race card. They've decided to skip straight past logic and straight to identity issues this time.

I am a "white-passing" latino (i.e. nobody assumes I'm latino until they hear my last name) and I was in the gifted program in California growing up. Plenty of the people also part of that program were black or latino themselves.
Did people read the article? There's actually some interesting points about how gifted/advanced curriculum isn't always the solution. I'd have to agree. I went to a magnet school, so already presumably for "gifted" students, that in turn had advanced courses like honors or AP. And while there were students who genuinely benefited, myself included, it also became a game of getting into the most advanced course so you could have it on your college applications.

Also, imo, the vast majority of students did not benefit. It's not like they were all brilliant. They basically passed a standardized test that they spent a few years in prep classes to pass. What this measured was whether your parents were tapped into particular social circles and knew to put you in prep. Once you were in the school, if you wanted good teachers, you had to take honors. I had a fantastic history teacher who talked about how he loved teaching regular history, but he was constantly pressured by administration to only teach AP. So for a lot of students who didn't have the grades to do honors, they got stuck with the mediocre teachers. Not to mention, psychologically, it sucks being in the bottom 50%. There were so many kids who thought they were dumb or underachievers, but were really just in the wrong environment. When they went to college, they blossomed from not being in such a rat race.

I'm not saying the solution is to eliminate gifted programs, but let's not pretend that they're universally great for kids. They're often much more status games than actual educational fulfillment.
> Sugar should be consumed in moderation akin to alcohol, not pumped into every product at every meal.

Sugar is naturally occurring in basically all the food we consume. Good luck ripping it out. Good luck getting a functioning body without consuming carbohydrates, either.

> Literally every study, from rats to humans and from obesity to cancer to gut microbiome to mood to oral health to chronic inflammation shows that dietary sugar is harmful.

The body also requires dietary sugar to function :) https://en.wikipedia.org/wiki/Carbohydrate

> Sugar should be consumed in moderation akin to alcohol,

Alcohol is a literal poison that you should not consume at all. Sugar is a basic dietary requirement. Of course, all nutrients should be consumed in moderation, but that's not unique to sugar in any way.
> It's for those who believe that skilled engineers are the true drivers of innovation and creators of meaningful products.

Maybe the only thing I feel iffy about here. Just feels a bit naïve, I've worked together with some really talented designers. Also worked with some really talented product owners. Can't say I've agreed with every marketer/PR person I've worked with but they've saved our ass a few times. While I do think developers have a major role to play, I don't think a company past a certain size would benefit from only devs making all decisions. A little specialization is OK when there is actually a useful task at hand.

There's innovation to be made on design or business side stuff as well. Maybe sort of lame to you, but it's helped me make stuff in the past.

Nothing to do with Agile btw, hopefully this doesn't sound like I'm pitching the tech world's private definition of capital A "Agile" with a different lens. Just a plea to appreciate that engineers aren't multitasking super gods.
Some folks regard the stance that public school taxes are supposed to pay for having a public school system, not for redistribution to parents to spend on any schools they want, as being tyrannical.
you missed this relevant (albeit, unspecific) fragment when you extracted the quote:

> with a millennia of discredited science to back it up
I set up notifications for a command finishing in my fish config. If you're interested in how it's set up.

https://github.com/yonatan8070/dotfiles/blob/master/fish/.co...
It was a Bud Light ad campaign that originally ran for three years everywhere that Anheuser Busch ran ads. Wikipedia claims it started on Monday Night Football, not the Super Bowl: https://en.wikipedia.org/wiki/Whassup%3F. But in any case, that is hardly the only time it ever ran.

Asking why it became popular may as well be asked of any pop cultural phenomenon that ever becomes popular. 20 people will give 40 opinions. Nobody really knows.
> nobody is stopping a kid from going to a later grade for some classes really

Nobody should be, but many people are.

At a minimum, the college-style model of subject-based classes and prerequisites for those classes should start much, much earlier, in elementary school.

There are elementary-school students who should be in calculus classes, and there are high-school and university students who should be in remedial arithmetic classes. (Though in some cases the latter would be less true if K-12 hadn't failed them so badly thus far.)
Fantastic! I happily withdraw my point. Thanks for the correction.
Mostly functional programming does not work (https://queue.acm.org/detail.cfm?id=2611829)
I think you will be pleasantly amused by this marriage of logic and religious beliefs: https://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_pro...

It is formally proven that an entity that encompass all qualities of a God must exist.
This is not by any means a “complete” picture. There was no consensus that Jesus is divine, or about the nature of the divinity ascribed to him, even after the declaration in 325 of the Nicene Creed - from which 5 bishops abstained and were at least temporarily exiled. This NPR interview with Bart Ehrman, a former Evangelical who later became a historian and wrote “How Jesus Became God: The Exaltation of a Jewish Preacher from Galilee” is very illuminating:

https://www.npr.org/2014/04/07/300246095/if-jesus-never-call...

Excerpts:

> During his lifetime, Jesus himself didn't call himself God and didn't consider himself God, and ... none of his disciples had any inkling at all that he was God. ...

> You do find Jesus calling himself God in the Gospel of John, or the last Gospel. Jesus says things like, "Before Abraham was, I am." And, "I and the Father are one," and, "If you've seen me, you've seen the Father." These are all statements you find only in the Gospel of John, and that's striking because we have earlier gospels and we have the writings of Paul, and in none of them is there any indication that Jesus said such things.

> I think it's completely implausible that Matthew, Mark and Luke would not mention that Jesus called himself God if that's what he was declaring about himself. That would be a rather important point to make. This is not an unusual view amongst scholars; it's simply the view that the Gospel of John is providing a theological understanding of Jesus that is not what was historically accurate.

> Right at the same time that Christians were calling Jesus "God" is exactly when Romans started calling their emperors "God." So these Christians were not doing this in a vacuum; they were actually doing it in a context. I don't think this could be an accident that this is a point at which the emperors are being called "God." So by calling Jesus "God," in fact, it was a competition between your God, the emperor, and our God, Jesus.
Which IDEs do software engineers love, and why?
Crash tests in the US are also technically on the honors system too, but NHTSA does test the most common models. But many they don't. For example, the Cybertruck.
thank you! stoked for what's coming
The Chinese Farmer Story

Once upon a time there was a Chinese farmer whose horse ran away. That evening, all of his neighbors came around to commiserate. They said, “We are so sorry to hear your horse has run away. This is most unfortunate.” The farmer said, “Maybe.”

The next day the horse came back bringing seven wild horses with it, and in the evening everybody came back and said, “Oh, isn’t that lucky. What a great turn of events. You now have eight horses!” The farmer again said, “Maybe.”

The following day his son tried to break one of the horses, and while riding it, he was thrown and broke his leg. The neighbors then said, “Oh dear, that’s too bad,” and the farmer responded, “Maybe.”

The next day the conscription officers came around to conscript people into the army, and they rejected his son because he had a broken leg. Again all the neighbors came around and said, “Isn’t that great!” Again, he said, “Maybe.”

The whole process of nature is an integrated process of immense complexity, and it’s really impossible to tell whether anything that happens in it is good or bad — because you never know what will be the consequence of the misfortune; or, you never know what will be the consequences of good fortune.

— Alan Watts
Absolutely, I love working with great designers / markets / etc.
Huawei launches Mate 70 Series with self-developed HarmonyOS
Nothing to add, just wanted to say I really applaud your dedication to that analogy in this comment.
You get that option only when an application gets blocked, and it doesn't hang around forever (nor does it stack, you don't get multiple options if you try to run multiple blocked apps): you have to click it when it's relevant, and if you don't, it disappears after a short while.
I mean, that is the headline. The thrust of the article was that a lot of the common things people offer for why don't have any real evidence. All we seem to have is that people eat more calories when doing processed foods.

Specifically, the RCT showing that people eating ultra processed foods eat an average of 500 more calories per day is what I was looking at. Seems to basically align far more heavily with it being the volume of food than it is other qualities. Though, my memory was stronger in what that paragraph claimed.
It's not surprising at all. The scale of AWS, in particular S3, is nearly unfathomable, and the kind of solutions they need for "simple" things are totally different at that size. S3 was doing 1.1million requests a second back in 2013.[1]

I wouldn't be surprised if they saw over 100mil/req/sec globally by now. That's 100 million requests a second that need strong read-your-write consistency and atomicity at global scale. The number of pieces they had to move into place for this to happen is probably quite the engineering tale.

[1] https://aws.amazon.com/blogs/aws/amazon-s3-two-trillion-obje...
They're probably referring to the very reasonable idea that funds for public schools shouldn't be diverted to private and religious schools under the "school choice" banner because it intentionally defunds public schools for private schools that have very little oversight and standards, and acts as an unneeded subsidy for wealthier families.
https://duckdb.org/ begs to differ.
Okay...a lot of the time HN flags something I'm like "fair enough whatever."

But this? Really? Can't imagine what the heck might make it flagworthy other than the people who didn't know the origin of Red Team and polluted the comments.
I think it's right for this to sit at the browser layer to have a human in the loop.