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

Air Traffic Controller Hiring Supercharge at FAA Academy

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