What does "Undecidable" mean, anyway

https://buttondown.com/hillelwayne/archive/what-does-undecidable-mean-anyway/

1•BerislavLopac•3m ago•0 comments

Learn to Use Email with Git

https://git-send-email.io/

2•stefankuehnel•3m ago•0 comments

Californian batteries set new output record

https://www.ess-news.com/2025/05/28/californian-batteries-set-new-output-record/

1•philipkglass•4m ago•0 comments

Two large Saharan dust clouds are headed west from Africa to the United States

https://www.accuweather.com/en/hurricane/saharan-dust-clouds-to-approach-florida-gulf/1779232

1•speckx•4m ago•0 comments

MSEP.one – Molecular Systems and Engineering Platform

https://msep.one/

1•Zweihander•8m ago•0 comments

Singapore's fight to save its green spaces from development

https://www.nature.com/articles/d41586-025-01578-y

1•gnabgib•9m ago•0 comments

How Damaging Is Shouting "Fire" in a Crowded Theatre?

https://www.nber.org/papers/w33852

1•jaredwiener•9m ago•0 comments

Show HN: Deidentify – Go library for removing PII before sending data to LLMs

https://github.com/aliengiraffe/deidentify

1•nicolasbistolfi•9m ago•0 comments

China is now the biggest debt collector in the developing world

https://www.npr.org/2025/05/28/nx-s1-5413239/china-loans-developing-world-belt-road

2•geox•10m ago•0 comments

Differentiating IBM 3101, 3270 and 5250 terminal keyboards

https://sharktastica.co.uk/topics/3101-3270-5250_diffs

1•rbanffy•12m ago•0 comments

Al-LLM powered eBPF based security platform

1•gaurav1086•12m ago•0 comments

Europe threatens Apple with additional fines

https://www.computerworld.com/article/3997079/europe-threatens-apple-with-additional-fines.html

1•speckx•12m ago•0 comments

Spann and SPFresh vector indexing in Chroma

https://twitter.com/trychroma/status/1925262162567864620

1•HammadB•12m ago•0 comments

Coding Assistants Threaten the Software Supply Chain

https://martinfowler.com/articles/exploring-gen-ai/software-supply-chain-attack-surface.html

3•BerislavLopac•14m ago•0 comments

Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean

https://github.com/google-deepmind/formal-conjectures

1•diginova•18m ago•0 comments

Unnecessariat (2016)

https://morecrows.wordpress.com/2016/05/10/unnecessariat/

1•kunzhi•20m ago•0 comments

Finding Love Optimally

https://mat.tepper.cmu.edu/blog/index.php/2011/02/27/finding-love-optimally/

2•TMWNN•20m ago•1 comments

Chinese rocket Zhuque-2E creates light streak in US night sky

https://www.digitalcameraworld.com/photography/astrophotography/did-the-chinese-government-ruin-your-astrophotography

1•astroimagery•21m ago•1 comments

The Hitchhiker's Guide to Dark Pools in DeFi

https://research.2077.xyz/the-hitchhikers-guide-to-dark-pools-in-defi-part-three

1•rapawel•22m ago•0 comments

HAProxy 3.2 Is Released

https://www.haproxy.com/blog/announcing-haproxy-3-2

2•causenad•23m ago•1 comments

Apache Iceberg in Modern Data Architectures: A Comprehensive Report

https://blog.twingdata.com/p/apache-iceberg-in-modern-data-architectures

1•dangoldin•23m ago•0 comments

Linkhut: An Open-Source Social Bookmarking Service

https://linkhut.org/

2•stefankuehnel•23m ago•0 comments

Public-Inbox: An "Archives First" Approach to Mailing Lists

https://public-inbox.org/README.html

2•stefankuehnel•24m ago•0 comments

Go Go Hugo blog (2013)

https://spf13.com/p/go-go-hugo-blog/

1•indigodaddy•25m ago•0 comments

A Game of Schelling Points: Can You Predict the Crowd?

https://oetm.ch/schelling/

2•kmisiunas•25m ago•0 comments

aerc: An Email Client with Support for Working with Git and Email

https://aerc-mail.org/

2•stefankuehnel•25m ago•0 comments

Electric buses don't like the cold, study finds

https://news.cornell.edu/stories/2025/05/electric-buses-dont-cold-study-finds

5•giuliomagnifico•26m ago•1 comments

Vaquilla claims responsibility for a data breach involving Amazon Spain

https://twitter.com/H4ckManac/status/1927612351739576666

2•marvel_boy•28m ago•1 comments

Google CEO Sundar Pichai on the future of search, AI agents, and selling Chrome

https://www.theverge.com/decoder-podcast-with-nilay-patel/673638/google-ceo-sundar-pichai-interview-ai-search-web-future

2•LAsteNERD•29m ago•0 comments

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

https://stepchange.work/blog/can-ai-beat-a-human-dev-jules-vs-codex-on-live-django-issues-with-apx

7•niallohiggins•30m ago•0 comments