frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

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