frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

AutoRocq: Agentic Theorem Prover for Verification

https://github.com/NUS-Program-Verification/AutoRocq
2•matt_d•1h ago

European country vows to give homeowners 'free electricity'

https://www.euronews.com/2026/03/27/european-country-vows-to-give-homeowners-free-electricity-ins...
1•doener•2m ago•0 comments

The Last Time – Unix, NTP, and HFS Epochs

https://www.potaroo.net/ispcol/2026-03/endtime.html
1•caminanteblanco•2m ago•0 comments

Programming After Programmers? A Response to the New York Times on AI and Coding

https://curryguinncspb.github.io/programming-after-programmers/
1•tsumnia•6m ago•0 comments

I built a tiny CLI that writes my commit messages from Git diff

https://github.com/saccofrancesco/gitsloth
1•s4ccofr4ncesco•6m ago•0 comments

Welcome to a Multidimensional Economic Disaster

https://www.theatlantic.com/technology/2026/03/ai-boom-polycrisis/686559/
1•fortran77•8m ago•0 comments

I Vibe-Coded an Agent and Didn't Know What It Couldn't Do

https://www.noemica.io/blog/vibe-coded-agent
1•SebastianSosa•8m ago•0 comments

I Built a Public RAG App for Chicago Budget Documents

https://www.devinthakker.com/blog/chicago-budget-rag
1•devinthakker•10m ago•0 comments

Depression is linked to a pessimistic bias, not a realistic view of the world

https://www.psypost.org/depression-is-linked-to-a-genuine-pessimistic-bias-rather-than-a-realisti...
1•RickJWagner•10m ago•0 comments

Teenage Engineering's PO-32 acoustic modem and synth implementation

https://github.com/ericlewis/libpo32
1•ericlewis•11m ago•0 comments

Google Turbo Quant Powered Local LLMs

https://atomic.chat/
1•novateg•13m ago•0 comments

Cybersecurity stocks fall on report Anthropic is testing a powerful new model

https://www.cnbc.com/2026/03/27/anthropic-cybersecurity-stocks-ai-mythos.html
3•pseudolus•19m ago•0 comments

Forensic Scientist Dr. Henry C. Lee Dies

https://www.newhaven.edu/news/releases/2026/in-memoriam-henry-lee.php
1•caonidaye•19m ago•1 comments

How much more will oil prices have to go up?

https://marginalrevolution.com/marginalrevolution/2026/03/how-much-more-will-oil-prices-have-to-g...
1•paulpauper•20m ago•0 comments

Iranian hackers obtained and leaked personal Gmail of ex-FBI Director Cash Patel [video]

https://www.youtube.com/watch?v=AlM0vylK_r8
1•exec01•23m ago•0 comments

Brent Price Now – Free AI oil market insights and email price alerts

https://brentpricenow.top/price-alerts
1•trendbuilder•24m ago•0 comments

The Terrarium

https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrarium
2•cubefox•28m ago•0 comments

Brad Feld – Nothing New to See Here

https://feld.com/archives/2026/03/nothing-new-to-see-here/
1•rmason•30m ago•0 comments

Whisper AI Local Mac Setup

https://www.yaps.ai/blog/whisper-ai-local-mac-setup
1•RichAwo•31m ago•0 comments

What If Your TV Keyboard Disabled Impossible Letters?

https://www.joey.fyi/blog/tv-search-keyboard
2•rpst•32m ago•1 comments

GitHub has been sending me an email every two seconds.

3•colonelspace•32m ago•0 comments

Iran Is Not Venezuela – and Nobody in the White House Seems to Know That

https://pharaoh-mina-newsletter.beehiiv.com/p/iran-is-not-venezuela-and-nobody-in-the-white-house...
2•ndsipa_pomu•35m ago•2 comments

Don't YOLO your file system

https://jai.scs.stanford.edu/
2•mazieres•36m ago•1 comments

Turning multiple Claude Code sessions into a peer to peer network

https://github.com/prassanna-ravishankar/repowire
1•nomadic-coder•37m ago•1 comments

Drone Warfare Has Come to the United States

https://nationalinterest.org/feature/drone-warfare-has-come-to-the-united-states
3•davikr•38m ago•0 comments

/Jailbreak-University Codex/Claude Code Skills to Jailbreak College

https://github.com/jdcampolargo/jailbreak-university
1•jdcampolargo•41m ago•0 comments

Apple have begun bricking my phone

1•stevelini•46m ago•3 comments

Modern Loki – C++20 port of Alexandrescu's design patterns library

https://github.com/skillman1337/modern-loki
1•skillman1337•46m ago•0 comments

Grieving Parents in Iran Spend Night at Children Graves, Killed by U.S. Strike

https://www.dropsitenews.com/p/minab-iran-elementary-school-airstrike-cemetery-families
2•orsenthil•48m ago•0 comments

Major outgoing CEOs are citing AI as a factor in their decisions to step down

https://www.cnbc.com/2026/03/26/coca-cola-james-quincey-walmart-doug-mcmillon-artificial-intellig...
1•cebert•48m ago•0 comments

How I setup Azure for new software projects

https://www.processfoundry.io/insights/how-i-setup-azure-to-deploy-microservices
1•christian-scott•53m ago•0 comments