fp.
newest
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
Load More