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`

yosh @yosh@toot.yosh.is

4/12/2025, 12:43:02 AM

Public

I'm learning math notation this year! Why? Because I'm more formally learning about type systems this year! And that, like, requires being able to read math notation.

Can't overstate how useful https://github.com/Experience-Monks/math-as-code is for this. I've been meaning to sit down and learn this for over a decade now hah.

I'm combining inline LaTeX math notation in markdown, with Matt's math notes, and saving it all in Obsidian. Then when I work through a type system paper I can fill in any blanks.

An explainer of how thr Sigma operator works, including a rendered example, latex notation and a code equivalent.

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