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`

amos @fasterthanlime@hachyderm.io

2/5/2026, 11:20:59 AM

Public

Last week I started learning about formal verification tools, and today, folks working on those tools are submitting pull requests to my project. Pretty cool stuff!

https://github.com/facet-rs/trame/pull/6

creusot: Start verifying apply_set, Scalar branch by Lysxia · Pull Request #6 · facet-rs/trame

Here's a first stab at encoding the invariant (Invariant) of Trame: initialized = true means that node.data points to initialized data. Functions must preserve the type invariant, so in partic...

github.com · GitHub

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