frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Discovering Dennis Ritchie's Lost Dissertation (2020)

https://computerhistory.org/blog/discovering-dennis-ritchies-lost-dissertation/
2•theanonymousone•54m ago

Comments

pmdulaney•22m ago
The author (David C. Brock) uses and defines the word "decidable". There exist, it has been proven, mathematical statements whose truth or falsity cannot be determined. That is, they are non-decidable.

What a useful notion to bear in mind, beyond the scope of mathematics! I think the next time I find myself in a dispute over a fine point of politics I shall say: "Perhaps we can agree that the matter is non-decidable".

theanonymousone•17m ago
Is it not the same thing as/very similar to falsifiability in philosophy of science?

NonCam – iPhones Without Cameras

https://noncam.com/?v=0b3b97fa6688
1•davidhariri•58s ago•1 comments

The Palomar Lights

https://comics.phillyharper.com/
1•tardismechanic•1m ago•0 comments

Show HN: I made a 3D pose maker for artists

https://setpose.com/
2•augustvdv•2m ago•0 comments

AI Makes Adding Features Faster – So Why Not Add Just One More?

https://grith.ai/blog/just-one-more-feature
1•edf13•3m ago•0 comments

Biosciences is growing chickens in a 3D-printed container

https://www.technologyreview.com/2026/05/19/1137471/colossal-biosciences-is-growing-chickens-in-a...
1•Brajeshwar•3m ago•0 comments

Show HN: Burn – find where your Kubernetes cluster is burning money

https://github.com/tanrikuluozlem/burn
1•OzlemT•4m ago•0 comments

Ask HN: Go all in on startup idea, or stay W2

1•Mnexium•4m ago•0 comments

MagesticAI – Spec-driven development with AI agents

https://github.com/dataseeek/MagesticAI
1•dataseek•4m ago•0 comments

The Genesis of TerraMorphz

https://iryanbell.com/posts/2026-05-18-terramorphz-genesis
1•iryanbell•5m ago•0 comments

Show HN: FocusLive – Camera-free 3D body doubling using Supabase Realtime

https://www.focuslive.app/realtime
1•coder97•5m ago•0 comments

Tokenomics: The 62.5-minute rule for Claude's cache

https://skids.dev/blog/anthropic-cache-tokenomics/
1•gmays•6m ago•0 comments

A Rant on Owning a Modern EV

https://chuck.is/ev/
2•speckx•8m ago•0 comments

Deceptive airline lookalike domains that monetize using affiliate redirects

https://www.norn-labs.com/blog/scammy-airline-websites
1•jdup7•8m ago•0 comments

Reverse-engineering MySQL 8.4's GTID_TAGGED_LOG_EVENT

https://readyset.io/blog/replication-internals-decoding-the-mysql-binary-log-part-11-gtid_tagged_...
1•marceloaltmann•9m ago•1 comments

The CLOUD Act gap in Canadian defence infrastructure

https://northfleet.tech/field-notes/cloud-act-canadian-defence
2•occam65•9m ago•0 comments

Fortnite Returns to the App Store Worldwide

https://www.macrumors.com/2026/05/19/fortnite-returns-to-app-store-worldwide/
2•tosh•9m ago•0 comments

Radshield: Software Radiation Protection for Commodity Hardware in Space

https://dl.acm.org/doi/10.1145/3760250.3762218
2•blakepelton•10m ago•1 comments

Context improves AI coding agent instruction-following by 49% (GitHub and paper)

https://github.com/brief-hq/dcbench
2•hank9•13m ago•1 comments

The Super Tiny Compiler, but in Ada

https://github.com/tomekw/stcc
2•tomekw•14m ago•0 comments

Why GPU compilers are MORE important in the agentic era

https://scale-lang.com/posts/2026-05-19-the-brain-still-needs-the-hammer
3•msond•14m ago•0 comments

Neoclassical C++: segmented iterators revisited (1)

https://boostedcpp.net/2026/05/18/neoclassical-c-segmented-iterators-revisited-1/
2•igaztanaga•16m ago•0 comments

Detecting CI/CD supply chain attacks with canary credentials

https://tracebit.com/blog/detecting-cicd-supply-chain-attacks-with-canary-credentials
2•tracebit•17m ago•0 comments

The <Noscript> Element as a Trap

https://hacktivis.me/articles/no-noscript-element
1•speckx•18m ago•0 comments

Mythos: Given Enough Inference, All Bugs Are Shallow

https://corgea.com/blog/given-enough-inference-all-bugs-all-shallow
2•asadeddin•19m ago•0 comments

What Is the Michelin Bib Gourmand Award?

https://guide.michelin.com/en/article/features/the-bib-gourmand
1•teleforce•20m ago•0 comments

GitHub will start paying some bug bounty hunters in swag instead of cash

https://thenewstack.io/github-bug-bounty-ai-slop/
1•Brajeshwar•21m ago•0 comments

Show HN: VibeSchema DBML to PNG – instant diagram PNG from DBML schemas

https://vibe-schema.com/dbml-to-png
3•SsgMshdPotatoes•21m ago•1 comments

macOS Secure Enclave can replace long-lived AWS access keys

https://credctl.com/blog/secure-enclave-deep-dive/
4•matzhouse•22m ago•0 comments

We cut Claude's token usage 79% by redesigning our CLI for agents

https://www.infracost.io/resources/blog/we-cut-claude-s-token-usage-79-by-redesigning-our-cli-for...
11•glenngillen•22m ago•3 comments

Pain of Manual Memory Forensics

2•purplesecurity•22m ago•0 comments