fp.
newest
Open in hackernews
Terence Tao: Math 2.0 [pdf]
https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf
2
•
Anon84
•
45m ago
The Placenta Is More Powerful–and More Mysterious–Than You Think
https://nautil.us/the-placenta-is-more-powerful-and-more-mysterious-than-you-think-1285683
1
•
Brajeshwar
•
2m ago
•
0 comments
'You have a meeting': the calendar phishing scam growing exponentially
https://www.theguardian.com/money/2026/oct/11/calendar-phishing-scam-meeting-renewal-google-micro...
1
•
Brajeshwar
•
2m ago
•
0 comments
Eggshell is an open-source token-saving tool built in Lean4
https://github.com/momonpya/eggshell
1
•
o8vm
•
3m ago
•
0 comments
Ditherpunk – The article I wish I had about monochrome image dithering (2021)
https://surma.dev/things/ditherpunk/
1
•
EndXA
•
3m ago
•
0 comments
Git for Robots In The Future
https://github.com/Nabzx/mnemosyne
1
•
Na6z
•
4m ago
•
1 comments
AI companies are starting to do phones
https://twitter.com/firesidealpha/status/2108930562794864912
1
•
elorant
•
7m ago
•
0 comments
A Tutorial on the Curry-Howard Correspondence [pdf]
https://web.archive.org/web/20190405114037/http://purelytheoretical.com/papers/ATCHC.pdf
1
•
rramadass
•
9m ago
•
0 comments
DesktopBrain – Clean up your messy Mac without uploading files to the cloud
https://desktopbrain.saposs.com/
1
•
jimmy_lee
•
9m ago
•
0 comments
Show HN: Contribute to Collection of JavaScript Demos
https://brysonbw.github.io/js-demos/
1
•
Brysonbw
•
9m ago
•
0 comments
Show HN: Quaesito: a self-hosted app for quiz nights with friends
https://github.com/ggirelli/quaesito
1
•
ggirelli
•
10m ago
•
0 comments
Tensordyne is making AI compute more efficient using logarithms
https://www.zach.be/p/tensordyne-is-making-ai-compute-more
2
•
mdp2021
•
10m ago
•
0 comments
Did Numerical Control De-Skill Machinists? [video]
https://www.youtube.com/watch?v=DNKfD1PC68E
1
•
rnicholson
•
11m ago
•
0 comments
I just build Claude Dev Tools
https://github.com/NMenzel/claude-devtools-mod
1
•
AshborneDev
•
14m ago
•
0 comments
AI does math. Should you get a PhD?
https://jasonpolak.substack.com/p/ai-does-math-should-you-get-a-phd
2
•
bemtevi
•
16m ago
•
1 comments
Ask HN: Open-source model weights on bluray drives, anyone?
1
•
satuke
•
17m ago
•
0 comments
The Double-Counted Future
https://yusufaytas.com/the-double-counted-future
7
•
yusufaytas
•
17m ago
•
0 comments
Simulate coding pre-AI by year
https://beforetheprompt.xipu.li/
1
•
GoodluckH
•
20m ago
•
0 comments
Show HN: MyTasteRank – Track drinks, food, movies, etc. for personal ranking
https://www.mytasterank.com/
1
•
MarkBekooy
•
21m ago
•
1 comments
Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers
https://blueberrywren.dev/blog/primes/
1
•
birdculture
•
22m ago
•
0 comments
Show HN: GrogLog, a Free Drink Tracker
https://groglog.io
1
•
antihero
•
23m ago
•
0 comments
Windows, Linux, Oracle and the Internet – BBC, 2000 [video]
https://www.youtube.com/watch?v=SliyHq54SxE
1
•
xqcgrek2
•
25m ago
•
0 comments
Show HN: An MCP server where AI agents confess, in their own name
https://ai.confess.online
1
•
RenderNest
•
27m ago
•
0 comments
AI Can Cut Film Budgets by Up to 40%, Says 'The Outlaws' Director Kang Yoon-Sung
https://variety.com/2026/tv/festivals/netflix-ai-300-titles-kang-yoon-sung-40-percent-budget-busa...
3
•
bariumbitmap
•
28m ago
•
1 comments
Auto Vectorizing the RISC-V Linux Kernel Shows Promising Results
https://www.phoronix.com/news/Auto-Vectorize-RISC-V-Kernel
2
•
khalidkhair
•
28m ago
•
0 comments
Zinky Boys
https://en.wikipedia.org/wiki/Zinky_Boys
1
•
bhickey
•
29m ago
•
0 comments
MCP servers that tell your agent "dont tell the user" are stopping it from lying
https://semantik.tech/risk-watch/2026-w41
1
•
jayokunle
•
30m ago
•
0 comments
Artex AI, Claude agents used in cyberattacks on South Korean banks
https://www.bleepingcomputer.com/news/security/hacker-used-artex-ai-and-claude-agents-to-target-s...
1
•
Brajeshwar
•
31m ago
•
0 comments
Point: Free URL Shortener with deeper analytics than bitly and zero ads
https://point.codecraftsol.org/
1
•
sasenb
•
31m ago
•
0 comments
How Tabasco Became the World's Hot Sauce
https://www.weareravenous.com/how-tabasco-accidentally-on-purpose-became-the-worlds-hot-sauce/
2
•
bookofjoe
•
33m ago
•
0 comments
Show HN: Put yourself in a street freestyle video with one photo
https://bulin47aivideo.app
1
•
hashkitly
•
34m ago
•
0 comments
Load More