frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Check out INVAR's new case study

https://www.invarhq.com/proof.html
1•vicngan05•47m ago
Try out! See if you can find the hidden case, and see what INVAR can do!

"No way to prevent this" say users of only language where this regularly happens

https://xeiaso.net/shitposts/no-way-to-prevent-this/memory-safety/CVE-2026-92392/
1•xena•1m ago•0 comments

AxiomCode Graph, Reducing coding agent rework with formal methods

https://github.com/AxiomCodeAI/axiomcodegraph
1•HaoleiZ•2m ago•1 comments

I Deleted 168,000 Lines of Comments. My AI Agent Didn't Notice

https://openstation.blog/2026/10/13/i-deleted-168000-lines-of-comments-my-ai-agent-didnt-notice/
1•epeicher•4m ago•0 comments

Repairing the iPhone Duo's folding screen costs as much as a new iPhone

https://www.theverge.com/tech/1011245/iphone-duo-repair-costs-applecare
2•mikelgan•4m ago•0 comments

PGO or not PGO this is the dilemma. Step 2

https://www.percona.com/blog/pgo-or-not-pgo-this-is-the-dilemma-step-2/
1•hnp9j9qtda•5m ago•0 comments

Show HN: Mixdog – stretch your Claude/ChatGPT subscription with 63% fewer tokens

https://github.com/tribgames/mixdog
1•tempest1033•5m ago•0 comments

The Emperor Pelican Has No Clothes

https://arcfu.com/post/the-emperor-pelican-has-no-clothes/
1•pcwelder•5m ago•0 comments

Anthropic warns models 'months away' from self-replication on smart devices

https://www.theguardian.com/technology/2026/oct/13/anthropic-ai-replicators-warning
2•bfmalky•7m ago•2 comments

Better HTTP/1 connection reuse in Go 1.27

https://go.dev/blog/http-connection-reuse
1•allddd•9m ago•0 comments

Google is silently linking your phone number across all signed-in accounts

https://www.androidauthority.com/google-auto-phone-number-verification-android-3723117/
3•Brajeshwar•10m ago•0 comments

Grace Hopper Conference canceled two weeks before start due to lack of funds

https://www.sfgate.com/bayarea/article/california-tech-conference-canceled-22475266.php
2•DGAP•10m ago•0 comments

GitHub's model for secret detection: Finding more secrets with less noise

https://github.blog/ai-and-ml/githubs-model-for-secret-detection-finding-more-secrets-with-less-n...
1•Brajeshwar•10m ago•0 comments

Package managers have an integrity problem

https://blog.trailofbits.com/2026/10/14/package-managers-have-an-integrity-problem/
1•keeganryan•11m ago•0 comments

EU citizens' private messages are run through Palantir's software

https://arvidgrange.substack.com/p/investigation-eu-citizens-private
5•ljahier•12m ago•1 comments

Online Communities Rarely Focus on Politics, Many Say It Should Stay That Way

https://www.pewresearch.org/internet/2026/10/14/online-communities-rarely-focus-on-politics-and-m...
3•iamnothere•13m ago•1 comments

The Carpenter

https://www.zachdaniel.dev/p/the-carpenter
2•mike1o1•14m ago•0 comments

Apple Plans to Block Hundreds of Programmatic Data Companies from iOS

https://www.adexchanger.com/privacy/apple-has-far-reaching-plans-to-block-hundreds-of-programmati...
2•bookofjoe•14m ago•0 comments

.kkrieger and .werkkzeug3

https://github.com/jaromil/kkrieger-werkkzeug3
2•ai_critic•14m ago•0 comments

ICE Planning $100M 'Nightmare' Domestic Spy Program

https://prospect.org/2026/10/14/ice-planning-nightmare-domestic-spy-program-ero-one/
1•bhrlady•15m ago•0 comments

A C++ Trick Question

https://greenlightning.eu/programming/cpp-trick-question/
1•greenlightning•15m ago•0 comments

Show HN: Hailab Fail-Closed and RAM Zeroization Engine in Python

https://waleedmubarak.substack.com/p/building-fail-closed-and-deterministic
1•waly163•15m ago•0 comments

Spreading Yourself Too Thin

https://volt-cli.dev/blog/spreading-yourself-too-thin/
1•Juvination•16m ago•1 comments

Pareto Frontier Speech Recognition for CPU, Mobile and Edge

https://futo.tech/blog/asr4all
1•deepsquirrelnet•16m ago•1 comments

OpenAI retiring GPT-4o in Jan 2027

https://help.openai.com/en/articles/20001600-migrating-from-gpt-4x-to-gpt-6-luna
1•HyperL0gi•16m ago•0 comments

Omarchy Is Backed by the Oligarchy

https://omarchy.org/patrons/
1•hmokiguess•17m ago•0 comments

Rust-Djinn: The Fastest (and Safest) Gzip Decompressor Is 300 Lines of Spec

https://henniger.dev/post/djinn/
1•sihe•18m ago•0 comments

Fewer then 5 innovations could return 1920s era growth

https://codyfinke.substack.com/p/fewer-then-5-innovations-could-return
1•paulpauper•19m ago•0 comments

Inconsistencies in MCP support across LLMs

https://www.polytomic.com/blog-posts/the-mcp-result-token-trap
2•gms•20m ago•1 comments

Reasons the AI-Apocalypse May Never Arrive

https://mon0.substack.com/p/7-reasons-the-ai-apocalypse-may-never
1•paulpauper•21m ago•0 comments

Show HN: OWASP Finbot Defended with Tenuo

https://github.com/tenuo-ai/finbot-ctf
1•daniel_tenuo•21m ago•0 comments