frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Creating a Database of Motivated Proofs

https://gowers.wordpress.com/2025/09/22/creating-a-database-of-motivated-proofs/
2•robinhouston•1h ago

The Stanford Dropout Building an AI to Solve Math's Hardest Problems

https://www.forbes.com/sites/rashishrivastava/2025/09/30/meet-the-stanford-dropout-building-an-ai...
1•calstad•27s ago•0 comments

GraphQL Conf 2025 Recap

https://the-guild.dev/graphql/hive/blog/graphql-conf-2025-recap
1•gregwolanski•28s ago•0 comments

Austria's armed forces switch to LibreOffice

https://www.heise.de/en/news/Austria-s-armed-forces-switch-to-LibreOffice-10660761.html
1•amiralul•34s ago•0 comments

Electronic Arts to be acquired in $55B deal

https://www.cbsnews.com/news/electronic-arts-the-sims-madden-nfl-acquisition-55-billion/
1•JeffL•1m ago•0 comments

The offspring of explorers is the culture of acquisitions

https://estimateproperty.blogspot.com/2025/09/the-offspring-of-explorers-is-culture.html
1•cerumopazuali•2m ago•0 comments

How to find a domain for your startup

https://www.petemillspaugh.com/domains-for-startups
2•petemilly•3m ago•1 comments

Beyond Alcubierre: A Tour of Modern Warp-Drive Physics

https://www.altpropulsion.com/beyond-alcubierre-a-tour-of-modern-warp-drive-physics/
1•sevenoftwelve•4m ago•0 comments

I Founded Wikipedia. Here’s how to fix it.

https://www.thefp.com/p/i-founded-wikipedia-heres-how-to-fix-it
1•RickJWagner•4m ago•0 comments

Show HN: Spaced Repetition for LeetCode – Stop Forgetting Problems You've Solved

https://www.dsaprep.dev/
1•anjandutta•5m ago•0 comments

Soil moisture content, urban tree evaporative cooling and human thermal comfort

https://www.nature.com/articles/s42949-025-00220-0
1•PaulHoule•6m ago•0 comments

How I Read

https://www.henrikkarlsson.xyz/p/how-i-read
1•jger15•7m ago•0 comments

How I maintain release notes for curl

https://daniel.haxx.se/blog/2025/10/01/how-i-maintain-release-notes-for-curl/
1•LorenDB•7m ago•0 comments

OpenAI will reportedly release a TikTok-like social app alongside Sora 2

https://www.engadget.com/ai/openai-will-reportedly-release-a-tiktok-like-social-app-alongside-sor...
2•hsuduebc2•8m ago•0 comments

Dotcom on Steroids

https://gqg.com/insights/dotcom-on-steroids/
2•simonpure•9m ago•1 comments

JetBrains wants to train AI models on your code snippets

https://www.theregister.com/2025/10/01/jetbrains_wants_your_code_to_train_ai/
1•rntn•9m ago•1 comments

Most Embarrassing Presidential Fails Caught on Camera

https://www.youtube.com/watch?v=ID7C6ZYgqUk
1•bamideleanders•12m ago•1 comments

Using Buzz Controllers in the Browser Using WebHID API

https://buzzcontrollers.com/
1•yordinateur•12m ago•0 comments

Eliminating Toil: A Practical SRE Playbook

https://oneuptime.com/blog/post/2025-10-01-what-is-toil-and-how-to-eliminate-it/view
1•ndhandala•13m ago•0 comments

Qualcomm Defeats Arm in Legal Battle over Licensing Agreements

https://www.techpowerup.com/341529/qualcomm-defeats-arm-in-legal-battle-over-licensing-agreements
2•ksec•13m ago•0 comments

TwigBush – Grant Negotiation Engine for AI Agents

https://github.com/TwigBush/TwigBush
1•tensor_ninja•14m ago•1 comments

Show HN: Play snake on your razer keybard on Linux

https://github.com/lightoshadow/razer-keyboard-snake
1•lightofshadow•14m ago•0 comments

User: Larry Sanger/Nine Theses

https://en.wikipedia.org/wiki/User:Larry_Sanger/Nine_Theses
1•taubek•14m ago•0 comments

Show HN: We built a modern research paper reader

https://ontosyn.com
2•weyxie•14m ago•0 comments

Fast, Secure, Language-Agnostic Policy Engine Using WASM

2•javirln•14m ago•0 comments

Alexa's survival hinges on you buying more expensive Amazon devices

https://arstechnica.com/gadgets/2025/09/alexas-survival-hinges-on-you-buying-more-expensive-amazo...
2•Bender•17m ago•0 comments

Critics slam OpenAI's parental controls while users rage, "Treat us like adults"

https://arstechnica.com/tech-policy/2025/09/critics-slam-openais-parental-controls-while-users-ra...
1•Bender•17m ago•0 comments

Autonomous AI adoption stalls amid trust and governance crisis

https://www.theregister.com/2025/10/01/gartner_ai_agents/
2•Bender•18m ago•0 comments

Scam GPT – GenAI and the Automation of Fraud

https://datasociety.net/library/scam-gpt/
1•speckx•19m ago•0 comments

Google says that Android sideloading "is not going away" in new FAQ

https://android-developers.googleblog.com/2025/09/lets-talk-security-answering-your-top.html
2•timpera•20m ago•1 comments

The slowest experiment in the world became a fast success

https://physicsworld.com/a/how-the-slowest-experiment-in-the-world-became-a-fast-success/
1•sohkamyung•20m ago•0 comments