What does "Undecidable" mean, anyway (buttondown.com)

1 points by BerislavLopac 1m ago 0 comments

Learn to Use Email with Git (git-send-email.io)

1 points by stefankuehnel 2m ago 0 comments

Californian batteries set new output record (ess-news.com)

1 points by philipkglass 3m ago 0 comments

Two large Saharan dust clouds are headed west from Africa to the United States (accuweather.com)

1 points by speckx 3m ago 0 comments

MSEP.one – Molecular Systems and Engineering Platform (msep.one)

1 points by Zweihander 7m ago 0 comments

Singapore's fight to save its green spaces from development (nature.com)

1 points by gnabgib 8m ago 0 comments

How Damaging Is Shouting "Fire" in a Crowded Theatre? (nber.org)

1 points by jaredwiener 8m ago 0 comments

Show HN: Deidentify – Go library for removing PII before sending data to LLMs (github.com)

1 points by nicolasbistolfi 8m ago 0 comments

China is now the biggest debt collector in the developing world (npr.org)

2 points by geox 8m ago 0 comments

Differentiating IBM 3101, 3270 and 5250 terminal keyboards (sharktastica.co.uk)

1 points by rbanffy 10m ago 0 comments

Al-LLM powered eBPF based security platform

1 points by gaurav1086 11m ago 0 comments

Europe threatens Apple with additional fines (computerworld.com)

1 points by speckx 11m ago 0 comments

Spann and SPFresh vector indexing in Chroma (twitter.com)

1 points by HammadB 11m ago 0 comments

Coding Assistants Threaten the Software Supply Chain (martinfowler.com)

3 points by BerislavLopac 13m ago 0 comments

Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com)

1 points by diginova 16m ago 0 comments

Unnecessariat (2016) (morecrows.wordpress.com)

1 points by kunzhi 18m ago 0 comments

Finding Love Optimally (mat.tepper.cmu.edu)

2 points by TMWNN 19m ago 1 comments

Chinese rocket Zhuque-2E creates light streak in US night sky (digitalcameraworld.com)

1 points by astroimagery 20m ago 1 comments

The Hitchhiker's Guide to Dark Pools in DeFi (research.2077.xyz)

1 points by rapawel 20m ago 0 comments

HAProxy 3.2 Is Released (haproxy.com)

2 points by causenad 21m ago 1 comments

Apache Iceberg in Modern Data Architectures: A Comprehensive Report (blog.twingdata.com)

1 points by dangoldin 21m ago 0 comments

Linkhut: An Open-Source Social Bookmarking Service (linkhut.org)

2 points by stefankuehnel 22m ago 0 comments

Public-Inbox: An "Archives First" Approach to Mailing Lists (public-inbox.org)

2 points by stefankuehnel 23m ago 0 comments

Go Go Hugo blog (2013) (spf13.com)

1 points by indigodaddy 23m ago 0 comments

A Game of Schelling Points: Can You Predict the Crowd? (oetm.ch)

2 points by kmisiunas 24m ago 0 comments

aerc: An Email Client with Support for Working with Git and Email (aerc-mail.org)

2 points by stefankuehnel 24m ago 0 comments

Electric buses don't like the cold, study finds (news.cornell.edu)

5 points by giuliomagnifico 24m ago 1 comments

Vaquilla claims responsibility for a data breach involving Amazon Spain (twitter.com)

2 points by marvel_boy 26m ago 1 comments

Google CEO Sundar Pichai on the future of search, AI agents, and selling Chrome (theverge.com)

2 points by LAsteNERD 28m ago 0 comments

Can AI Beat a Human Dev? Jules vs. Codex on Live Django and Postgres Issues (stepchange.work)

7 points by niallohiggins 29m ago 0 comments

A Reality Check for Tech Oligarchs (theatlantic.com)

3 points by JumpCrisscross 29m ago 0 comments

EU on track to meet 2030 emissions goals (euronews.com)

2 points by causenad 30m ago 1 comments

AWS Revives and Updates Its Customer Carbon Footprint Tool (thenewstack.io)

1 points by chhum 31m ago 0 comments

Be Disciplined (ntuthukohlela.github.io)

1 points by Ntuthuko_hlela 34m ago 0 comments

Show HN: European Accessibility Act – Simple CLI Checker (github.com)

3 points by ebod 34m ago 0 comments

A new stats method cracked open a better view of near-space (lanl.gov)

2 points by LAsteNERD 35m ago 0 comments

Unhappy Meals (2007) (michaelpollan.com)

1 points by pramodbiligiri 35m ago 0 comments

From the Creators of Shortcuts, Sky Extends AI and Automation to Entire Your Mac (macstories.net)

1 points by FrancoisBosun 36m ago 0 comments

The Rise and Fall of Dark Web Vendor (wired.com)

2 points by zafka 40m ago 0 comments

Version Story (versionstory.com)

1 points by handfuloflight 41m ago 0 comments

Carney says he wants Canada to join major European defence plan by July first (bbc.com)

6 points by sillyfluke 41m ago 0 comments

Claude Squad (github.com)

2 points by handfuloflight 44m ago 0 comments

Show HN: Octogen: e-commerce capabilities for agents (octogen.ai)

5 points by marram 44m ago 0 comments

AI decides on trolley problems [video] (youtube.com)

2 points by surprisetalk 44m ago 0 comments

The Economics of Bug Finding (jazzberry.ai)

2 points by MarcoDewey 44m ago 0 comments

I Made a Logo for HN (drive.google.com)

1 points by anishjain123 44m ago 0 comments

Each 10 mg/dL drop in ApoB cuts heart disease risk by 9% (empirical.health)

4 points by brandonb 45m ago 0 comments

AI can't match the human art of translation (observer.co.uk)

1 points by jamager 47m ago 0 comments

Nathan Fielder: An Exhaustive Character Study (bobbby.online)

1 points by rhgraysonii 48m ago 1 comments

The Unstable Queen (mtmason.com)

1 points by v9v 49m ago 0 comments

FOUNDERS: stop reimbursing your VC's legal fees

3 vinnyglennon 0 5/26/2025, 3:06:05 PM auren.substack.com ↗

Comments (0)

No comments yet