frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

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