Hackers' Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

Hacker News 50 @hn50@social.lansky.name

3/18/2026, 12:20:07 PM

Public

Celebrating Tony Hoare's mark on computer science

Link: https://bertrandmeyer.com/2026/03/16/celebrating-tony-hoares-mark-on-computer-science/
Discussion: https://news.ycombinator.com/item?id=47422228

Celebrating Tony Hoare's mark on computer science - Bertrand Meyer's technology+ blog

Tony Hoare at the LASER summer school, September 2007 (All photographs in this article are by the author) Had they included just one of Tony Hoare’s major achievements, many scientific careers would be considered prestigious enough. His had a long list, which I am going to try to summarize, not pretending to get anywhere close ... Read more

bertrandmeyer.com · Bertrand Meyer's technology+ blog

If you have a fediverse account, you can quote this note from your own instance. Search https://social.lansky.name/users/hn50/statuses/116250142772893480 on your instance and quote it. (Note that quoting is not supported in Mastodon.)