The Coming AI Revolution in Distributed Systems

https://zfhuang99.github.io/github%20copilot/formal%20verification/tla+/2025/05/24/ai-revolution-in-distributed-systems.html

1•todsacerdoti•57s ago•0 comments

Billions of AI Users?

https://manualdousuario.net/en/meta-ai-google-ai-overviews-billions-users/

1•rpgbr•1m ago•0 comments

Learning coordinated badminton skills for legged manipulators

https://www.science.org/doi/10.1126/scirobotics.adu3922

1•belter•1m ago•0 comments

Resonant Charge Transport Through Open-Shell Donor–Acceptor Macromolecules

https://pubs.acs.org/doi/10.1021/jacs.4c18150

1•PaulHoule•3m ago•0 comments

Network Intelligence Is Changing the Internet

https://open.spotify.com/episode/0As720pZpDU26cx9qNLK14

1•oavioklein•4m ago•0 comments

Use B4 for Kernel Contributions

https://www.marcusfolkesson.se/blog/use-b4-for-kernel-contributions/

1•jakogut•5m ago•0 comments

UF/IFAS scientists confirm hybrid termites established in Florida

https://news.ufl.edu/2025/05/termites/

1•pseudolus•5m ago•0 comments

Trump administration backtracks on Harvard foreign student policy

https://abcnews.go.com/US/graduation-day-harvards-lawyers-head-court-defend-foreign/story?id=122307706

1•belter•5m ago•0 comments

VA-based DOGE associate gets 'the boot' after publicly discussing his work

https://www.nextgov.com/people/2025/05/va-based-doge-associate-gets-boot-after-publicly-discussing-his-work/405636/

1•whalesalad•7m ago•0 comments

What's the Damage with Long Covid? Advanced Imaging Reveals Clues

https://www.tctmd.com/news/whats-damage-long-covid-advanced-imaging-reveals-clues

1•lentoutcry•7m ago•0 comments

The Tariffs Are Illegal

https://www.bloomberg.com/opinion/newsletters/2025-05-29/the-tariffs-are-illegal

6•ioblomov•8m ago•1 comments

Open-sourcing circuit tracing tools

https://www.anthropic.com/research/open-source-circuit-tracing

1•jlaneve•8m ago•0 comments

Anthropic's circuit tracer is now open source

https://github.com/safety-research/circuit-tracer

2•jlaneve•9m ago•0 comments

Quantum Computing and the Hidden Subgroup Problem

https://www.daniellowengrub.com/blog/2025/04/23/hidden-subgroup

1•lowdanie•10m ago•0 comments

The Anxiety on Top of the Anxiety

https://exhotmess.net/?p=238

1•mooreds•11m ago•0 comments

Qualcomm's Centriq 2400 and the Falkor Architecture

https://chipsandcheese.com/p/qualcomms-centriq-2400-and-the-falkor

1•rbanffy•11m ago•0 comments

Generative AI is a Parasitic Cancer [video]

https://www.youtube.com/watch?v=-opBifFfsMY

2•slater•12m ago•0 comments

Dr.Binary: Analyze Binaries in a Chat with AI

https://drbinary.ai/

1•deepbits•12m ago•0 comments

Which Trump tariffs are thrown out? Which are still on? Here's what to know

https://www.washingtonpost.com/business/2025/05/29/which-tariffs-struck-down-trump/

2•jaredwiener•13m ago•1 comments

Ask HN: Tips on a Founder's Blog

1•freedmans•14m ago•0 comments

Toying with the Lambda Calculus

https://github.com/WinVector/Examples/blob/main/lambda_calculus/toying_with_the_lambda_calculus.ipynb

1•jmount•14m ago•0 comments

Framework for authoring Agentic Flows from the creator of Spring

https://github.com/embabel/embabel-agent

1•mirchiseth•16m ago•1 comments

An interview with the creator of Gleam: an ML like language for the Erlang VM

https://blog.lambdaclass.com/an-interview-with-the-creator-of-gleam-an-ml-like-language-for-the-erlang-vm-with-a-compiler/

1•Alupis•16m ago•0 comments

The plan for nationwide fiber internet might be upended for Starlink

https://www.theverge.com/news/675502/bead-program-fiber-internet-paused

2•thehoff•19m ago•1 comments

Security slows down Change Management and we have a chance to fix it

https://boringappsec.substack.com/p/edition-29-security-slows-down-change

1•joj123•19m ago•0 comments

Show HN: Technical Interviews Built for 2025

2•devday-admin•22m ago•1 comments

Why Pilots Don't Get Therapy

https://www.theatlantic.com/politics/archive/2025/05/why-pilots-dont-get-therapy/682959/

1•taubek•23m ago•0 comments

Human coders are still better than LLMs

https://www.antirez.com/news/153

7•grep_it•24m ago•0 comments

Google's New A.I.-Powered Search Has Arrived. Proceed with Caution

https://www.nytimes.com/2025/05/29/technology/personaltech/google-ai-mode-search.html

2•jbredeche•24m ago•0 comments

Workflows for AI Coding

https://anniecherkaev.com/the-times-they-are-ai-changing

1•nicholasjbs•24m ago•0 comments

The Coming AI Revolution in Distributed Systems

Billions of AI Users?

Learning coordinated badminton skills for legged manipulators

Resonant Charge Transport Through Open-Shell Donor–Acceptor Macromolecules

Network Intelligence Is Changing the Internet

Use B4 for Kernel Contributions

UF/IFAS scientists confirm hybrid termites established in Florida

Trump administration backtracks on Harvard foreign student policy

VA-based DOGE associate gets 'the boot' after publicly discussing his work

What's the Damage with Long Covid? Advanced Imaging Reveals Clues

The Tariffs Are Illegal

Open-sourcing circuit tracing tools

Anthropic's circuit tracer is now open source

Quantum Computing and the Hidden Subgroup Problem

The Anxiety on Top of the Anxiety

Qualcomm's Centriq 2400 and the Falkor Architecture

Generative AI is a Parasitic Cancer [video]

Dr.Binary: Analyze Binaries in a Chat with AI

Which Trump tariffs are thrown out? Which are still on? Here's what to know

Ask HN: Tips on a Founder's Blog

Toying with the Lambda Calculus

Framework for authoring Agentic Flows from the creator of Spring

An interview with the creator of Gleam: an ML like language for the Erlang VM

The plan for nationwide fiber internet might be upended for Starlink

Security slows down Change Management and we have a chance to fix it

Show HN: Technical Interviews Built for 2025

Why Pilots Don't Get Therapy

Human coders are still better than LLMs

Google's New A.I.-Powered Search Has Arrived. Proceed with Caution

Workflows for AI Coding

How to Run CRON Jobs in Postgres Without Extra Infrastructure

The Coming AI Revolution in Distributed Systems

Billions of AI Users?

Learning coordinated badminton skills for legged manipulators

Resonant Charge Transport Through Open-Shell Donor–Acceptor Macromolecules

Network Intelligence Is Changing the Internet

Use B4 for Kernel Contributions

UF/IFAS scientists confirm hybrid termites established in Florida

Trump administration backtracks on Harvard foreign student policy

VA-based DOGE associate gets 'the boot' after publicly discussing his work

What's the Damage with Long Covid? Advanced Imaging Reveals Clues

The Tariffs Are Illegal

Open-sourcing circuit tracing tools

Anthropic's circuit tracer is now open source

Quantum Computing and the Hidden Subgroup Problem

The Anxiety on Top of the Anxiety

Qualcomm's Centriq 2400 and the Falkor Architecture

Generative AI is a Parasitic Cancer [video]

Dr.Binary: Analyze Binaries in a Chat with AI

Which Trump tariffs are thrown out? Which are still on? Here's what to know

Ask HN: Tips on a Founder's Blog

Toying with the Lambda Calculus

Framework for authoring Agentic Flows from the creator of Spring

An interview with the creator of Gleam: an ML like language for the Erlang VM

The plan for nationwide fiber internet might be upended for Starlink

Security slows down Change Management and we have a chance to fix it

Show HN: Technical Interviews Built for 2025

Why Pilots Don't Get Therapy

Human coders are still better than LLMs

Google's New A.I.-Powered Search Has Arrived. Proceed with Caution

Workflows for AI Coding