frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Tony Hoare and His Imprint on Computer Science

https://cacm.acm.org/blogcacm/tony-hoare-and-his-imprint-on-computer-science/
42•matt_d•3d ago

Comments

blundergoat•3d ago
The detail about Hoare sitting in the front row at conferences taking notes on specialized topics (after retiring from Oxford, after a Turing Award, after decades of foundational work) is the part of this piece that will stick with me. There's a certain kind of senior figure who stops learning once they reach eminence. Hoare clearly wasn't that. Meyer's phrase "a combination of pride and humility" nails it.
Insanity•1h ago
"Once you stop learning, you start dying." Don't know if that quote is actually by Einstein or just attributed to him, but it rings true for me.

Back when I studied philosophy at university, the oldest person in my class was in his seventies and just took random courses in fields that interested him since his retirement 10+ years previously.

I like to think that I'd do something similar, as long as I'd have the energy.

tombert•1h ago
I think the fact that he wasn't content with learning enough is likely why he did so much amazing stuff. A lot of people would have been content enough to have invented Quicksort, but Hoare went on to make CSP, Hoare Logic, UTP, and a million other amazing things.

I like to think I'm the same way; I haven't won a Turing award yet, and I don't even have a PhD, but I've always been someone who is sort of obsessed with learning new things about software and math. It's basically been the only edge I've had over most of my peers: my willingness to learn new things to try and keep up with trends. Peoples' unwillingness to learn new things has been highlighted recently with AI, but tech has famously always progressed pretty quickly and I've always been terrified of being left behind.

I've grown to really respect lifelong learners. It's very easy (and tempting!) to stop learning after university, but I think it's worth it to never feel like you've learned "enough". My dad is looking to retire soonish, and he's considering re-enrolling in University to get a masters in theoretical physics since he always felt he should have learned that better. I hope I'm the same way when I'm his age.

soumyaskartha•1m ago
Null references, CSP, Quicksort. One person responsible for that much of how we think about computing is rare. The null reference apology alone earned him a permanent place in the conversation.

ARM AGI CPU: Specs and SKUs

https://sbcwiki.com/docs/soc-manufacturers/arm/arm-silicon/
43•HeyMeco•43m ago•8 comments

Hypura – A storage-tier-aware LLM inference scheduler for Apple Silicon

https://github.com/t8/hypura
125•tatef•2h ago•58 comments

Arm AGI CPU

https://newsroom.arm.com/blog/introducing-arm-agi-cpu
46•RealityVoid•1h ago•21 comments

Hypothesis, Antithesis, Synthesis

https://antithesis.com/blog/2026/hegel/
108•alpaylan•3h ago•51 comments

No Terms. No Conditions

https://notermsnoconditions.com
141•bayneri•2h ago•54 comments

Show HN: Email.md – Markdown to responsive, email-safe HTML

https://www.emailmd.dev/
58•dancablam•2h ago•21 comments

Malicious litellm_init.pth in litellm 1.82.8 PyPI package – credential stealer

https://github.com/BerriAI/litellm/issues/24512
699•theanonymousone•6h ago•279 comments

Lago (YC S21) Is Hiring

https://getlago.notion.site/Lago-Product-Engineer-AI-Agents-for-Growth-327ef63110d280cdb030ccf429...
1•AnhTho_FR•55m ago

Show HN: Gemini can now natively embed video, so I built sub-second video search

https://github.com/ssrajadh/sentrysearch
97•sohamrj•3h ago•34 comments

Tony Hoare and His Imprint on Computer Science

https://cacm.acm.org/blogcacm/tony-hoare-and-his-imprint-on-computer-science/
42•matt_d•3d ago•4 comments

Nanobrew: The fastest macOS package manager compatible with brew

https://nanobrew.trilok.ai/
118•syrusakbary•7h ago•75 comments

Data Manipulation in Clojure Compared to R and Python

https://codewithkira.com/2024-07-18-tablecloth-dplyr-pandas-polars.html
21•tosh•2d ago•0 comments

Testing the Swift C compatibility with Raylib (+WASM)

https://carette.xyz/posts/swift_c_compatibility_with_raylib/
39•LucidLynx•2d ago•15 comments

Microsoft's "Fix" for Windows 11: Flowers After the Beating

https://www.sambent.com/microsofts-plan-to-fix-windows-11-is-gaslighting/
802•h0ek•9h ago•594 comments

WolfGuard: WireGuard with FIPS 140-3 cryptography

https://github.com/wolfssl/wolfguard
49•789c789c789c•2h ago•27 comments

Show HN: ProofShot – Give AI coding agents eyes to verify the UI they build

https://github.com/AmElmo/proofshot
72•jberthom•10h ago•55 comments

Debunking Zswap and Zram Myths

https://chrisdown.name/2026/03/24/zswap-vs-zram-when-to-use-what.html
142•javierhonduco•8h ago•38 comments

Ripgrep is faster than grep, ag, git grep, ucg, pt, sift (2016)

https://burntsushi.net/ripgrep/
271•jxmorris12•12h ago•110 comments

So where are all the AI apps?

https://www.answer.ai/posts/2026-03-12-so-where-are-all-the-ai-apps.html
285•tanelpoder•4h ago•270 comments

LaGuardia pilots raised safety alarms months before deadly runway crash

https://www.theguardian.com/us-news/2026/mar/24/laguardia-airplane-pilots-safety-concerns-crash
215•m_fayer•3h ago•178 comments

curl > /dev/sda: How I made a Linux distro that runs wget | dd

https://astrid.tech/2026/03/24/0/curl-to-dev-sda/
123•astralbijection•8h ago•51 comments

Secure Domain Name System (DNS) Deployment 2026 Guide [pdf]

https://nvlpubs.nist.gov/nistpubs/SpecialPublications/NIST.SP.800-81r3.pdf
73•XzetaU8•6h ago•7 comments

Apple Business

https://www.apple.com/newsroom/2026/03/introducing-apple-business-a-new-all-in-one-platform-for-b...
159•soheilpro•3h ago•139 comments

Country that put backdoors in Cisco routers to spy on world bans foreign routers

https://www.theregister.com/2026/03/24/fcc_foreign_routers/
59•beardyw•1h ago•23 comments

io_uring, libaio performance across Linux kernels and an unexpected IOMMU trap

https://blog.ydb.tech/how-io-uring-overtook-libaio-performance-across-linux-kernels-and-an-unexpe...
43•tanelpoder•5h ago•16 comments

Opera: Rewind The Web to 1996 (Opera at 30)

https://www.web-rewind.com
166•thushanfernando•10h ago•104 comments

Box of Secrets: Discreetly modding an apartment intercom to work with Apple Home

https://www.jackhogan.me/blog/box-of-secrets/
246•jackhogan11•1d ago•103 comments

Log File Viewer for the Terminal

https://lnav.org/
275•wiradikusuma•13h ago•46 comments

LLM Neuroanatomy II: Modern LLM Hacking and Hints of a Universal Language?

https://dnhkng.github.io/posts/rys-ii/
98•realberkeaslan•8h ago•30 comments

The AI Industry Is Lying to You

https://www.wheresyoured.at/the-ai-industry-is-lying-to-you/
64•spking•1h ago•15 comments