Hackers' Pub

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`

chris martens @chrisamaphone@hci.social

6/30/2025, 6:44:18 PM

Public

i was not expecting the number of people in shriram’s replies trying to name languages more obscure than ocaml 💀 https://mastodon.social/@shriramk/114772343142354933

Jane Street's sneaky retention tactic
It involves the use of an obscure, French programming language

Shriram Krishnamurthi (@shriramk@mastodon.social)

Attached: 1 image In The Economist:

mastodon.social · Mastodon

chris martens @chrisamaphone@hci.social

6/30/2025, 6:51:49 PM

Public

french research languages are a dime a dozen for us PL academics, so it’s easy to forget that the average person probably only knows about rocq and one or two logic programming languages. and ocaml, of course. (https://xkcd.com/2501/)

Average Familiarity

xkcd.com · xkcd

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