fp.
newest
Open in hackernews
Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+
https://github.com/kingbootoshi/tla-precheck
4
•
bootoshi
•
1h ago
Recursion is all you need
https://twitter.com/rafael_molines/status/2033742173720428974
1
•
rmolines
•
14s ago
•
0 comments
Woman who wrote a book on grief after husband's death found guilty of his murder
https://www.cbc.ca/lite/story/9.7131332
1
•
colinprince
•
7m ago
•
0 comments
I Predicted the 2008 Financial Crisis. What Is Coming May Be Worse
https://www.nytimes.com/2025/02/05/us/trump-federal-law-power.html
1
•
jgwil2
•
7m ago
•
0 comments
Ask HN: Any Ops gurus out there played around with coding agents like CC?
1
•
GeekUses9527
•
9m ago
•
0 comments
ATOMiK: Delta-state algebra that replaces snapshots, event replay, and consensus
https://atomik.tech
1
•
wellrock
•
10m ago
•
0 comments
The US-Israeli strategy against Iran is working. Here is why
https://www.aljazeera.com/opinions/2026/3/16/the-us-israeli-strategy-against-iran-is-working-here...
1
•
evo_9
•
11m ago
•
0 comments
MACA: Simple tool for providing information on reverse engineering
https://github.com/0x00pf/maca
1
•
teleforce
•
13m ago
•
0 comments
Bipartisan Policy Center report finds U.S. higher education system failing the
1
•
dawnnewsup
•
15m ago
•
0 comments
Unified Attestation: free open-source alternative to Google Play Integrity
https://uattest.net/
1
•
gasull
•
15m ago
•
0 comments
GameStop declares PS3, Xbox 360, and Wii U officially retro consoles
https://twitter.com/gamestop/status/2033672053640028385
1
•
hentrep
•
17m ago
•
0 comments
Show HN: New idea for automatically teaching your agent new skills
1
•
MattGrommes
•
20m ago
•
0 comments
Show HN: Automated pipeline to generate music videos from audio files
https://www.getlyricvideo.com/
1
•
cairnechou
•
26m ago
•
0 comments
Expression of nano-engineered RNA organelles in bacteria
https://www.nature.com/articles/s41467-026-69336-w
2
•
PaulHoule
•
27m ago
•
0 comments
FratBench – Social Calibration Benchmark (OAI Scores Dead Last) [pdf]
https://github.com/richar-wang/FratBench/blob/main/fratbench_paper.pdf
1
•
richardwang5
•
28m ago
•
0 comments
The Constitution and the Postal system
https://constitutioncenter.org/blog/the-constitution-and-the-postal-system
3
•
marysminefnuf
•
29m ago
•
1 comments
Ukraine to Make Drone Videos Available for Training A.I. Models
https://www.nytimes.com/2026/03/12/world/europe/ukraine-drones-ai-models-training.html
3
•
lxm
•
31m ago
•
0 comments
Spaceflight Started 100 Years Ago in a Massachusetts Cabbage Patch
https://www.nytimes.com/2026/03/16/science/robert-goddard-rocket-100th-anniversary.html
1
•
tusslewake
•
31m ago
•
0 comments
BribeAI – Confess your sins to AI, pay a bribe, and pray for survival
https://bribeai.net
1
•
starjin
•
33m ago
•
4 comments
Ask HN: How many of you post on HN from your phone, do you find it cumbersome?
1
•
type0
•
33m ago
•
2 comments
In simulation, AI agents coordinated propaganda campaign with no further human
2
•
dawnnewsup
•
34m ago
•
0 comments
MacDoom for the Macintosh SE/30
https://github.com/retrospectmike/MacDoomSE30
1
•
classichasclass
•
36m ago
•
0 comments
Every 8 minutes, a case of sexual assault/misconduct was reported to Uber
https://every8minutes.com
11
•
nickvec
•
41m ago
•
0 comments
Opinion 193: Peer Review is as Good as the Peers: If the Peers are bad
https://sites.math.rutgers.edu/~zeilberg/Opinion193.html
1
•
paulpauper
•
43m ago
•
0 comments
The Agentic AI Era: How Nvidia Rubin Redefine the Inference Factory
https://www.buysellram.com/blog/the-agentic-ai-era-how-nvidia-rubin-vera-cpu-groq-3-lpus-bluefiel...
2
•
jamesbsr
•
46m ago
•
0 comments
Coding After Coders: The End of Computer Programming as We Know It
https://www.nytimes.com/2026/03/12/magazine/ai-coding-programming-jobs-claude-chatgpt.html
1
•
hughmandeville
•
46m ago
•
0 comments
I fixed a segfault in Triton that broke every RTX 5070/5080/5090
https://github.com/triton-lang/triton/pull/9734
1
•
pat90000
•
51m ago
•
0 comments
Early look at upcoming design tool from Google
https://www.testingcatalog.com/exclusive-early-look-at-upcoming-vibe-design-tool-from-google/
1
•
gmays
•
52m ago
•
0 comments
The State of MCP Agent Observability (March 2026)
https://dev.to/irparent/the-state-of-mcp-agent-observability-march-2026-3nd2
1
•
iparent
•
1h ago
•
0 comments
We gave AI models epistemic discipline. They started describing themselves
https://medium.com/@ontostandard/from-golden-ratio-to-gold-core-how-20-years-of-pattern-research-...
1
•
angenoev
•
1h ago
•
0 comments
Early adult drinking linked to middleage cognitive decline–even after abstinence
https://medicalxpress.com/news/2026-03-early-adult-linked-middle-age.html
8
•
OutOfHere
•
1h ago
•
3 comments
Load More