frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Gap in Mochizuki's proof of ABC confirmed by Lean

https://twitter.com/FumiharuKato/status/2078017230537892207
25•ogogmad•5h ago

Comments

r721•4h ago
/r/math/ discussion: https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo...

Transcribe.cpp

https://workshop.cjpais.com/projects/transcribe-cpp
204•sebjones•3h ago•35 comments

Speech Recognition and TTS in less than 500kb

https://github.com/moonshine-ai/moonshine/tree/main/micro
333•petewarden•4d ago•35 comments

Better and Cheaper Than IPTV

https://github.com/stupside/castor
70•xonery•3h ago•21 comments

Classic Amiga titles, free to download

https://amigafreeware.downer.tech/
76•doener•6h ago•9 comments

Mathematicians still don't know the fastest way to multiply numbers

https://www.scientificamerican.com/article/mathematicians-still-dont-know-the-fastest-way-to-mult...
30•beardyw•5d ago•6 comments

LLM-Integrated Multivariable Calculus Course

https://calculus.academa.ai/
8•sinaatalay•1h ago•5 comments

If You Build It, They Will Come

https://www.benlandautaylor.com/p/if-you-build-it-they-will-come
317•barry-cotter•12h ago•116 comments

GPT-5.6 used a prompt to close a 30-year gap in convex optimization

https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/
521•mbustamanter•15h ago•332 comments

Mayor Mamdani Says Landlords Can't Use AI Images to Advertise

https://petapixel.com/2026/07/16/mayor-mamdani-says-landlords-cant-secretly-use-ai-images-to-adve...
318•gnabgib•5h ago•155 comments

A Visual Catalog of Retro Macintosh Software

https://www.marciot.com/mac68k-visual-catalog/
10•zdw•1w ago•1 comments

FDA approves new kind of cholesterol pill

https://www.fda.gov/news-events/press-announcements/fda-approves-first-oral-pcsk9-inhibitor-lower...
7•mgh2•1h ago•1 comments

I'm Making Strandfall, a Solarpunk Orienteering Larp

https://mssv.net/2026/04/29/im-making-strandfall-a-solarpunk-orienteering-larp/
112•surprisetalk•5d ago•18 comments

AI Mania Is Eviscerating Global Decision-Making

https://ludic.mataroa.blog/blog/ai-mania-is-eviscerating-global-decision-making/#fnref:3
58•subset•2h ago•17 comments

Harness Engineering

https://github.com/lopopolo/harness-engineering
43•handfuloflight•4h ago•19 comments

Hardcore IndieWeb: Run your own website 100% independently for only $0.01/day

https://www.neatnik.net/hardcore-indieweb
102•cdrnsf•6h ago•76 comments

Is this the end of the once-mighty GoPro?

https://amateurphotographer.com/latest/photo-news/going-going-gone-is-this-the-end-of-the-once-mi...
205•aanet•4d ago•423 comments

Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help?

https://charlesazam.com/blog/fable-5-gpt-5-6-sol-goal/
224•couAUIA•17h ago•107 comments

Co-evolution of self-replication and function in a digital primordial soup

https://arxiv.org/abs/2607.09211
35•vicgalle_•6h ago•5 comments

Gleam Is Now on Tangled

https://tangled.org/gleam.run/gleam
220•nerdypepper•12h ago•139 comments

Real-Time LuaTeX: Recompiling Large Documents in 1ms [pdf]

https://www.tug.org/tug2026/preprints/lode-realtime.pdf
45•amichail•5h ago•8 comments

LG monitors silently install software through Windows Update without consent

https://videocardz.com/newz/lg-monitors-silently-install-software-through-windows-update-without-...
1051•baranul•17h ago•530 comments

Developing an Intuitive Sense of Scale

https://magworld.pw
15•vismit2000•3d ago•2 comments

Our Approach to Bioresilience: Isomorphic Labs and Google DeepMind

https://deepmind.google/blog/our-approach-to-bioresilience/
74•bookofjoe•12h ago•23 comments

Elixir-lang.org has a new design

https://elixir-lang.org/
186•bbg2401•12h ago•116 comments

Setting up your spare Mac for Claude Code to control, a step-by-step guide

https://ykdojo.github.io/claude-controls-mac/
195•ykev•11h ago•137 comments

Show HN: Q3Edit – Edit and play Quake 3 maps in the browser

https://q3edit.com
70•drdator•12h ago•13 comments

Judge a book by its first pages

https://uncovered.ink
53•bookofjoe•6h ago•38 comments

A Second-Grade Teacher Revived a Beloved Video Game

https://www.nytimes.com/2026/07/13/style/backyard-baseball-video-game-teacher.html
74•danso•5d ago•27 comments

ECHR confirms ethical veganism is a protected philosophical belief

https://veganfta.com/articles/2026/07/17/european-court-confirms-ethical-veganism-is-a-protected-...
19•salutis•4h ago•11 comments

Codex Resets

https://codex-resets.com/
102•denysvitali•4h ago•86 comments