Provably guarantee correctness of (some of) your LLM outputs (aws.amazon.com)

1 points by barthelomew 17s ago 0 comments

Claude Sonnet 4 now supports 1M tokens of context (anthropic.com)

1 points by adocomplete 24s ago 0 comments

Dicing an Onion, the Mathematically Optimal Way (pudding.cool)

1 points by feross 1m ago 0 comments

23-24 Leinster Gardens, London's False-Front Houses (britainexpress.com)

1 points by thunderbong 2m ago 0 comments

Google Gemini struggles to write code, calls itself "a disgrace to my species" (arstechnica.com)

1 points by CharlesW 3m ago 0 comments

Show HN: Blackjack App with a Provably Fair System (apps.apple.com)

1 points by pompeii 6m ago 0 comments

AOL pulls the plug on dial-up – 'dead' tech has a long expiration date (zdnet.com)

1 points by CrankyBear 7m ago 0 comments

Show HN: Coordinize – Open-source async-first communication for global teams (coordinize.tech)

2 points by Rajdeepds626 8m ago 0 comments

Perplexity makes $34.5B bid to buy Google Chrome (bloomberg.com)

2 points by jbredeche 8m ago 1 comments

Perplexity Makes Longshot $34.5B Offer for Chrome (wsj.com)

2 points by jaredwiener 8m ago 0 comments

Dict(1) (github.com)

1 points by nerflad 9m ago 0 comments

The Arborealists: Tree Painters from the United Kingdom (worldsensorium.com)

1 points by dnetesn 10m ago 0 comments

Interview with RollerCoaster Tycoon's Creator, Chris Sawyer (medium.com)

1 points by areoform 10m ago 0 comments

Does Anybody Know What Time Is? (nautil.us)

1 points by dnetesn 11m ago 0 comments

Specification Grounding: The Missing Link in Vibe Coding (unstract.com)

1 points by shuss 11m ago 0 comments

Navigating the Human Side of AI Automation (substack.com)

1 points by m1chael3ma 12m ago 1 comments

I built ad-hoc analytics service with Reveal (vlaaad.github.io)

1 points by vlaaad 13m ago 0 comments

Tech Debt? I don't believe it exists (dadrian.io)

2 points by saclark11 14m ago 0 comments

Two Sentence Journal (alexanderbjoy.com)

1 points by nivethan 14m ago 0 comments

Instagram Grid Maker (iggridmaker.com)

1 points by xiaowai 14m ago 0 comments

Precompiled React Native, Rozenite DevTools, and AI Speech Without the Cloud (thereactnativerewind.com)

1 points by lukebrandon 15m ago 1 comments

Pedestrians now walk 15% faster and linger less in city public spaces (phys.org)

1 points by PaulHoule 15m ago 0 comments

Sabu Disk: Mysterious 5K year-old Egyptian stone sculpture (livescience.com)

1 points by Brajeshwar 16m ago 0 comments

A new measure of health is revolutionising how we think about ageing (newscientist.com)

1 points by Brajeshwar 16m ago 0 comments

E. coli genome remade with 101k changes to its DNA (newscientist.com)

2 points by bookofjoe 17m ago 1 comments

I Made a Digital Twin for My PCB (youtube.com)

1 points by iamflimflam1 17m ago 0 comments

Takeaway: A work-stealing task queue library for Rust (bal-e.org)

1 points by tempodox 17m ago 0 comments

Behind the Curtain: Your smarter fake friends (axios.com)

1 points by Brajeshwar 17m ago 0 comments

A case study in peak overemployment (hydrick.net)

1 points by warrenm 18m ago 0 comments

Commit Mono. Neutral programming typeface (commitmono.com)

1 points by tempodox 19m ago 1 comments

Show HN: I built an AI that remembers everything and learns from mistakes (github.com)

1 points by VAC-AGI 20m ago 0 comments

Digital Sovereignty in Practice: Web Browsers as a Reality Check (tarakiyee.com)

1 points by speckx 20m ago 0 comments

Sink or Schwim – An LSEG Saga (theterminalist.substack.com)

1 points by therealchiggs 23m ago 0 comments

Roblox and Pedophilia (wikipediasucks.co)

1 points by kurtreed2 24m ago 0 comments

Explore planetary data with Analyst's Notebook (an.rsl.wustl.edu)

1 points by danielam 24m ago 0 comments

Best Vibe Coding Platforms in 2025 (observer.bearblog.dev)

2 points by dohguy 25m ago 0 comments

Show HN: Joinable's RAG-in-a-Box – fastest way to build a RAG App for your data (joinable.ai)

1 points by julijabain 25m ago 0 comments

The Looming Social Crisis of AI Friends and Chatbot Therapists (derekthompson.org)

2 points by gamechangr 27m ago 0 comments

Perplexity Makes Longshot $34.5B Offer for Chrome (wsj.com)

31 points by eduction 28m ago 13 comments

I Spent $5.50/Month to Fix What Three Tech Giants Wouldn't (charleshood.net)

2 points by Danborg 29m ago 0 comments

"I've got a solution: wolves" (robmanuelfuckyeah.substack.com)

1 points by speckx 30m ago 0 comments

Show HN: VerbatimRAG – RAG that returns only exact text from documents

1 points by justacoolname 31m ago 0 comments

Show HN: Paket Wisata Dieng – Search by Google Programmable Search Engine (pesonadieng.com)

1 points by jogjasekarang 31m ago 0 comments

The Closed Internet Protocol (mirz.ai)

1 points by zahirbmirza 32m ago 1 comments

AOL ends dial-up service after more than 30 years (bbc.com)

1 points by saikatsg 32m ago 0 comments

Musk's Grok calls Trump the 'most notorious' criminal in DC (independent.co.uk)

2 points by tempodox 33m ago 0 comments

The Role of Feature Normalization in Ijepa (github.com)

2 points by bigonion 34m ago 0 comments

Show HN: Peer. – I wanted a new social media, so I built my own (peerfreund.com)

2 points by AmuXhantini 34m ago 0 comments

Preliminary Thoughts on the Jujutsu VCS (ewpratten.com)

1 points by ewpratten 34m ago 0 comments

Accessing Tenstorrent AI Accelerators via Koyeb Cloud (techcrunch.com)

1 points by riadsila 35m ago 0 comments

Highlights from the Comments on Liberalism and Communities

1 feross 0 8/12/2025, 11:17:44 AM astralcodexten.com ↗

Comments (0)

No comments yet