frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

The Case Against Formal Verification, 50 Years Later

https://ivan-gavran.github.io/0-social-processes-paper
21•ghuntley•41m ago•8 comments

A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better"

https://rvembedded.com/blog_post/12/
231•Narishma•4h ago•124 comments

Claude: System Prompts

https://platform.claude.com/docs/en/release-notes/system-prompts
440•tosh•8h ago•190 comments

Protobuf has LSP support. You're welcome

https://buf.build/blog/protobuf-lsp
53•theanonymousone•2h ago•22 comments

SIMD in the 90s: Programming Intel's Pentium MMX

https://pikuma.com/blog/programming-intel-pentium-mmx-simd
23•ibobev•3d ago•2 comments

The AI Credit Resale Economy

https://vectoral.com/blog/who-are-the-token-brokers
188•mlenhard•6h ago•69 comments

Low-Tech Ceramic Water Filter

https://wiki.lowtechlab.org/wiki/Filtre_%C3%A0_eau_c%C3%A9ramique/en
26•Bluestein•5d ago•7 comments

Models Are Getting Dumber on Purpose

https://w4g1.dev/blog/models-are-getting-dumber-on-purpose
154•hruvhwe•2h ago•95 comments

MathCode, Mathematical Coding Agent

https://math-ai-org.github.io/mathcode/
32•homarp•3h ago•9 comments

St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

https://www.wptv.com/news/treasure-coast/region-st-lucie-county/saint-lucie-nuclear-power-plant-u...
125•toomuchtodo•6h ago•90 comments

Clamiga: Common Lisp for the Amiga

https://nnamgreb.de/blog/Clamiga+-+Common+Lisp+for+the+Amiga
63•emptybits•3d ago•4 comments

Anton Chekhov played at love most of his life

https://commonreader.wustl.edu/winning-and-losing-at-the-great-game-of-intimacy/
45•lermontov•1d ago•6 comments

Plastic mechanical computer from 1963: The Digi-Comp 1 [video]

https://www.youtube.com/watch?v=-y8bGBE71yw
29•tobr•1d ago•6 comments

Firefox for iOS now has a native adblocker

https://support.mozilla.org/en-US/kb/block-ads-firefox-ios
448•pentagrama•8h ago•189 comments

NIH is ending a key grant for budding clinical researchers

https://www.science.org/content/article/nih-ending-key-grant-budding-clinical-researchers
115•brandonb•5h ago•55 comments

Tell HN: Cloudflare silently injects its analytics when you switch nameservers

155•stagas•3h ago•39 comments

In the Shadow of the (Berlin) Wall

https://www.slowtravelberlin.com/in-the-shadow-of-the-berlin-wall/
3•yitchelle•3d ago•1 comments

Before Rightmove, there was the Cosmorama

https://www.ianvisits.co.uk/articles/before-rightmove-there-was-the-cosmorama-londons-forgotten-p...
19•brod_ie•5d ago•2 comments

Archie G. Norcross' Maine Forest Fire Maps (1918–22)

https://publicdomainreview.org/collection/maine-forest-fire-maps/
21•samclemens•3d ago•3 comments

Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter

https://www.bloomberg.com/news/articles/2026-08-16/stripe-nears-deal-to-buy-ai-firm-openrouter-fo...
19•zacharyozer•48m ago•9 comments

The weekend is 100 years old

https://www.theguardian.com/money/2026/aug/16/the-weekend-is-100-years-old-skiveday-fridays-and-h...
149•lentil_soup•5h ago•85 comments

Tasklet (YC P26) Is Hiring a Head of Design Engineering

https://tasklet.ai/careers/head-of-design-engineering
1•mayop100•7h ago

A True Telnet BBS on a Casio Calculator

https://ei3lh.eu/2026/08/16/a-true-telnet-bbs-on-a-casio-calculator/
73•austinallegro•9h ago•9 comments

Chestnut – eGPU dock with open-source firmware

https://hwbusters.com/news/comma-ai-egpu-dock-runs-open-source-firmware-249-bare-799-with-an-rx-9...
122•txrx0000•2d ago•35 comments

The deep history behind the Road to Nowhere inside the Great Smoky Mountains

https://www.wunc.org/environment/2026-08-10/road-to-nowhere-great-smoky-mountains
17•yareally•3d ago•5 comments

Asus Bike Booster

https://www.asus.com/accessories/bike-booster/asus-oxiis/oxiis-intelligent-bike-booster/
588•wiradikusuma•4d ago•410 comments

ICE Shot a Journalist and Threw Him in Detention. He's Approaching 300 Days

https://theintercept.com/2026/08/16/ricardo-parias-ice-detention-journalist-los-angeles/
67•Jimmc414•1h ago•30 comments

A SAT Attack on Tarski's High School Algebra Problem

https://arxiv.org/abs/2608.08421
72•matt_d•4d ago•29 comments

Research papers using "kidney disappointment" instead of "kidney failure"

https://scholar.google.com/scholar?q=%22kidney+disappointment%22
324•Alifatisk•8h ago•115 comments

The Trumps' Crypto Project Just Got One Step Closer to Becoming a Bank

https://www.motherjones.com/politics/2026/08/donald-trump-world-liberty-regulatory-approval/
27•rib3ye•1h ago•23 comments
Open in hackernews

ICE Shot a Journalist and Threw Him in Detention. He's Approaching 300 Days

https://theintercept.com/2026/08/16/ricardo-parias-ice-detention-journalist-los-angeles/
67•Jimmc414•1h ago

Comments

infinite_spin•31m ago
https://archive.is/N9hmS
camillomiller•24m ago
How do you guys in the US go about life as if this ain’t happening? Otherwise, what are you specifically doing against it? What even small acts of resistance are you ready to put in place? Genuinely curious, let’s hear it.
RickJWagner•18m ago
Another comment here explains it.

From the cited article: “ In October, Parias was leaving his home and driving down the street when federal agents — including from ICE and the U.S. Marshals Service — used their vehicles to box him in, according to the criminal complaint.

Body-worn camera footage captures the ICE officer approaching Parias’ passenger side door and almost immediately stating that he’s going to “break the window.”

As the officer smashes the window, the car begins to rev, later sending smoke billowing into the air. The officer pulls out his gun soon afterward, holding it in one hand as he smashes the window at the same time with the other.

The complaint alleged that when the rear of the car began to “fishtail,” it “caused the agents to fear that PARIAS may lose control of the Camry and hit them.”

A Homeland Security Investigations agent wrote that Parias’ acceleration of the Camry “caused debris (likely rubber being shed from the tires themselves) to fly into the air, which struck some of the agents.”

Jail is deserved.

camillomiller•15m ago
Without a trial? With a terrible firearm wound? Not even a murderer deserves such treatment in a civil country. You people are far gone. Fucking nazi Germany 1935
fedpost•16m ago
Have you seen our prison system? Everyone who's actually "done something" about it is either dead, spent time in supermax, or is headed to supermax.
camillomiller•14m ago
Your country is lost.
fedpost•10m ago
No shit. Many of us are doing stuff, but we can't post about it on fucking social media if we don't want to join our friends at the supermax party.
sandworm101•9m ago
There are two realities at the moment: the everyday culture that really hasn't changed all that much, and a federal dog-and-pony circus act that roams around the country doing crazy stuff. The vast majority of people have no interaction with the circus. For them, everything is normal and these news stories are an aberration. If they watch the news, they assume there is some larger story that they aren't being told. So the circus continues like a bad sitcom, nobody caring enough to actually do anything about it because they aren't really sure whether it is real.
vrganj•1m ago
"What happened here was the gradual habituation of the people, little by little, to being governed by surprise; to receiving decisions deliberated in secret; to believing that the situation was so complicated that the government had to act"

[...]

"This separation of government from people, this widening of the gap, took place so gradually and so insensibly, each step disguised (perhaps not even intentionally) as a temporary emergency measure or associated with true patriotic allegiance or with real social purposes. And all the crises and reforms (real reforms, too) so occupied the people that they did not see the slow motion underneath, of the whole process of government growing remoter and remoter."

[...]

"The dictatorship, and the whole process of its coming into being, was above all diverting. It provided an excuse not to think for people who did not want to think anyway. I do not speak of your ‘little men,’ your baker and so on; I speak of my colleagues and myself, learned men, mind you. Most of us did not want to think about fundamental things and never had."

They Thought They Were Free - The Germans, 1933-45

https://press.uchicago.edu/Misc/Chicago/511928.htm

ck2•23m ago
btw another crime by ICE that has not been widely covered is they are FORCE FEEDING PRISONERS FOR MONTHS

that is recognized as torture and illegal and should never be happening by our government

* https://www.theguardian.com/us-news/2026/aug/05/ice-force-fe...

* https://www.pbs.org/newshour/nation/ice-force-feeding-detain...

ButlerianJihad•8m ago
You don't agree that people in detention should be kept alive and given life-sustaining, ordinary health care? You believe that suicidal people should not be prevented from doing the deed?

Weird flex.

solid_fuel•3m ago
I hope you have a chance to experience forced feeding, since you seem fine with it.
OgsyedIE•19m ago
I'm convinced that the patterns of the federal judiciary freely supporting egregious misconduct by multiple agencies will last until roughly one week after the funeral of the current POTUS. Old age, complications, whatever, the pendulum will swing back.

The best case scenario for that swing-back is a prolonged and entirely civil witch hunt of the judges and attorneys involved, by force of intimidation by state governors threatening expulsion of federal personnel and nonpayment of funds to the Treasury unless a witch-hunting organisation is allowed to operate. This sounds horrible, but it is the option that most safely diffuses the tensions of implied violence. It's mirror, an entirely uncivil (force of arms) witch hunt, has historical precedents in other countries that suffered catastrophic civil wars and is the worst-case option.

Like it or not, every country has the pendulum and it can only be managed.

kraken_cult•11m ago
Ah yes, the famously fair, famously well thought out "witch hunt for thee, but not for me".

How about acknowledgement that there was a reason these people got elected and the addressing of grievances that brought that about. Problems heard and addressed.

solid_fuel•6m ago
Cry all you want, the people are demanding justice for the egregious crimes of the trump administration and his pathetic, sycophantic supporters. I think they will have it, one way or another.
3eb7988a1663•6m ago
The grievance was that not enough journalists were getting thrown into jails without proper procedures or medical care?
OgsyedIE
•
4m ago
Nobody has a magic wand to produce the best option and they instead have to make do with the least bad physically possible option.

The constituency for the immiseration of the masses is unfortunately bipartisan. It predates Trump (and Biden) and was embraced by Trump (and Biden) to the opposite of their rhetoric. However, the historical consensus on tolerating extralegal behaviour by the executive and judiciary anywhere else on Earth is that it has a 100% track record of making immiseration worse. No other improvements can first occur without removing that state of affairs which bottlenecks everything else, by the least harmful physically possible method.

You want a better option? Go find a genie.