Show HN: One Billion Checkboxes

https://checkboxes.andersmurphy.com/

1•andersmurphy•25s ago•0 comments

Self-hostable webhook tester in go

https://testwebhook.xyz

1•muliswilliam•2m ago•1 comments

I built a waitlist tool to help validate ideas before launch. I'd love feedback

https://my-waitlist.com

1•cesar_salad•3m ago•1 comments

Cutscription – See how much you spend on subscriptions

https://www.cutscription.com/dashboard

1•mariovasile•4m ago•1 comments

AI's Next Leap: Agentic Intelligence

https://cacm.acm.org/blogcacm/ais-next-leap-agentic-intelligence/

1•rbanffy•4m ago•0 comments

Certifying AI-Based Penetration Testing Agents

https://medium.com/@davemound/certifying-ai-based-penetration-testing-agents-562c27ed9a88

2•speculator•5m ago•0 comments

'A New Era' of Cancer Therapies

https://undark.org/2025/05/12/cancer-therapies-new-era/

2•pseudolus•11m ago•0 comments

Show HN: we released an open source, best-in-class medical reasoning model

https://huggingface.co/Juvoly/J1-Llama-8B-exp

1•charliewulff•11m ago•1 comments

Show HN: I made an an AI app to drive free website traffic from TikTok

https://www.userylee.com/

1•saascouple•12m ago•0 comments

The importance of virtue in software engineering

https://www.seangoedecke.com/character-in-software-engineering/

1•rbanffy•13m ago•1 comments

Lightweight open source reCaptcha alternative

https://github.com/altcha-org/altcha

1•michalpleban•14m ago•0 comments

Ask HN: Easy Remote Debugging?

1•v-yanakiev•18m 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•18m 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•19m ago•0 comments

New study sheds light on health differences between sexes

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

1•pseudolus•20m ago•0 comments

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

https://guess.landshade.com

2•jcattle•22m ago•1 comments

Global Radio Frequency Interference

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

1•thenthenthen•24m ago•1 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•25m 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•29m ago•0 comments

Nextcloud cries foul over Google Play Store app rejection

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

2•brodo•31m ago•1 comments

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

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

1•luismedel•31m ago•0 comments

Nano LinkedIn MCP Server for LLM Agents and Cursor

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

2•maxim_charges•39m 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•41m ago•0 comments

LithOS: An Operating System for Efficient Machine Learning on GPUs

https://arxiv.org/abs/2504.15465

2•PaulHoule•42m 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•43m ago•0 comments

GNU Screen v5.0.1 is released

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

1•zvr•44m ago•1 comments

Show HN: ClickAgent: Multilingual RAG System with Batteries Included

https://github.com/auxten/clickagent

1•auxten•44m 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

7•susam•45m ago•1 comments

Airlines Prepare for Nuclear War

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

3•andrewfromx•49m ago•0 comments

Compiler construction textbook by Niklaus Wirth

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

2•fanf2•51m ago•1 comments

Show HN: One Billion Checkboxes

Self-hostable webhook tester in go

I built a waitlist tool to help validate ideas before launch. I'd love feedback

Cutscription – See how much you spend on subscriptions

AI's Next Leap: Agentic Intelligence

Certifying AI-Based Penetration Testing Agents

'A New Era' of Cancer Therapies

Show HN: we released an open source, best-in-class medical reasoning model

Show HN: I made an an AI app to drive free website traffic from TikTok

The importance of virtue in software engineering

Lightweight open source reCaptcha alternative

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

Global Radio Frequency Interference

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

U.S. EPA takes aim at start-stop systems in cars

Show HN: One Billion Checkboxes

Self-hostable webhook tester in go

I built a waitlist tool to help validate ideas before launch. I'd love feedback

Cutscription – See how much you spend on subscriptions

AI's Next Leap: Agentic Intelligence

Certifying AI-Based Penetration Testing Agents

'A New Era' of Cancer Therapies

Show HN: we released an open source, best-in-class medical reasoning model

Show HN: I made an an AI app to drive free website traffic from TikTok

The importance of virtue in software engineering

Lightweight open source reCaptcha alternative

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

Global Radio Frequency Interference

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