frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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