Ask HN: Easy Remote Debugging?

1•v-yanakiev•55s ago•0 comments

Large AI models seem to have language-specific "units"

https://actu.epfl.ch/news/a-step-towards-understanding-machine-intelligence-/

1•lentoutcry•1m ago•0 comments

Linus Torvalds goes back to a mechanical keyboard after making too many typos

https://www.theregister.com/2025/05/13/linux_6_15_rc6_keyboards/

1•pseudolus•2m ago•0 comments

New study sheds light on health differences between sexes

https://medicalxpress.com/news/2025-05-health-differences-sexes.html

1•pseudolus•2m ago•0 comments

Show HN: Guess average country colors from 20 years of satellite data

https://guess.landshade.com

1•jcattle•4m ago•0 comments

SMAP Maps: Radiometer RFI

https://salinity.oceansciences.org/smap-radiometer.htm

1•thenthenthen•6m ago•0 comments

Microsoft removes a lot of features from the Edge browser

https://www.neowin.net/news/microsoft-removes-a-lot-of-features-from-the-edge-browser/

2•bundie•7m ago•0 comments

Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]

https://www.youtube.com/watch?v=zZr54G7ec7A

2•gsf_emergency•12m ago•0 comments

Nextcloud cries foul over Google Play Store app rejection

https://www.theregister.com/2025/05/13/nextcloud_play_store_complaint/

1•brodo•13m ago•0 comments

LPython: Novel, Fast, Retargetable Python Compiler (2023)

https://lpython.org/blog/2023/07/lpython-novel-fast-retargetable-python-compiler/

1•luismedel•14m ago•0 comments

Nano LinkedIn MCP Server for LLM Agents and Cursor

https://github.com/kudymovmaxim/linkedin-mcp

2•maxim_charges•21m ago•2 comments

Why agency and cognition are fundamentally not computational

https://www.frontiersin.org/journals/psychology/articles/10.3389/fpsyg.2024.1362658/full

2•Fibra•23m ago•0 comments

LithOS: An Operating System for Efficient Machine Learning on GPUs

https://arxiv.org/abs/2504.15465

2•PaulHoule•25m ago•0 comments

Tool for Effective Database Subsetting

https://fxis.ai/edu/how-to-use-the-jailer-database-tool-for-effective-database-subsetting/

1•faidata•26m ago•0 comments

GNU Screen v5.0.1 is released

https://savannah.gnu.org/news/?id=10771

1•zvr•27m ago•1 comments

Show HN: ClickAgent: Multilingual RAG System with Batteries Included

https://github.com/auxten/clickagent

1•auxten•27m ago•0 comments

Kosmos 482 crashes back to Earth, disappearing into Indian Ocean after 53 years

https://www.livescience.com/space/space-exploration/soviet-spacecraft-kosmos-482-crashes-back-to-earth-disappearing-into-indian-ocean-after-53-years-in-orbit

5•susam•27m ago•0 comments

Airlines Prepare for Nuclear War

https://www.telegraph.co.uk/business/2025/05/12/airlines-prepare-nuclear-war-india-pakistan/

3•andrewfromx•31m ago•0 comments

Compiler construction textbook by Niklaus Wirth

https://people.inf.ethz.ch/wirth/CompilerConstruction/

2•fanf2•33m ago•1 comments

Ask HN: How are you acquiring your first hundred users?

6•amanchanda•34m ago•4 comments

What Comes After 100?

https://www.japantimes.co.jp/life/2025/05/12/lifestyle/japan-centenarian-lifestyles-100/

1•geox•34m ago•0 comments

E2E LLM evals, with less focus on metrics and more focus on binary assertions

https://github.com/openchatai/zevals

1•gharbat•35m ago•0 comments

A programming language made for me

https://zylinski.se/posts/a-programming-language-for-me/

5•gingerBill•40m ago•0 comments

I'm moving my projects off GitHub (2022)

https://ntietz.com/blog/moving-off-github/

3•dijit•42m ago•0 comments

Show HN: An API for LLM capabilities and pricing, scraped from docs

https://paolino.me/standard-api-llm-capabilities-pricing-live/

2•earcar•44m ago•0 comments

Getting Started with Capybara and Selenium for Web Testing

https://rubystacknews.com/2025/05/12/getting-started-with-capybara-and-selenium-for-web-testing/

2•amalinovic•44m ago•0 comments

RubyLLM 1.3.0rc1: Configuration Contexts, Ollama/OpenRouter, and ActiveStorage

https://paolino.me/rubyllm-1-3/

2•earcar•45m ago•0 comments

The Fastest Way yet to Color Graphs

https://www.quantamagazine.org/the-fastest-way-yet-to-color-graphs-20250512/

2•GavCo•46m ago•0 comments

Show HN: ShingleLink – A wire-free, snap-together smart solar roofing system

https://github.com/thegardenminer/shinglelink

1•thegardenminer•50m ago•1 comments

Los Angeles Post-Wildfire Permitting Process Dashboard

https://recovery.lacounty.gov/rebuilding/permitting-progress-dashboard/

2•eadmund•51m ago•0 comments

Ask HN: Easy Remote Debugging?

Large AI models seem to have language-specific "units"

Linus Torvalds goes back to a mechanical keyboard after making too many typos

New study sheds light on health differences between sexes

Show HN: Guess average country colors from 20 years of satellite data

SMAP Maps: Radiometer RFI

Microsoft removes a lot of features from the Edge browser

Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]

Nextcloud cries foul over Google Play Store app rejection

LPython: Novel, Fast, Retargetable Python Compiler (2023)

Nano LinkedIn MCP Server for LLM Agents and Cursor

Why agency and cognition are fundamentally not computational

LithOS: An Operating System for Efficient Machine Learning on GPUs

Tool for Effective Database Subsetting

GNU Screen v5.0.1 is released

Show HN: ClickAgent: Multilingual RAG System with Batteries Included

Kosmos 482 crashes back to Earth, disappearing into Indian Ocean after 53 years

Airlines Prepare for Nuclear War

Compiler construction textbook by Niklaus Wirth

Ask HN: How are you acquiring your first hundred users?

What Comes After 100?

E2E LLM evals, with less focus on metrics and more focus on binary assertions

A programming language made for me

I'm moving my projects off GitHub (2022)

Show HN: An API for LLM capabilities and pricing, scraped from docs

Getting Started with Capybara and Selenium for Web Testing

RubyLLM 1.3.0rc1: Configuration Contexts, Ollama/OpenRouter, and ActiveStorage

The Fastest Way yet to Color Graphs

Show HN: ShingleLink – A wire-free, snap-together smart solar roofing system

Los Angeles Post-Wildfire Permitting Process Dashboard

My Graduate Career in Math

Ask HN: Easy Remote Debugging?

Large AI models seem to have language-specific "units"

Linus Torvalds goes back to a mechanical keyboard after making too many typos

New study sheds light on health differences between sexes

Show HN: Guess average country colors from 20 years of satellite data

SMAP Maps: Radiometer RFI

Microsoft removes a lot of features from the Edge browser

Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]

Nextcloud cries foul over Google Play Store app rejection

LPython: Novel, Fast, Retargetable Python Compiler (2023)

Nano LinkedIn MCP Server for LLM Agents and Cursor

Why agency and cognition are fundamentally not computational

LithOS: An Operating System for Efficient Machine Learning on GPUs

Tool for Effective Database Subsetting

GNU Screen v5.0.1 is released

Show HN: ClickAgent: Multilingual RAG System with Batteries Included

Kosmos 482 crashes back to Earth, disappearing into Indian Ocean after 53 years

Airlines Prepare for Nuclear War

Compiler construction textbook by Niklaus Wirth

Ask HN: How are you acquiring your first hundred users?

What Comes After 100?

E2E LLM evals, with less focus on metrics and more focus on binary assertions

A programming language made for me

I'm moving my projects off GitHub (2022)

Show HN: An API for LLM capabilities and pricing, scraped from docs

Getting Started with Capybara and Selenium for Web Testing

RubyLLM 1.3.0rc1: Configuration Contexts, Ollama/OpenRouter, and ActiveStorage

The Fastest Way yet to Color Graphs

Show HN: ShingleLink – A wire-free, snap-together smart solar roofing system

Los Angeles Post-Wildfire Permitting Process Dashboard