To be a better programmer, write little proofs in your head (the-nerve-blog.ghost.io)

1 points by mprast 3m ago 0 comments

Ask HN: Did Anyone Here Lose Interest in Coding After a While?

1 points by OulaX 3m ago 0 comments

I tried Vibe coding in BASIC and it didn't go well (goto10retro.com)

1 points by mikerg87 4m ago 0 comments

Nvidia and Jane Street Back Mira Murati's AI Startup (ft.com)

1 points by jmsflknr 4m ago 0 comments

Surge AI Left an Internal AI Safety Doc Public. Here's What Chatbots Can't Say (inc.com)

1 points by _tk_ 5m ago 0 comments

Project Great: General Relativity Einstein/Essen Anniversary Test (2005) (leapsecond.com)

1 points by ortusdux 7m ago 0 comments

Show HN: Open-source GUI editor for JSON and function call schema (anusarati.github.io)

1 points by xingzheli 7m ago 0 comments

Nearly 3 out of 4 Oracle Java users say they've been audited in the past 3 years (theregister.com)

4 points by rntn 9m ago 0 comments

Why the Real Computer Revolution Never Happened – Alan Kay and Anjan Katta [video] (youtube.com)

2 points by herbertl 9m ago 0 comments

Emerson, AI, and the Force (Neal Stephenson on education in the LLM era) (nealstephenson.substack.com)

2 points by alwa 9m ago 0 comments

Show HN: Vogent Voicelab – Inference for open-source TTS models (CSM-1B etc.) (vogent.ai)

1 points by jag729 10m ago 0 comments

The Halo Effect (kwokchain.com)

2 points by iamwil 12m ago 0 comments

Some Interesting Ethereum Stats (harishaji.com)

1 points by har777 13m ago 0 comments

ParadeDB takes on Elasticsearch as interest in Postgres explodes amid AI boom (techcrunch.com)

2 points by furkansahin 18m ago 0 comments

Reflections on OpenAI (calv.info)

7 points by calvinfo 20m ago 0 comments

What's going on with gene therapies? (Part one) (nehalslearnings.substack.com)

2 points by nehal96 20m ago 0 comments

Part 2–An Introduction to Tribalism for the Modern World that has Forgotten it (sustainableviews.substack.com)

1 points by spyckie2 21m ago 0 comments

Integrity-Policy Header (developer.mozilla.org)

1 points by nonvibecoding 21m ago 0 comments

What's the typical founder salary? (early-stage)

2 points by namulongboi 22m ago 0 comments

Polymarket Probe Ended by DOJ (bloomberg.com)

1 points by mfiguiere 22m ago 0 comments

Show HN: BotBudget – AI Agent Cost Calculator (botbudget.com)

2 points by jakejohnson 24m ago 0 comments

The Secret to Better Airplane Navigation Could Be Inside the Earth's Crust (wsj.com)

2 points by impish9208 25m ago 1 comments

Scientists create functional 3D-printed human islets for T1 diabetes treatment (medicalxpress.com)

2 points by PaulHoule 26m ago 0 comments

Jupyter Notebook for learning lambda calculus in Kotlin (github.com)

1 points by Stream 27m ago 0 comments

Show HN: Encode Base64 (encodebase64.io)

1 points by artiomyak 28m ago 0 comments

A all in one place for outreach? Automate outreach, manage users, all with Soya (soya.framer.website)

1 points by Taikhoom10 28m ago 0 comments

Seagate 30TB HAMR drives now widely available (tomshardware.com)

2 points by heresie-dabord 29m ago 0 comments

Show HN: Turn any successful website into a business idea with AI (ideaminer.im)

1 points by zxcholmes 30m ago 0 comments

Akamai's prices appear to have been published [pdf] (dlt.com)

3 points by nikolqy 32m ago 1 comments

Show HN: I built a no-code ETL tool (v0.2) to clean messy CSVs using prompts

2 points by Ukd_1209 32m ago 0 comments

Are developers slowed down by AI? (fightforthehuman.com)

1 points by mooreds 32m ago 1 comments

Sounds weird, but how to stop working? (twitter.com)

2 points by ianberdin 33m ago 0 comments

RNA Is the Cell's Emergency Alert System (quantamagazine.org)

1 points by rbanffy 33m ago 0 comments

Connecting legibility to theory building in programming (ashwinsundar.com)

1 points by ashwinsundar 34m ago 0 comments

The 1960s schools experiment that created a whole new alphabet (theguardian.com)

1 points by Hooke 36m ago 0 comments

Show HN: Multi-Vector HNSW in Pure Java

1 points by habedi0 36m ago 0 comments

Scientists reportedly hiding AI prompts in papers to receive positive reviews (theguardian.com)

3 points by ColinWright 43m ago 1 comments

Haut.ai Launches the SPF Truth Booth (beautynewsdaily.com)

1 points by iamphilrae 43m ago 0 comments

Sage: An atomic bomb kicked off the biggest computing project in history (ibm.com)

2 points by rawgabbit 47m ago 0 comments

Sabre: The first online reservation system revolutionized air travel (ibm.com)

1 points by rawgabbit 48m ago 0 comments

Show HN: Ship Fast Directory – Find Tools to 10x Your Product Launch Speed (ship-fast-directory.replit.app)

1 points by xvpdev 51m ago 0 comments

I'm a Genocide Scholar. I Know It When I See It (nytimes.com)

10 points by aviziva 51m ago 1 comments

Ask HN: Where Do Hacker News Readers Come From?

2 points by nicgrev103 52m ago 0 comments

Reproducibility of scientific career paths over time (group.miletic.net)

1 points by taubek 52m ago 0 comments

Scal: A CLI tool to display Shamsi/Jalali calendar in terminal (github.com)

3 points by alizmhdi 52m ago 0 comments

H-Net – Inference (main-horse.github.io)

2 points by jxmorris12 53m ago 0 comments

American Airlines Automates Reservations and Ticketing, Part Two: Sabre (aviationtrivia.blogspot.com)

3 points by rawgabbit 54m ago 0 comments

Successor (2024 Film) (en.wikipedia.org)

1 points by walterbell 55m ago 0 comments

Health Care You Can Trust (flaminghydra.com)

1 points by colinprince 55m ago 0 comments

Ears (alistairmavin.com)

1 points by jaynate 55m ago 0 comments

Project Great: General Relativity Einstein/Essen Anniversary Test (2005)

1 ortusdux 0 7/15/2025, 5:02:24 PM leapsecond.com ↗

Comments (0)

No comments yet