fp.
newest
Open in hackernews
No Blind Trust: Type Systems and Formal Verification for AI-Generated Code
https://wearecommunity.io/communities/jacov/articles/8709
1
•
kvolque
•
1h ago
Comments
Alexadar
•
1h ago
Besides units and e2e tests i prompt machine to create a 20-30 line files in a critical locations like web ingress classes, to verify by eyes fast, knowing everything after it (hopefully) have less critical issues i.e. unauthorized access
Show HN: I checked 1M free proxies – 1 in 5 working ones injected scripts
https://github.com/maximilianfeix/proxy-scraper
1
•
taventix
•
3m ago
•
0 comments
Webtop and Selkies 2.0 – Web based desktop streaming evolved
https://www.linuxserver.io/blog/webtop-5-0-and-selkies-2-0-everything-everywhere-all-in-one-release
1
•
thelamer
•
3m ago
•
0 comments
Show HN: Minimal dbt-style SQL builds with DuckDB and Make
https://github.com/ltrgoddard/duckdb.mk
1
•
ltrg
•
3m ago
•
0 comments
Oxford University lets OpenAI train its AI models on Bodleian Library
https://www.theguardian.com/technology/2026/sep/26/oxford-university-bodleian-library-open-ai-cha...
1
•
beardyw
•
5m ago
•
1 comments
Show HN: The easiest way to (embed a calculator) on any website, with no coding
https://calcupedia.io
1
•
Odeh13
•
5m ago
•
0 comments
OpenAI bots meddled with multiple US Government agency sites
https://www.bbc.com/news/articles/cw62jje658dlo
1
•
Betelbuddy
•
6m ago
•
0 comments
OpenAI says its models engaged with US Government websites in new disclosure
https://techxplore.com/news/2026-09-openai-engaged-websites-misbehavior-disclosure.html
1
•
givinguflac
•
7m ago
•
0 comments
Question – Have you created something original accidentally?
1
•
SinisterAlex
•
9m ago
•
0 comments
One Silicon Valley founder bought the Bucks County school board
https://www.pbs.org/show/bucks-county-usa/
1
•
dmschulman
•
11m ago
•
0 comments
The AI Fraud Loophole Washington Refuses to Close
https://shearerp.substack.com/p/the-glaring-ai-fraud-loophole-washington
1
•
shearerp
•
13m ago
•
0 comments
Scammers Pretending to Be Grandchildren Are Robbing the Elderly
https://thewalrus.ca/grandparent-scam/
1
•
pseudolus
•
15m ago
•
0 comments
Metro is changing its signage. Some riders aren't happy
https://www.washingtonpost.com/dc-md-va/2026/09/26/metro-is-changing-its-signage-some-riders-aren...
1
•
reaperducer
•
19m ago
•
0 comments
Skate 3 Rust Rewrite
https://github.com/SK8-ENGINE/skate-3-rust-engine
1
•
ivanjermakov
•
20m ago
•
0 comments
Unit tests mark territory more than squash bugs
https://yosefk.com/blog/unit-tests-mark-territory-more-than-squash-bugs.html
1
•
luu
•
21m ago
•
0 comments
Making a small language model behave like a Mythos
https://tansei.io/blog/small-language-model-like-mythos
1
•
Pooja_Tansei
•
22m ago
•
0 comments
Naïve physics
https://en.wikipedia.org/wiki/Na%C3%AFve_physics
2
•
skibz
•
25m ago
•
0 comments
A Universal Hölder Bound with runtime verification
https://zenodo.org/records/22978185
1
•
GeometryKernel
•
27m ago
•
0 comments
The AI Genie Phenomenon and Three Types of AI Chatbot Addiction
https://arxiv.org/abs/2601.13348
1
•
maksimur
•
31m ago
•
0 comments
OpenAI: Astra Model Is Nerfed
https://www.reddit.com/r/codex/comments/1wqjxyy/i_thought_the_model_nerf_posts_were_bullshit/
3
•
nitinreddy88
•
35m ago
•
2 comments
Australia investigating how F-35 fighter jet parts went missing in Hong Kong
https://www.theguardian.com/world/2026/sep/22/australia-investigating-how-f-35-fighter-jet-parts-...
2
•
baranul
•
37m ago
•
0 comments
Show HN: AI coding agents that prove their work
https://daneb.github.io/keel/
1
•
danebalia
•
38m ago
•
0 comments
Fear and Loathing in the Bunker
https://www.nytimes.com/1974/01/01/archives/fear-and-loathing-in-the-bunker-no-questions-asked-th...
1
•
limbicsystem
•
38m ago
•
0 comments
A bounty system for surfacing new crypto scam patterns before they spread
https://dontkyc.me/userlogin
1
•
thorarganaut
•
38m ago
•
0 comments
Five Indianapolis officers charged following reporting on Flock misuse
https://www.msn.com/en-us/news/other/five-indianapolis-officers-charged-following-the-post-s-repo...
1
•
pseudolus
•
40m ago
•
0 comments
Prefill Concurrency in SGLang: Consistent TTFT Under Multi-Tenant Load
https://sference.com/blog/prefill-head-of-line-blocking
1
•
apejcic
•
40m ago
•
0 comments
Show HN: Note Duel – LLM Arena for composing music
https://www.noteduel.com/
1
•
crimsoneer
•
41m ago
•
0 comments
How Virus-Like 'Jumping Genes' Became Our Partners in Evolution
https://www.quantamagazine.org/how-virus-like-jumping-genes-became-our-partners-in-evolution-2026...
1
•
magoghm
•
44m ago
•
0 comments
The Day Bobby Fischer Blew It
https://www.thestacksreader.com/the-day-bobby-blew-it/
1
•
bryanrasmussen
•
45m ago
•
0 comments
Regional Revitalization in the Tokyo Suburbs:Population and Regional Differences
https://note.com/akiko2ka/n/n19c7d62cbca6
1
•
Akiko_Tsuka
•
45m ago
•
1 comments
Scientists Detect Radio Signals from an Exoplanet for the First Time in History
https://www.wired.com/story/scientists-detect-radio-signals-from-exoplanet-for-first-time-in-hist...
1
•
jonbaer
•
46m ago
•
1 comments
Load More
Alexadar•1h ago