frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Dijkstra on Ada

https://craftofcoding.wordpress.com/2014/04/16/dijkstra-on-ada/
42•cpeterso•8h ago

Comments

ggm•6h ago
I have it in my mind that Wirth floated modula/modula-2 variants into the early round of Ada candidates but I can find nothing evident.

My back reasoning to it's truth is threefold:

1) He did a residency at York university relating to pascal and modula in teaching CS. That's why my first uni language was pascal. (He'd just left)

2) York used pascal and modula heavily across the Ada specification window

3) York got an SERC or other funding contract to implement a multi pass Ada compiler on BSD Unix.

Which would mean (if true) Dijkstra's comments basically slated all of the candidate languages, and by implication Wirths language views, given he'd worked on the IFIP programming language specification process and was so strongly associated with pascal variants of imperative programming languages.

zombot•3h ago
I can't make heads or tails of this.
erk__•2h ago
A better article that is actually about the competition is this one which was on HN the other day: https://iment.com/maida/computer/redref/

https://news.ycombinator.com/item?id=44048775

f1shy•2h ago
Does somebody have more context about it? What were the other colors? This says absolutely nothing to me.
amszmidt•2h ago
> What were the other colors?

ADA was designed around a competition between four companies, to make it unbiased the proposals got named by colour.

Honeywell was Green, Intermetrics was Red, SofTech was Blue, and SRI was Yellow. There where no other colors.

phtrivier•2h ago
I wish the author had provided a link to the full reviews - I suspect they were more substantial.

As a aside : let's thank the FSM that Dijkstra never had access to social media - I suspect he had the kind of "abrasive" personality that would have made him probe to wasting his time and intellect arguing with all the randos of the world.

blablablerg•1h ago
And you don't think he would adjust like Linus for example?
enriquto•1h ago
maybe. But that would be so sad! (as it is with Linus)
badpenny•46m ago
https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD659...

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD660...

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD661...

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD662...

Surac•1h ago
That settles it for now and forever. Men are only able to distinguish 6 colors.
rini17•1h ago
The actual modern Ada ended up being reasonable and the conservative design is justified. And it's no more verbose than Java anyway. Is there any writeup on the discrepance between the hysteria and the real thing?

I think it was blowback to the hype. Rust, sadly, seem to be bound to end likewise as the rustaceans enthusiastically endorse AI-driven rewriting of legacy DoD C code into Rust. What can go wrong there?

hello_computer•1h ago
Did Dijkstra have anything nice to say about anything?

Gemini Diffusion

https://simonwillison.net/2025/May/21/gemini-diffusion/
495•mdp2021•7h ago•119 comments

JEP 519: Compact Object Headers

https://openjdk.org/jeps/519
14•Skinney•32m ago•1 comments

Why does Debian change software?

https://blog.liw.fi/posts/2025/why-debian-changes/
55•tapanjk•2h ago•32 comments

Decibels Are Ridiculous

https://lcamtuf.substack.com/p/decibels-are-ridiculous
181•Ariarule•4h ago•98 comments

Inigo Quilez: computer graphics, mathematics, shaders, fractals, demoscene

https://iquilezles.org/articles/
97•federicoponzi•3d ago•13 comments

Kotlin-Lsp: Kotlin Language Server and Plugin for Visual Studio Code

https://github.com/Kotlin/kotlin-lsp
86•todsacerdoti•6h ago•46 comments

Direct TLS can speed up your connections

https://marc-bowes.com/postgres-direct-tls.html
32•tanelpoder•3h ago•7 comments

Getting a paper accepted

https://maxwellforbes.com/posts/how-to-get-a-paper-accepted/
127•stefanpie•7h ago•51 comments

The Lost Decade of Small Data?

https://duckdb.org/2025/05/19/the-lost-decade-of-small-data.html
82•andreasha•3d ago•24 comments

For algorithms, a little memory outweighs a lot of time

https://www.quantamagazine.org/for-algorithms-a-little-memory-outweighs-a-lot-of-time-20250521/
264•makira•13h ago•67 comments

Devstral

https://mistral.ai/news/devstral
516•mfiguiere•18h ago•114 comments

Hotspot: Linux `perf` GUI for performance analysis

https://github.com/KDAB/hotspot
7•jez•2d ago•2 comments

ITXPlus: A ITX Sized Macintosh Plus Logicboard Reproduction

https://68kmla.org/bb/index.php?threads/itxplus-a-itx-sized-macintosh-plus-logicboard-reproduction.49715/
86•zdw•11h ago•19 comments

CERN gears up to ship antimatter across Europe

https://arstechnica.com/science/2025/05/cern-gears-up-to-ship-antimatter-across-europe/
154•ben_w•2d ago•85 comments

Rocky Linux 10 Will Support RISC-V

https://rockylinux.org/news/rockylinux-support-for-riscv
142•fork-bomber•12h ago•73 comments

Show HN: Display any CSV file as a searchable, filterable, pretty HTML table

https://github.com/derekeder/csv-to-html-table
138•indigodaddy•8h ago•26 comments

Collaborative Text Editing Without CRDTs or OT

https://mattweidner.com/2025/05/21/text-without-crdts.html
227•samwillis•15h ago•64 comments

Gemini figured out my nephew’s name

https://blog.nawaz.org/posts/2025/May/gemini-figured-out-my-nephews-name/
115•BeetleB•3d ago•59 comments

Animated Factorization (2012)

http://www.datapointed.net/visualizations/math/factorization/animated-diagrams/
250•miniBill•18h ago•55 comments

OpenAI to buy AI startup from Jony Ive

https://www.bloomberg.com/news/articles/2025-05-21/openai-to-buy-apple-veteran-jony-ive-s-ai-device-startup-in-6-5-billion-deal
728•minimaxir•15h ago•973 comments

LLM function calls don't scale; code orchestration is simpler, more effective

https://jngiam.bearblog.dev/mcp-large-data/
226•jngiam1•15h ago•81 comments

The curious tale of Bhutan's playable record postage stamps (2015)

https://thevinylfactory.com/features/the-curious-tale-of-bhutans-playable-record-postage-stamps/
108•ohjeez•14h ago•14 comments

Possible new dwarf planet found in our solar system

https://www.minorplanetcenter.net/mpec/K25/K25K47.html
132•ddahlen•14h ago•87 comments

The Machine Stops (1909)

https://standardebooks.org/ebooks/e-m-forster/short-fiction/text/the-machine-stops
91•xeonmc•11h ago•19 comments

An upgraded dev experience in Google AI Studio

https://developers.googleblog.com/en/google-ai-studio-native-code-generation-agentic-tools-upgrade/
152•meetpateltech•15h ago•90 comments

Dijkstra on Ada

https://craftofcoding.wordpress.com/2014/04/16/dijkstra-on-ada/
42•cpeterso•8h ago•12 comments

Sorcerer (YC S24) Is Hiring a Lead Hardware Design Engineer

https://jobs.ashbyhq.com/sorcerer/6beb70de-9956-49b7-8e28-f48ea39efac6
1•maxmclau•11h ago

Ancient reptile footprints are rewriting the history of when animals evolved

https://apnews.com/article/oldest-reptile-footprints-australia-963e3c38c8d5782e7ac20f5405f15f89
15•gmays•3d ago•3 comments

Show HN: Confidential computing for high-assurance RISC-V embedded systems

https://github.com/IBM/ACE-RISCV
89•mrnoone•12h ago•5 comments

Tales from Mainframe Modernization

https://oppi.li/posts/tales_from_mainframe_modernization/
49•todsacerdoti•8h ago•20 comments