frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Principia Mathematica is modern and insightful

https://okmij.org/ftp/Computation/Impressions/PrincipiaMathematica.html
27•matt_d•1h ago

Comments

glimshe•41m ago
If you can read this book cover-to-cover, you're an absolute hero. Sometimes I wonder if they inserted a big logical error in the middle just to troll people under the assumption nobody would bother to read it.
gumby•34m ago
You mean you don’t have a framed, signed, bug-bounty cheque from Alfred North Whitehead on your wall??

More seriously, there is indeed a huge logical error at the heart of the whole enterprise but it was not discovered until much later by Kurt Gödel.

voxadam•9m ago
>there is indeed a huge logical error at the heart of the whole enterprise but it was not discovered until much later by Kurt Gödel.

Which leads us to our next impenetrable book, Gödel, Escher, Bach by Douglas Hofstadter.

kjellsbells•3m ago
I used to wonder how likely it was that the printers made some typesetting errors. Who among us could, say, type a tbousand pages of APL symbols without introducing a bug?

DeepSeek V4 Pro 0813

https://openrouter.ai/deepseek/deepseek-v4-pro-0813
724•explosion-s•9h ago•274 comments

Delta

https://zed.dev/blog/introducing-delta
378•khy•6h ago•126 comments

Tailscale Traces Database Corruption to 16y/o SQLite WAL-Reset Bug

https://tailscale.com/blog/sqlite-wal-reset-bug
785•ropbear•10h ago•140 comments

Happy 45th Birthday to the IBM PC and Model F/XT

https://sharktastica.co.uk/articles/pc-fxt-45
20•tart-lemonade•1h ago•1 comments

Qwen3.8-2.4T

https://huggingface.co/Qwen/Qwen3.8-2.4T-A95B
486•Philpax•10h ago•104 comments

What's New in Flutter 3.47

https://flutter.dev/blog/whats-new-in-flutter-3-47
27•gumby271•1h ago•17 comments

Principia Mathematica is modern and insightful

https://okmij.org/ftp/Computation/Impressions/PrincipiaMathematica.html
27•matt_d•1h ago•5 comments

Show HN: Ballet – Workflow automation that writes integrations against any API

https://www.ballet.dev/
12•danielkimber•1h ago•1 comments

Why Target Common Lisp for Code Generation?

http://funcall.blogspot.com/2026/08/why-vibe-code-in-lisp.html
25•oumua_don17•16h ago•22 comments

2026 Eclipse Webcams

https://jonty.github.io/2026_eclipse_webcams/
457•zoenolan•13h ago•124 comments

Tim King, AmigaDOS developer, has died

https://amiga-news.de/en/news/AN-2026-08-00070-EN.html
234•doener•11h ago•29 comments

Build Wide, Ship Narrow

https://adapt.com/blog/build-wide-ship-narrow
13•ashumz•1h ago•0 comments

HTML over WebSockets: real-time SPAs with barely any JavaScript

https://en.andros.dev/blog/ef4968f5/html-over-websockets-real-time-spas-with-barely-any-javascript/
142•redbell•8h ago•107 comments

Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials

https://discoveredmaterials.com/research/
113•advaith08•17h ago•21 comments

Grok 4.6

https://x.ai/news/grok-4-6
393•iLuddite•9h ago•393 comments

Someone is running mass vulnerability scans, spoofing AI bots like ClaudeBot

https://knownagents.com/insights
228•gavinhking•11h ago•165 comments

uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook

https://digitalescapetools.com/2026/08/ublock-origin-stops-chasing-facebook-ads.html
291•Markoff•13h ago•407 comments

Why tiny JPEGs look different in Chrome

https://guillaumetech.github.io/posts/jpg-scaling-chrome/
248•gutechh•11h ago•59 comments

Pixel Watch 5

https://blog.google/products-and-platforms/devices/pixel/pixel-watch-5/
97•ortusdux•8h ago•184 comments

A Tale of Dynamic Programming (2022)

https://iagoleal.com/posts/dynamic-programming/
69•Brajeshwar•3d ago•3 comments

Process as a Proxy for Motivation

https://bengodfrey.dev/blog/process/
21•sudo-bendg•3h ago•1 comments

Reflex (YC W23) Is hiring Growth and GTM Roles

https://www.ycombinator.com/companies/reflex/jobs/71x5GFb-growth-engineer
1•apetuskey•8h ago

Breaking the WAL

https://antithesis.com/blog/2026/wal-reset-bug/
52•wwilson•5h ago•32 comments

I built a browser-native SysEx librarian for 80s/90s synthesizers

https://bipluk.com/
8•halfradaition•2h ago•5 comments

Program images and portable Scheme back ends for Jolt

https://yogthos.net/posts/2026-08-07-portable-jolt.html
4•yogthos•4d ago•0 comments

Debugging Information for Inlined Functions

https://lwn.net/Articles/1083985/
19•pykello•3d ago•0 comments

Shade Map

https://shademap.app
142•fredley•12h ago•41 comments

Grok 4.6 scores 61 on the Artificial Analysis Intelligence Index

https://artificialanalysis.ai/articles/grok-4-6-benchmarks-and-analysis
315•wertyk•8h ago•317 comments

Lovable raises $400M Series C

https://lovable.dev/blog/series-c
91•thoughtpeddler•8h ago•85 comments

AI is removing the middle class of software engineering?

https://blog.florianherrengt.com/ai-removing-middle-class-software-engineering.html
706•florianherrengt•11h ago•638 comments