fp.
newest
Open in hackernews
Verso is a platform for writing documents, books, course materials, and websites
https://verso.lean-lang.org/
1
•
Tomte
•
51m ago
Sorry, the Data Says Communist
https://postcapitalistrobots.substack.com/p/sorry-the-data-says-communist
1
•
alejodosr
•
58s ago
•
1 comments
Show HN: Repo Autopsy – Transparent heuristics for repository install friction
https://repo-autopsy.zdfb20650.workers.dev
1
•
echoscarrie
•
1m ago
•
0 comments
Software Verification in the Age of Artificial Intelligence
https://learning.acm.org/techtalks/softwareai
1
•
rbanffy
•
2m ago
•
0 comments
Astronomers find strongest evidence yet that Betelgeuse has a companion
https://www.eso.org/public/news/eso2611/
1
•
Ralfp
•
3m ago
•
0 comments
Automation Led to Economic Misery. AI Doesn't Have To
https://www.theatlantic.com/ideas/2026/07/ai-automation-productivity-workers/688083/
1
•
01-_-
•
3m ago
•
0 comments
Load Bearing Memory: The Bones Remember
https://ikeanalytics.com/articles/what-the-bone-remembers/
1
•
hnscum
•
4m ago
•
1 comments
Why Hardware Engineering is the next target for Agents
https://assistedeverything.substack.com/p/the-age-of-agentic-engineering-for-hardware
1
•
gimili
•
4m ago
•
0 comments
Questions and answers on AI and verification: follow-up to my May ACM Tech Talk
https://bertrandmeyer.com/2026/07/21/questions-and-answers-on-ai-and-verification-a-follow-up-to-...
1
•
rbanffy
•
4m ago
•
0 comments
Who Owns the Cameras Watching You? (Hint: Not the Government)
https://comuniq.xyz/post?t=1452
1
•
01-_-
•
5m ago
•
0 comments
Local Inference – Run LLMs on Your Own Hardware (Guide and Forum)
https://localinference.io/
1
•
onion92
•
7m ago
•
0 comments
The Great Canadian Story of Canola
https://canadianfoodfocus.org/farming/the-great-canadian-story-of-canola/
1
•
thunderbong
•
7m ago
•
0 comments
Cracking Windows Open: Porting RADV to Win32
https://www.collabora.com/news-and-blog/news-and-events/cracking-windows-open-porting-radv-to-win...
1
•
losgehts
•
7m ago
•
0 comments
Glyphs 4 – the leading Mac font editor
https://glyphsapp.com
2
•
microflash
•
7m ago
•
0 comments
Show HN: Permanym – for hiring teams overwhelmed by AI resume spam
https://permanym.com
1
•
romanhn
•
8m ago
•
1 comments
Modernization Done Right: “Iphigenia” (1977) by Michael Cacoyannis
https://www.automachination.com/modernization-done-right-iphigenia-1977-michael-cacoyannis/
1
•
oliculipolicula
•
8m ago
•
0 comments
PostgreSQL's MVCC is bad. So is everyone else's
https://boringsql.com/posts/mvcc-bad-bad/
2
•
radimm
•
8m ago
•
0 comments
Show HN: Npx redential scan – evidence of your NDA work, nothing uploaded
https://github.com/redential/redential-cli
1
•
Jperalbelmont
•
9m ago
•
0 comments
ORMs Are Killing Your Performance
https://twitter.com/ClassicGamerTWR/status/2081569928490963022
1
•
luispa
•
9m ago
•
0 comments
Discernment: Fact-check an AI teaching you something you don't understand?
https://pluralistic.net/2026/07/28/hitl-ers/
1
•
hn_acker
•
9m ago
•
1 comments
Kimi in Chrome
https://github.com/0xSufi/kimi-chrome
2
•
binyu
•
10m ago
•
0 comments
DeepSeek V4 Flash, up to 32 tok/s on AMD Ryzen AI MAX+ 395
https://www.lucebox.com/blog/deepseek-v4-strix-halo
2
•
GreenGames
•
10m ago
•
0 comments
Well, Why Not?
https://rhollick.wordpress.com/2026/07/27/well-why-not/
1
•
speckx
•
11m ago
•
0 comments
Research: Why Some Junior Employees Work Well with AI–and Others Don't
https://hbr.org/2026/07/research-why-some-junior-employees-work-well-with-ai-and-others-dont
1
•
Anon84
•
11m ago
•
0 comments
Ask HN: How do you audit your app for compliance?
1
•
Luxter
•
11m ago
•
0 comments
GAO Finds Federal Cyber Reporting Requirements Largely Duplicative
https://www.gao.gov/products/gao-26-108606
2
•
toomuchtodo
•
12m ago
•
1 comments
Anthropeum
https://anthropeum.com/
2
•
bookofjoe
•
12m ago
•
0 comments
Now Is the Time to Give LLMs Access to the ACM Digital Library
https://cacm.acm.org/opinion/now-is-the-time-to-give-llms-access-to-the-acm-digital-library/
1
•
rbanffy
•
12m ago
•
0 comments
What They Want to Hear: The Politicization of U.S. Intelligence
https://www.lawfaremedia.org/article/what-they-want-to-hear--the-politicization-of-u.s.-intelligence
1
•
hn_acker
•
14m ago
•
0 comments
Stop Killing the Internet: No Digital ID and No Age Verification
https://citizens-initiative.europa.eu/initiatives/details/2026/000011_en
3
•
doener
•
15m ago
•
0 comments
Bugcrowd's "Request a Response" can expire without a response
https://blog.leonbecker.de/bugcrowd-request-a-response-can-expire-without-a-response/
1
•
rowbin
•
16m ago
•
0 comments
Load More