Comparing floating-point numbers (2012)

https://randomascii.wordpress.com/2012/02/25/comparing-floating-point-numbers-2012-edition/

1•sph•1m ago•0 comments

Finding Beauty and Truth in Mundane Occurrences

https://www.quantamagazine.org/finding-beauty-and-truth-in-mundane-occurrences-20250509/

1•rbanffy•1m ago•0 comments

Production tests: a guidebook for better systems and more sleep

https://martincapodici.com/2025/05/13/production-tests-a-guidebook-for-better-systems-and-more-sleep/

1•mcapodici•1m ago•0 comments

Working on Complex Systems: What I Learned Working at Google

https://www.thecoder.cafe/p/complex-systems

2•0xKelsey•3m ago•0 comments

AgentBridge: Bridging the gap between AI agents and third-party services

https://agentbridge.org/

1•hanna_v_dev•4m ago•0 comments

Public TLS certificate lifetimes to be capped at 47 days by 2029

https://groups.google.com/a/groups.cabforum.org/g/servercert-wg/c/bvWh5RN6tYI

1•AceSlash•4m ago•0 comments

Stephen Kotkin's Hopeful Future for the West

https://huijzer.xyz/posts/71

1•huijzer•4m ago•0 comments

Show HN: One Billion Checkboxes

https://checkboxes.andersmurphy.com/

1•andersmurphy•6m ago•0 comments

Self-hostable webhook tester in go

https://testwebhook.xyz

1•muliswilliam•8m 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•9m ago•1 comments

Cutscription – See how much you spend on subscriptions

https://www.cutscription.com/dashboard

1•mariovasile•9m ago•1 comments

AI's Next Leap: Agentic Intelligence

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

1•rbanffy•10m ago•0 comments

Certifying AI-Based Penetration Testing Agents

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

4•speculator•10m ago•2 comments

'A New Era' of Cancer Therapies

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

2•pseudolus•17m 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•17m ago•1 comments

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

https://www.userylee.com/

1•saascouple•17m ago•0 comments

The importance of virtue in software engineering

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

1•rbanffy•19m ago•1 comments

Lightweight open source reCaptcha alternative

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

1•michalpleban•20m ago•0 comments

Ask HN: Easy Remote Debugging?

1•v-yanakiev•24m 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•24m 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/

2•pseudolus•25m ago•0 comments

New study sheds light on health differences between sexes

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

2•pseudolus•26m ago•0 comments

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

https://guess.landshade.com

2•jcattle•28m ago•1 comments

Global Radio Frequency Interference

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

2•thenthenthen•30m 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•31m 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•35m ago•0 comments

Nextcloud cries foul over Google Play Store app rejection

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

4•brodo•37m ago•1 comments

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

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

1•luismedel•37m ago•0 comments

Nano LinkedIn MCP Server for LLM Agents and Cursor

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

2•maxim_charges•44m 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•47m ago•0 comments

Comparing floating-point numbers (2012)

Finding Beauty and Truth in Mundane Occurrences

Production tests: a guidebook for better systems and more sleep

Working on Complex Systems: What I Learned Working at Google

AgentBridge: Bridging the gap between AI agents and third-party services

Public TLS certificate lifetimes to be capped at 47 days by 2029

Stephen Kotkin's Hopeful Future for the West

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

Comparing floating-point numbers (2012)

Finding Beauty and Truth in Mundane Occurrences

Production tests: a guidebook for better systems and more sleep

Working on Complex Systems: What I Learned Working at Google

AgentBridge: Bridging the gap between AI agents and third-party services

Public TLS certificate lifetimes to be capped at 47 days by 2029

Stephen Kotkin's Hopeful Future for the West

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

TikTok Is Rewriting the Rules for Emerging Artists