News

“Why don’t you use dependent types?”

Hacker News•lawrencecpaulson.github.io• November 2, 2025 •47 pts

Read Comments

Is ‘learn to craft’ the new ‘learn to code?’

Hacker News•qz.com• November 2, 2025 •5 pts

Read Comments

‘Do not trust your eyes’: AI generates surge in expense fraud

Hacker News•ft.com• November 2, 2025 •14 pts

Read Comments

Open-source communications by bouncing signals off the Moon

Hacker News•open.space• November 2, 2025 •23 pts

Read Comments

The Useful Personal Computer

Hacker News•technicshistory.com• November 2, 2025 •12 pts

Read Comments

I’m a health editor: my husband’s prostate cancer screening results surprised me

Hacker News•telegraph.co.uk• November 2, 2025 •4 pts

Read Comments

Show HN: Anki-LLM – Bulk process and generate Anki flashcards with LLMs

Hacker News•github.com• November 2, 2025 •8 pts

Read Comments

Writing FreeDOS Programs in C

Hacker News•freedos.org• November 2, 2025 •10 pts

Read Comments

Viruses of the Mind (1991) Richard Dawkins [pdf]

Hacker News•biolinguagem.com• November 2, 2025 •6 pts

Read Comments

A prison of my own making

Hacker News•jsteuernagel.de• November 2, 2025 •12 pts

Read Comments

X.org Security Advisory: multiple security issues X.Org X server and Xwayland

Hacker News•lists.x.org• November 2, 2025 •15 pts

Read Comments

Stop ‘reactions’ to email by adding a postfix header (2024)

Hacker News•neilzone.co.uk• November 2, 2025 •24 pts

Read Comments

A unique collection of laptops adorned with creative stickers

Hacker News•stickertop.art• November 2, 2025 •4 pts

Read Comments

Matched Clean Power Index

Hacker News•matched.energy• November 2, 2025 •9 pts

Read Comments

Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch

Hacker News•tongyi-agent.github.io• November 2, 2025 •8 pts

Read Comments

How the US is preparing a Caribbean staging ground near Venezuela

Hacker News•reuters.com• November 2, 2025 •3 pts

Read Comments

HyperRogue – A non-Euclidean roguelike

Hacker News•roguetemple.com• November 2, 2025 •44 pts

Read Comments

Mock – An API creation and testing utility: Examples

Hacker News•dhuan.github.io• November 2, 2025 •3 pts

Read Comments

Sam Altman wants a refund for his $50k Tesla Roadster deposit

Hacker News•arstechnica.com• November 2, 2025 •23 pts

Read Comments

Your URL Is Your State

Hacker News•alfy.blog• November 2, 2025 •17 pts

Read Comments

Nubeian Translation for Childhood Songs by Hamza El Din

Hacker News•nubianfoundation.org• November 2, 2025 •3 pts

Read Comments

Show HN: Auto-Adjust Keyboard and LCD Brightness via Ambient Light Sensor[Linux]

Hacker News•github.com• November 2, 2025 •4 pts

Read Comments

Using FreeBSD to make self-hosting fun again

Hacker News•jsteuernagel.de• November 2, 2025 •11 pts

Read Comments

Why I love my Boox Palma e-reader

Hacker News•minimal.bearblog.dev• November 2, 2025 •9 pts

Read Comments