frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Dijkstra never took a biology course

https://surfingcomplexity.blog/2025/05/31/dijkstra-never-took-a-biology-course/
2•azhenley•1d ago

Comments

_wire_•1d ago
Article appears to be well meaning, but is just another exhausting example of Brandolini's law:

> Dijkstra claims simplicity is a prerequisite for reliability. According to Dijkstra, if we encounter a system that’s reliable, it must be a simple system, because simplicity is required to achieve reliability. reliability ⇒ simplicity

Begged question. Dijkstra did not reason by analytically smashing a problem's bones with Occam's axe.

This author seems to not understand anything about his premise and wildly waves his hands to a associate his begged question with attributions to authors:

> reliability ⇒ complexity Look at classic works on improving the reliability of real-world systems like Michael Nygard’s Release It!, Joe Armstrong’s Making reliable distributed systems in the presence of software errors, and Jim Gray’s Why Do Computers Stop and What Can Be Done About It?

Suggestions for how to incrementally decrease the failure modes of a system you don't understand should not be attributed to Dijkstra! He didn't think like this. He was interested in reasoning about program correctness. His concerns were why should you trust the output of a program; formally, how do you know it is correct; how can you show you understand a program. He reasoned about programming mathematically, from axioms, through theorems, to lemmas, to proofs. He did his reasoning about correctness via consideration of carefully defined problems and computing machines.

To clarify context about "computational" correctness, Dijkstra'a life spanned a time where the word computer went from meaning a human being performing a calculation— implying all the richness of human thought brought to bear on a problem— to the edge our modern world of pocket devices with trillions of parts running at billions of cycles per second.

As to any analogy of reliability taken from biology: please note that life's primary contour of fitness is expressed in death!

anyonecancode•1d ago
I don't think article is comparing like things. Biological _systems_ are indeed complex and reliable, but biological _processes_ are not. They fail all the time -- if they didn't there'd be no need for an immune system (and on the flip side, there'd be no genetic mutation and so no natural selection and evolution). To compare like to like, look at processes vs programs, not systems vs programs.

Inventing Japanese Braille

https://www.historyworkshop.org.uk/disability-history/inventing-japanese-braille/
1•zdw•4m ago•0 comments

2024 Pay for S&P 500 CEOs

https://www.wsj.com/business/rick-smith-axon-ceo-pay-package-2024-6e864a64
1•J253•9m ago•0 comments

Show HW: A small library for stack-trace-like error messages in Rust

https://docs.rs/errors_with_context/latest/errors_with_context/
1•AnyTimeTraveler•17m ago•0 comments

Does U.S. Need to Build Hardened Aircraft Shelters for Combat Aircraft? (2024)

https://www.twz.com/news-features/does-the-u-s-need-to-be-building-hardened-aircraft-shelters-for-its-combat-aircraft
1•walterbell•17m ago•0 comments

Show HN: I built an AI Agent that uses the iPhone

https://github.com/rounak/PhoneAgent
1•rounak•21m ago•0 comments

Automatic rollbacks are a last resort

https://octopus.com/blog/automatic-rollbacks-last-resort
1•gpi•22m ago•0 comments

How Can AI Researchers Save Energy? By Going Backward

https://www.quantamagazine.org/how-can-ai-researchers-save-energy-by-going-backward-20250530/
2•pseudolus•29m ago•0 comments

Bugs Love Starlink [video]

https://www.reddit.com/r/Starlink/s/enZE2dQCxo
3•elsewhen•29m ago•0 comments

Building a Newsroom Technology Culture

https://werd.io/2025/building-a-newsroom-technology-culture
1•benwerd•37m ago•0 comments

Transitive Closure in PostgreSQL

https://engineering.remind.com/Transitive-Closure-In-PostgreSQL/
1•thunderbong•41m ago•0 comments

Show HN: LMStudio Client in Elixir

https://github.com/arthurcolle/lmstudio.ex
1•arthurcolle•42m ago•0 comments

What megalodon ate to meet its 100k-calorie daily requirement

https://www.cnn.com/2025/05/27/science/megalodon-diet-prey-fossil-teeth
1•newsuser•50m ago•0 comments

Silicon Valley wants to help me make a superbaby

https://sfstandard.com/2025/06/01/silicon-valley-wants-to-help-me-make-a-superbaby-should-i-let-it/
15•user72343432754•52m ago•1 comments

Uploading the Human Mind Could One Day Become a Reality, Predicts Neuroscientist

https://www.sciencealert.com/uploading-the-human-mind-could-become-a-reality-expert-says
2•m463•55m ago•1 comments

The Princeton INTERCAL Compiler's source code

https://esoteric.codes/blog/published-for-the-first-time-the-original-intercal72-compiler-code
18•surprisetalk•1h ago•1 comments

Exponential Functions and Euler's Formula

http://www.deaneyang.com//blog/blog/math/exponential-function/euler-formula/2025/05/29/ExponentialFunctions.html
3•surprisetalk•1h ago•0 comments

I Miss My Fan Regulator

https://rishikeshs.com/fan-regulator/
10•surprisetalk•1h ago•10 comments

Not Everything Is on the Internet (2024)

https://www.bruh.ltd/blog/not-everything-is-on-the-internet/
5•surprisetalk•1h ago•2 comments

The Heat Mirage: My least-favorite internet maneuver

https://dynomight.net/heat/
2•surprisetalk•1h ago•0 comments

Measles vaccines save lives each year

https://ourworldindata.org/measles-vaccines-save-lives
5•surprisetalk•1h ago•0 comments

Claude Code: An Analysis

https://southbridge-research.notion.site/claude-code-an-agentic-cleanroom-analysis
2•amrrs•1h ago•1 comments

Harvard Has Trained So Many Chinese Officials, They Call It Their 'Party School'

https://www.wsj.com/world/china/china-communist-party-harvard-f855112b
7•mudil•1h ago•1 comments

My clerk landing page template, for free

https://twitter.com/TaylorHadfield4/status/1929341827410170353
1•Theoya•1h ago•0 comments

Show HN: Agno – A full-stack framework for building Multi-Agent Systems

https://github.com/agno-agi/agno
1•bediashpreet•1h ago•0 comments

New sonar tool is a 'game changer' for mapping the sea floor

https://www.science.org/content/article/new-sonar-tool-game-changer-mapping-sea-floor
3•ipunchghosts•1h ago•0 comments

TPDE: A Fast Adaptable Compiler Back-End Framework

https://arxiv.org/abs/2505.22610
2•npalli•1h ago•0 comments

Schulte Grid Training – Django app for attention/reaction speed training

https://schultetable.net/en/
1•AdamRichic•1h ago•0 comments

Future of Professionals Report (2024) [pdf]

https://www.thomsonreuters.com/content/dam/ewp-m/documents/thomsonreuters/en/pdf/reports/future-of-professionals-report-2024.pdf
3•gnabgib•1h ago•0 comments

Generative AI will probably make blogs better

https://www.pcloadletter.dev/blog/ai-will-make-blogging-better/
2•ronbenton•1h ago•0 comments

Structured Exercise After Adjuvant Chemotherapy for Colon Cancer

https://www.nejm.org/doi/full/10.1056/NEJMoa2502760
4•ckcheng•1h ago•1 comments