frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?

https://arxiv.org/abs/2601.03298
2•PaulHoule•1h ago

Motorola GrapheneOS devices will be bootloader unlockable/relockable

https://grapheneos.social/@GrapheneOS/116160393783585567
1•pabs3•2m ago•0 comments

Developer Certificate of Origin and AI is a no-go

https://brokenco.de/2026/03/02/copyright-ai.html
1•pabs3•3m ago•0 comments

Wait what, you can't use a *code* editor when you're under 18 now?

https://mastodon.online/@marekfort/116164253291515471
1•pabs3•4m ago•0 comments

Show HN: PreflightAPI – US airports, weather, NOTAMs and more via one API

https://preflightapi.io/
1•bberisford•5m ago•0 comments

Show HN: Formualizer – Arrow-backed spreadsheet engine, 320 functions,PyO3+WASM

https://github.com/psu3d0/formualizer
1•ManfredMacx•6m ago•1 comments

Left-Handers Are More Competitive Than Right-Handers

https://www.psychologytoday.com/us/blog/the-asymmetric-brain/202602/left-handers-are-more-competi...
3•geox•8m ago•0 comments

The Markless Document Markup Standard

https://shirakumo.org/docs/markless/
1•todsacerdoti•11m ago•0 comments

People Really Are More Likely to Commit Crimes After a Cancer Diagnosis

https://www.vice.com/en/article/people-really-are-more-likely-to-commit-crimes-after-a-cancer-dia...
1•pseudolus•13m ago•0 comments

Show HN: Restless – a CLI that discovers and maps APIs automatically

https://github.com/bspippi1337/restless
1•bspippi1337•13m ago•2 comments

Four months of Ruby Central moving Ruby backward

https://andre.arko.net/2026/03/03/four-months-of-ruby-central-moving-ruby-backward/
2•bigiain•16m ago•0 comments

Trump Worries Iran's Leaders May Be Just 'As Bad' After War

https://www.bloomberg.com/news/articles/2026-03-03/trump-worries-iranian-leaders-could-be-just-as...
1•petethomas•16m ago•2 comments

Anatomy of a Web3 Supply Chain Attack

https://www.notesoncloudcomputing.com/posts/2026-02-27-anatomy-of-a-web3-supply-chain-attack/
2•carlesloriente•18m ago•0 comments

Windows 98 Disk Defrag Simulator

https://defrag98.com/
2•nixass•20m ago•1 comments

3M Canadian Adults Taking GLP-1 Drugs, Reshaping Eating and Spending Habits

https://www.thecanadianpressnews.ca/health/3m-canadian-adults-taking-glp-1-drugs-reshaping-eating...
2•karakoram•23m ago•1 comments

Claude's Cycles [pdf]

https://cs.stanford.edu/~knuth/papers/claude-cycles.pdf
1•cebert•23m ago•0 comments

Haptics: Tactile Feedback for the Mobile Web

https://haptics.lochie.me/
1•andresquez•24m ago•2 comments

Offshore Wind Turbine Will House a Data Center Underwater

https://spectrum.ieee.org/data-center-floating-wind-turbine
1•defrost•26m ago•0 comments

Intel appoints noted technologist Dr. Craig Barratt as Board achair

https://www.intc.com/news-events/press-releases/detail/1762/intel-board-chair-frank-d-yeary-to-re...
1•osnium123•31m ago•1 comments

OpenAI is developing alternative to Microsoft's GitHub

https://www.reuters.com/business/openai-is-developing-alternative-microsofts-github-information-r...
3•0in•33m ago•0 comments

Scaling up enhanced rock weathering for equitable climate change mitigation

https://www.nature.com/articles/s44458-026-00034-w
1•PaulHoule•33m ago•0 comments

Sam Altman says OpenAI is renegotiating Pentagon 'opportunistic and sloppy' deal

https://fortune.com/2026/03/03/sam-altman-openai-pentagon-renegotiating-deal-anthropic/
1•jacquesm•34m ago•0 comments

Show HN: I built a LLM human rights evaluator for HN (content vs. site behavior)

https://observatory.unratified.org
2•9wzYQbTYsAIc•34m ago•2 comments

The Supreme Court doesn't care if you want to copyright your AI-generated art

https://www.engadget.com/ai/the-supreme-court-doesnt-care-if-you-want-to-copyright-your-ai-genera...
3•latexr•36m ago•0 comments

Google Chrome switches to two-week release cycle

https://developer.chrome.com/blog/chrome-two-week-release
1•mkurz•38m ago•0 comments

ChatGPT Health 'under-triaged' half of medical emergencies in a new study

https://www.nbcnews.com/health/health-news/chatgpt-health-under-triaged-half-medical-emergencies-...
1•0in•40m ago•0 comments

Universal-3 Pro Streaming

https://www.assemblyai.com/universal-3-pro-streaming
1•handfuloflight•43m ago•0 comments

Show HN: Dracula-AI – A lightweight, async SQLite-backed Gemini wrapper

https://github.com/suleymanibis0/dracula
1•suleymanibis•44m ago•0 comments

Show HN: Sovereign Trace Stamp – Frozen triple-time cryptographic timestamp

https://github.com/AionSystem/AION-BRAIN/tree/main/projects/sovereign-trace
2•sheldonksalmon•47m ago•0 comments

Cancel ChatGPT AI boycott surges after OpenAI pentagon military deal

https://www.euronews.com/next/2026/03/02/cancel-chatgpt-ai-boycott-surges-after-openai-pentagon-m...
50•nothrowaways•50m ago•7 comments

Show HN: Demarkus – De-centralized Markup for Us:memory for AI agents and humans

https://github.com/latebit-io/demarkus
1•ontehfritz•53m ago•0 comments