fp.

Codex Security

https://github.com/openai/codex-security

287•bakigul•3h ago•62 comments

Half-Life ported to Mac OS 9

https://mac-classic.com/news/half-life-ported-to-mac-os-9/

109•freediver•3h ago•35 comments

Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript

https://github.com/twalichiewicz/HNewhere

67•twalichiewicz•1h ago•26 comments

Substack writers, you need a website

https://elizabethtai.com/2026/06/10/substack-writers-you-need-a-website/

379•speckx•7h ago•195 comments

Anthropic publishes a practical key-recovery attack on HAWK-256

https://github.com/anthropics/cryptography-research-demo

50•bakigul•2h ago•2 comments

Steel Bank Common Lisp version 2.6.7

https://sbcl.org/all-news.html?2.6.7

184•tmtvl•6h ago•78 comments

Kimi K3 Architecture Overview and Notes

https://sebastianraschka.com/blog/2026/kimi-k3-architecture-notes.html

279•ModelForge•8h ago•34 comments

Delayed Gratification – Proud to Be 'Last to Breaking News'

https://www.slow-journalism.com/

224•speerer•8h ago•124 comments

The iPhone Upgrade Program is being replaced by Apple Upgrade

https://www.apple.com/shop/iphone/iphone-upgrade-program

126•lkurtz•6h ago•217 comments

The Fabled Flatbreads of Uzbekistan (2015)

https://www.aramcoworld.com/articles/2015/the-fabled-flatbreads-of-uzbekistan

64•jxub•4d ago•45 comments

Zig's Incremental Compilation Internals

https://mlugg.co.uk/posts/incremental-compilation-internals/

177•garyhtou•8h ago•130 comments

Underwater oxygen loss threatens earth's stability, researchers warn

https://scripps.ucsd.edu/news/underwater-oxygen-loss-threatens-earths-stability-researchers-warn

91•littlexsparkee•1h ago•42 comments

Discovering Cryptographic Weaknesses with Claude

https://www.anthropic.com/research/discovering-cryptographic-weaknesses

167•gslin•6h ago•98 comments

Toolcraft

https://toolcraft.sh

34•handfuloflight•3h ago•7 comments

Pacing the frontier

https://www.pacingthefrontier.com/

59•reducesuffering•3h ago•48 comments

Running Kimi K3 on a M1 Max

https://github.com/gavamedia/deltafin

73•tito•2h ago•49 comments

MCP 2026-07-28 Specification: transport going stateless

https://blog.modelcontextprotocol.io/posts/2026-07-28/

95•Eldodi•5h ago•31 comments

Interview with Boris Cherny [video]

https://www.youtube.com/watch?v=qyPCVqFUyDo

33•knighthacker•1d ago•22 comments

Show HN: How far do I have to go to run into 100k people?

https://imjasonh.github.io/playground/population-rays/

32•ImJasonH•5d ago•25 comments

Teach yourself programming in ten years (1998)

https://www.norvig.com/21-days.html

5•vinhnx•2d ago•1 comments

New HIV vaccine shows unprecedented success in preclinical study

https://www.lji.org/news-events/news/post/new-hiv-vaccine-shows-unprecedented-success-in-preclini...

538•codebyaditya•10h ago•233 comments

Una GPS smart watch – Repairable, USB-C charging, developer-friendly

https://unawatch.com/

128•pimterry•9h ago•85 comments

An introduction to formal proof verification and the Curry-Howard Correspondence

https://max-amb.github.io/blog/your_type_checker_may_be_wrong/

17•max-amb•3d ago•3 comments

Kimi Linear: An Expressive, Efficient Attention Architecture (2025)

https://arxiv.org/abs/2510.26692

266•ronfriedhaber•13h ago•115 comments

How Do I Profile eBPF Code?

https://naveensrinivasan.com/posts/2026-07-22-how-do-i-profile-ebpf-code/

105•snaveen•8h ago•6 comments

Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library

https://github.com/reflex-dev/xy

107•apetuskey•8h ago•40 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/

103•rbanffy•8h ago•90 comments

Harmony Explained: Progress Towards a Scientific Theory of Music (2012)

https://arxiv.org/abs/1202.4212

93•surprisetalk•8h ago•77 comments

How to survive boiling water

https://taxa.substack.com/p/how-to-survive-boiling-water

440•cainxinth•4d ago•100 comments

Anthropeum – Where in the world, and when, does this human artifact belong?

https://anthropeum.com/

140•bookofjoe•8h ago•41 comments

Open in hackernews

An introduction to formal proof verification and the Curry-Howard Correspondence

https://max-amb.github.io/blog/your_type_checker_may_be_wrong/

16•max-amb•3d ago

Comments

max-amb•3d ago

Feel free to ask any questions etc. here :)

cyanregiment•56m ago

Oh that's where "currying" comes from?

I thought it was just a delicious way to bind events.

GroksBarnacles•8m ago

Anyone else having the text squeezed to only ~1/3 the page width? On mobile

Edit: Switched to desktop site, and.. that's just how it is