frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

The Z3 Theorem Prover

https://github.com/Z3Prover/z3
5•benoitg•1h ago

Show HN: A really really simple text-based budget app

https://github.com/alexandreprl/budget-as-a-text
1•Eagle64•1m ago•0 comments

OpenAI, Anthropic, and Block donate agent tools to new 'Agentic AI Foundation'

https://techoreon.com/openai-anthropic-block-agentic-ai-foundation-linux/
1•GeorgeWoff25•5m ago•0 comments

Common Lisp, ASDF, and Quicklisp: packaging explained

https://cdegroot.com/programming/commonlisp/2025/11/26/cl-ql-asdf.html
2•todsacerdoti•5m ago•0 comments

Show HN: Voice and Messaging Agents Using the WhatsApp Calling API

https://www.livetok.ai
1•gustavogb•5m ago•0 comments

Scientists Thought Parkinson's Was in Our Genes. It Might Be in the Water

https://www.wired.com/story/scientists-thought-parkinsons-was-in-our-genes-it-might-be-in-the-water/
2•quapster•8m ago•1 comments

Nissan and Wayve Sign Agreements to Deliver Next-Generation Driver Assistance

https://wayve.ai/press/nissan-wayve-sign-definitive-agreements/
1•anonymooooos•10m ago•0 comments

U.S. plans to ask visitors to disclose 5 years of social media history

https://www.washingtonpost.com/immigration/2025/12/10/esta-social-media-united-states/
3•cm2187•13m ago•0 comments

Health premiums rose nearly 3x rate of worker earnings over the past 25 years

https://theconversation.com/health-insurance-premiums-rose-nearly-3x-the-rate-of-worker-earnings-...
1•pseudolus•16m ago•0 comments

Show HN: Vibecc – LLM compiler that turns natural language specs into C binaries

https://github.com/Jacques2Marais/vibecc
1•Jacques2Marais•17m ago•0 comments

"I Wasted 8 Years in Crypto": A Builder's Exit Note Goes Viral Across Asia

https://beincrypto.com/i-wasted-8-years-in-crypto/
1•decimalenough•18m ago•0 comments

E-petition debate relating to digital ID – Monday 8 December 2025

https://news.ycombinator.com/
1•hhdave•20m ago•1 comments

Recent Travel News

https://wowfare.com/en-us/blog/pegasus-airlines-launches-direct-istanbul-bilbao-flights/
1•belatwing•20m ago•0 comments

NPM.watch: Track NPM Downloads, Package Safety and Live Stats

https://www.npm.watch
2•Next-Icons•21m ago•1 comments

Show HN: Deploy Kubernetes apps with RunOS, free to use

https://runos.com/blog/runos-open-to-everyone.html
1•didierbreedt•23m ago•0 comments

OVH Public Cloud Database Outage "resolved"

https://public-cloud.status-ovhcloud.com/incidents/4gd0bgz7zm2j
1•voodooEntity•23m ago•1 comments

Nanoparticles that enhance mRNA delivery could reduce vaccine dosage and costs

https://phys.org/news/2025-11-nanoparticles-mrna-delivery-vaccine-dosage.html
1•PaulHoule•23m ago•0 comments

Letting Nvidia sell H200s to China is closing the door after horse has bolted

https://www.theregister.com/2025/12/09/nvidia_h200s_china_ai/
1•pseudolus•24m ago•0 comments

I built an AI that reads your Git history and writes status reports

1•slmslm•24m ago•1 comments

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
2•mau•31m ago•0 comments

Webb identifies earliest supernova to date, shows host galaxy

https://esawebb.org/news/weic2523/
1•doener•32m ago•0 comments

Local news organizations discover the value of their own archives

https://www.niemanlab.org/2025/12/local-news-organizations-discover-the-value-of-their-own-archives/
2•giuliomagnifico•34m ago•1 comments

Show HN: Sift – Turning chore into a hyper-personalized, immersive journey

https://sift-11a.pages.dev/
1•paperplaneflyr•34m ago•0 comments

Human art in a post-AI world should be strange

https://www.owlposting.com/p/art-in-a-post-ai-world-should-be
2•sebg•35m ago•0 comments

Next Generation Agentic Proxy for AI Agents and MCP Servers

https://github.com/agentgateway/agentgateway
1•mooreds•35m ago•0 comments

Paramount Pictures X Account Hacked to Read 'Proud Arm of the Fascist Regime'

https://variety.com/2025/film/news/paramount-x-account-hacked-proud-arm-of-the-fascist-regime-123...
3•robtherobber•36m ago•1 comments

Meta promises to reduce data sharing for EU users by 2026 to avoid EU GDPR fines

https://www.techradar.com/pro/meta-promises-to-reduce-data-sharing-for-eu-users-by-2026-to-avoid-...
3•robtherobber•39m ago•0 comments

Factory Tours

https://www.scopeofwork.net/on-factory-tours/
1•hermitcrab•41m ago•1 comments

Securing VMware workloads in regulated industries

https://www.technologyreview.com/2025/12/10/1128475/securing-vmware-workloads-in-regulated-indust...
1•fleahunter•41m ago•0 comments

Glide

https://glide.ai
1•bellamoon544•41m ago•2 comments

Ask HN: Does your company spend time on system and API design?

1•AJRF•42m ago•0 comments