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`

@xy@mastodon.mit.edu

12/8/2025, 11:37:06 PM

Public

Now writing some Lean code to query cache.nixos.org using https://reservoir.lean-lang.org/@bergmannjg/Curl

Curl | Reservoir

Lean 4 bindings to libcurl

reservoir.lean-lang.org · Reservoir

@xy@mastodon.mit.edu

12/11/2025, 7:34:59 PM

Public

I finally installed all 71440 #NixOS packages in the official binary cache! https://unnamed.website/posts/installing-every-nixos-package/

I have no idea what to do next with this system...

A fastfetch screenshot of a NixOS 26.05 system but with 69700 packages installed (actually 71440 but the way that fastfetch counts packages is weird). The disk usage is 644 GiB due to the massive Nix store.

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