fp.
news
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
Load More
r721•4h ago