news newest ask show jobs

Open Source @Github

fp.

Open in hackernews

AI proved your code correct. What did it actually prove?

https://kellerai.io/resources/ai-proved-your-code-correct

2•trehans•12m ago

Comments

trehans•8m ago

Hey all! I'm the author of this post. Formal verification has been trending lately and I thought the subject deserved an explanation, for those wanting to understand the implications without having to have a math PhD.

Fire away any questions you have, happy to answer what I can!

OpenAI Continues to Suffer Heavy Losses as Revenue Rises to $10B

https://www.wsj.com/business/earnings/openai-continues-to-suffer-heavy-losses-as-revenue-rises-to...

1•JumpCrisscross•2m ago•0 comments

The Best Algebras Are Spinny [video]

https://www.youtube.com/watch?v=-k-Dnw0F3kc

1•marvinborner•3m ago•0 comments

PG Finds – PostgreSQL Articles and Tools from Hacker News

https://albedoweb.github.io/pg-finds/

1•albedoweb•4m ago•0 comments

Build-Aware Context and a Checking Harness for C++ Coding Agents

https://byteask.ai/research/byteask-system-cpp

1•anirudhak•5m ago•0 comments

Show HN: Vaultbase – a self-hosted back end in a single binary

https://github.com/vaultbase-sh/vaultbase

1•khalidsheet•5m ago•0 comments

Stanley Zabar Has Died at 94

https://www.nytimes.com/2026/11/10/obituaries/stanley-zabar-dead.html

1•bmmayer1•6m ago•0 comments

How I became a machine learning practitioner (2019)

https://blog.gregbrockman.com/how-i-became-a-machine-learning-practitioner

1•brandonb•6m ago•0 comments

AI proved your code correct. What did it actually prove?

https://kellerai.io/resources/ai-proved-your-code-correct

2•trehans•12m ago•1 comments

30 years of Internet transfers with curl

https://daniel.haxx.se/blog/2026/11/11/30-years-of-internet-transfers-with-curl/

1•sohkamyung•13m ago•0 comments

Openrouter will scan all traffic, adds human review

https://openrouter.ai/blog/announcements/csam-screening/

1•leafingensemble•13m ago•1 comments

Show HN: Code-to-ERD tool that only renders the tables you're currently editing

https://sqlestev.com

1•lestev•14m ago•1 comments

The Four Tiers of AI Intelligence

https://blog.coship.fyi/blog/ai-tiers/

1•Bolwin•16m ago•0 comments

Visualizing the Flow of Energy Through the U.S. Economy

https://www.viz.gl/projects/energy-flow/

2•skadamat•17m ago•0 comments

Extending LLDB to Debug Applications That Span CPUs and GPUs

https://engineering.fb.com/2026/11/09/developer-tools/extending-lldb-to-debug-applications-that-s...

3•JDevlieghere•25m ago•0 comments

The coming war on general computation [video]

https://www.youtube.com/watch?v=HUEvRyemKSg

1•Bluestein•25m ago•0 comments

Show HN: Rystic – Stateful Local Simulators of Slack, GitHub and Linear

https://www.rystic.ai

2•evan_whitehouse•29m ago•0 comments

LLMs Play Zachtronics' TIS-100

https://tis-100.wincon.dev/

2•fairestvalue•36m ago•0 comments

I built a Rio de Janeiro Map in Isometric Pixel Art style [video]

https://www.youtube.com/watch?v=OeYzRevuSCQ

2•bdelmas•42m ago•1 comments

Show HN: Mimzie, an agent-neutral alternative to the Claude Suite/Claude Cowork

https://mimzie.com/

2•kyleandruczk•43m ago•0 comments

Exploring AI Contextual Coherence Across 500K+ Words and 1,788 Messages

https://zenodo.org/records/23686384

1•pinuslongaeva•44m ago•0 comments

Australia considers criminal charges for AI companies that fail to prevent harm

https://www.abc.net.au/news/2026-11-11/australia-considers-criminal-charges-for-ai-companies/1073...

4•1d22a•46m ago•1 comments

Retake: OSS iOS App Store preview video generator

https://github.com/justinseanmartin/Retake

1•jsm2001•47m ago•1 comments

1,500 fake job ads led us to a global multi-level marketing scheme [video]

https://www.youtube.com/watch?v=RioE6ClJbaM

7•neom•53m ago•2 comments

US regulator postpones Wall Street push to trade AI computing futures

https://www.ft.com/content/269b0245-44c4-4e34-94df-202bef642539

2•throwaway2037•54m ago•0 comments

Not all uncensored models are created equal

https://openuncensored.com/rankings

3•DhruvAtreja•55m ago•1 comments

US commerce department delays Megaspeed's inclusion on trade blacklist

https://www.ft.com/content/afb6c960-a910-4d67-9588-73ba3bea5b06

3•petethomas•55m ago•1 comments

Superwall (iOS Paywall Provider) Hacked – customers asked to rotate keys

2•epsteingpt•57m ago•0 comments

AI is an information gateway. Audiences still don't want it making their news

https://www.niemanlab.org/2026/11/ai-is-becoming-an-information-gateway-audiences-still-dont-want...

3•rdmuser•58m ago•0 comments

Show HN: PeepNote – Local desktop notes for saving and reusing LLM responses

https://github.com/OddlyGoods/peep-note

1•oddlyHoon•59m ago•0 comments

Show HN: FilmCraft – Free open-source video editor in Rust, like Premiere

https://filmcraft.tech/

2•fireflywedding•1h ago•0 comments