fp.
newest
Open in hackernews
Aristotle: IMO-Level Automated Theorem Proving
https://arxiv.org/abs/2510.01346
3
•
jasondavies
•
1h ago
Show HN: A tiny SaaS to fix a tiny but painful problem – logos
https://logosmith.dev/
1
•
gadgetyouin
•
2m ago
•
0 comments
LLMs, .400 Hitters, and the Future of Work
https://paulkedrosky.com/llms-shifting-baselines-and-400-hitters/
1
•
timbenz
•
3m ago
•
0 comments
House where Marx wrote Das Kapital up for sale
https://www.dutchnews.nl/2025/10/house-in-brabant-where-marx-wrote-das-kapital-up-for-sale/
1
•
riccardomc
•
3m ago
•
0 comments
Why Are H-1B Visas Suddenly a Big Deal? One Reason: Tech Jobs Disappeared
https://www.nytimes.com/2025/10/03/business/h1b-visas-tech-jobs-layoffs.html
1
•
strict9
•
4m ago
•
1 comments
Reimplementing PKCS#11 Module
https://blog.ubavic.rs/17/
1
•
ubavic
•
6m ago
•
0 comments
Oracle to cut 30-40 percent of the staff
https://www.teamblind.com/post/holy-fuck-81mz77ae
2
•
taubek
•
6m ago
•
0 comments
The First Descendant Director on the Issues with the Game and Fixing Them
https://www.animenewsnetwork.com/interview/2025-09-27/the-first-descendant-director-on-the-issues...
1
•
PaulHoule
•
12m ago
•
0 comments
Reasons to Not Use ChatGPT
https://stallman.org/chatgpt.html
3
•
sonderotis
•
13m ago
•
3 comments
Meet The Man That Solved Cicada 3301 Challenge! [video]
https://www.youtube.com/watch?v=Wt8rldAjzGQ
1
•
tagyro
•
13m ago
•
0 comments
The End of Tt-Rss.org
https://community.tt-rss.org/t/the-end-of-tt-rss-org/7164
2
•
Bolderman
•
15m ago
•
0 comments
Pointer leaks through pointer-keyed data structures
https://googleprojectzero.blogspot.com/2025/09/pointer-leaks-through-pointer-keyed.html
1
•
todsacerdoti
•
16m ago
•
0 comments
Stupidology: The Outsourcing of Judgement
https://www.nplusonemag.com/issue-51/politics/stupidology/
1
•
cratermoon
•
17m ago
•
0 comments
Who wants to watch an AI actor read an AI script?
https://newslttrs.com/who-wants-to-watch-an-ai-actor-read-an-ai-script/
1
•
spzb
•
20m ago
•
0 comments
Employees must wash hands before returning to work
https://www.employeesmustwashhandsbeforereturningtowork.com/
1
•
santiviquez
•
21m ago
•
0 comments
TV Simulator Says
https://tvsimulator.com/says/
2
•
gnabgib
•
22m ago
•
0 comments
PEP 810 – Explicit lazy imports
https://pep-previews--4622.org.readthedocs.build/pep-0810/
3
•
azhenley
•
27m ago
•
0 comments
CometJacking: One Click Can Turn Perplexity's Comet AI Browser Against You
https://layerxsecurity.com/blog/cometjacking-how-one-click-can-turn-perplexitys-comet-ai-browser-...
2
•
bubblehack3r
•
31m ago
•
0 comments
Hume AI Octave 2: new text-to-speech model, 11+ languages
https://www.hume.ai/blog/octave-2-launch
1
•
do-while
•
32m ago
•
0 comments
China Pushes Trump to Drop Curbs as It Dangles Investment Pledge
https://www.bloomberg.com/news/articles/2025-10-03/china-pushes-trump-to-drop-curbs-as-it-dangles...
1
•
eatonphil
•
33m ago
•
1 comments
Moravec's Paradox
https://angadh.com/moravec-s-paradox
1
•
naves
•
34m ago
•
0 comments
Parachute is full of holes – and that's a good thing
https://www.youtube.com/watch?v=6rrDW6YIbXI
2
•
lifeisstillgood
•
38m ago
•
0 comments
The AI bubble is 17 times the size of the dot-com frenzy, analyst says
https://www.marketwatch.com/story/the-ai-bubble-is-17-times-the-size-of-the-dot-com-frenzy-this-a...
13
•
CharlesW
•
38m ago
•
1 comments
ICE Wants to Build Out a 24/7 Social Media Surveillance Team
https://www.wired.com/story/ice-social-media-surveillance-24-7-contract/
3
•
loteck
•
39m ago
•
0 comments
Show HN: Turn Instagram/YouTube vids or blogs into day-by-day travel itinerary
https://mapyourvoyage.com/app/build-itinerary-from-travel-content
1
•
shivam-myv
•
46m ago
•
0 comments
Better data infrastructure is needed for the AI era
https://tracto.ai/blog/better-data-infra
4
•
hmikebur
•
46m ago
•
0 comments
Multigres: Horizontally scalable multi-tenant Postgres architecture
https://multigres.com/
2
•
dotmanish
•
47m ago
•
0 comments
Pentagon decrees warfighters don't need 'frequent' cybersecurity training
https://www.theregister.com/2025/10/02/pentagon_relaxes_military_cybersecurity_training/
3
•
rntn
•
49m ago
•
3 comments
Why Understanding Customer Behavior Matters in High-Value Wealth Management
1
•
rishi02525
•
49m ago
•
0 comments
Aaaan.net
http://aaaan.net
1
•
surprisetalk
•
49m ago
•
0 comments
Show HN: Correctify – The everything app for restaurant menus
https://correctify.com.cy/
1
•
GiorgosGennaris
•
50m ago
•
0 comments
Load More