frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

https://github.com/openai/math/tree/main/preprints
37•tootie•1h ago

Comments

hoppyhoppy2•49m ago
Already posted at https://news.ycombinator.com/item?id=49984923
dang•34m ago
Comments moved thither. Thanks!

Sharing AI progress in mathematics

https://openai.com/index/sharing-ai-progress-in-mathematics/
301•OfficialTurkey•2h ago•262 comments

Mistral Large 4

https://mistral.ai/news/mistral-large-4/\
1561•Philpax•11h ago•955 comments

Decisions API is in public beta

https://developers.openai.com/api/docs/guides/decisions
114•chiefstorm•3h ago•46 comments

AnyPS5: Port PS5 binaries to PC without emulation (87% system libraries mapped)

https://github.com/boykopovar/AnyPS5
21•Fe2O3•1h ago•3 comments

Integer multiplication below n log n

https://github.com/openai/math/tree/main/preprints/Integer-multiplication-below-n-log-n-September...
27•E-Reverance•1h ago•14 comments

Penguin Mail – open-source Rust email client for Linux with AI

https://penguin-mail.com/
38•kavourias•2h ago•11 comments

EmbeddingGemma 2: An open, lightweight multimodal embedding model

https://blog.google/innovation-and-ai/technology/developers-tools/embeddinggemma-2/
203•ilreb•8h ago•28 comments

OpenAI releases 722 math manuscripts

https://github.com/openai/math/blob/main/CONTENTS.md
7•jumploops•55m ago•0 comments

Nobel Prize in Physics 2026: Francis Halzen

https://www.nobelprize.org/prizes/physics/2026/
517•solarist•14h ago•171 comments

OpenTPU – An open-source AI accelerator, developed by AI

https://github.com/FeSens/openTPU
217•fsbonetto•8h ago•281 comments

When random is not actually random enough

https://ersc.io/blog/when-random-isnt-random-enough
20•steveklabnik•4h ago•5 comments

Vibecoding Photoshop: Time and pressure

https://andreklein.net/vibecoding-photoshop-time-and-pressure/
45•samtheDamned•3h ago•46 comments

Claude Code’s suggested message feature: I think the real customer is the model

https://www.zohaib.cc/blog/smartest-claude-code-feature
80•zed_labs_dev•6h ago•43 comments

UniEvo-VL: Self-Distillation Training for Multimodal Model Self-Improvement

https://arxiv.org/abs/2609.38721
7•gmays•1h ago•0 comments

Paramount Skydance has completed its $111B merger with Warner Bros. Discovery

https://arstechnica.com/tech-policy/2026/10/paramount-completes-111b-warner-merger-creating-skyda...
160•Mgtyalx•4h ago•237 comments

LLMs may have helped my RSI

https://vaughanhilts.me/2026/10/05/llms-immensely-helped-my-rsi.html
25•vaughands•21h ago•14 comments

The Query Transformation Pipeline

https://readyset.io/blog/how-readyset-rewrites-your-sql-inside-the-query-transformation-pipeline
9•gvsg-rs•2h ago•0 comments

State of Devs 2026 survey results: developers are exhausted

https://2026.stateofdevs.com/en-US/
27•sgdesign•1h ago•8 comments

How Fast is Python 3.15?

https://blog.miguelgrinberg.com/post/how-fast-is-python-3-15
15•Qem•2h ago•7 comments

Ask HN: Are there AI models for generating sounds based on a text and reference?

17•onemiketwelve•1d ago•4 comments

Utah to let AI examine patients and prescribe medication without human oversight

https://www.techspot.com/news/114111-utah-become-first-state-ai-examine-patients-prescribe.html
56•healsdata•7h ago•84 comments

Stanford scientists found a way to regrow cartilage and stop arthritis

https://www.sciencedaily.com/releases/2026/10/261005011249.htm
20•kelnos•42m ago•2 comments

Benchmark in Milliseconds

https://matklad.github.io/2026/10/05/benchmark-milliseconds.html
126•surprisetalk•1d ago•36 comments

California closed the Montana license plate loophole

https://www.thedrive.com/news/heres-how-california-closed-the-montana-license-plate-loophole
46•speckx•7h ago•82 comments

What's Earth's dominant species by mass?

https://signoregalilei.com/2026/09/27/whats-earths-dominant-species-by-mass/
135•surprisetalk•11h ago•87 comments

OpenSSH 10.6

https://www.openssh.org/releasenotes.html#10.6
81•torcete•3h ago•17 comments

Gleam doesn't compile to Erlang source anymore

https://gleam.run/news/gleam-doesnt-compile-to-erlang-source-anymore/
292•ingve•16h ago•122 comments

Berthd

https://berthd.app/
44•handfuloflight•5h ago•62 comments

Ask HN: Why is Ask HN only showing me 14 posts?

31•Gooblebrai•3h ago•31 comments

South Korea says AI agents appear to have been used to hack the country's banks

https://www.reuters.com/world/south-koreas-lee-says-ai-appears-have-been-used-bank-hacks-2026-10-06/
9•thoughtpeddler•46m ago•1 comments