"Under the hood: Vec<T>": marma.dev/articles/202...
22.09.2025 21:04
👍 3
🔁 0
💬 0
📌 0
The Lean project is looking for someone to work on a documentation tool for math/technical communication. This is likely to be very influential, so a chance for someone with the right skills to have great impact. See the announcement here:
leanprover.zulipchat.com#narrow/chann...
Eli has a conversation with an LLM and crashes out: tmp.barzilay.org/ai-frustration
Sometimes I forget that I use an editor older than me
Framework 16 update W 👏
"How to Learn Nix": ianthehenry.com/posts/how-to...
Will there be recordings?
they know their userbase :)
"Anamorphic macros": letoverlambda.com/index.cl/gue...
irc just has a nice vibe to it
Racket Logo stylised lambda in white on red/blue disk
# (fifteenth RacketCon)
October 4-5, 2025, UMass Boston
con.racket-lang.org
[To register, buy a ticket via Eventbrite](www.eventbrite.com/e/racketcon-...). If you cannot attend in-person, there is an option to help support the livestream for remote participants.
need a jsdate.wtf but for nix: nix.wtf?
nixos-infect really works like a charm with Hetzner
maybe it's time to host my own personal forgejo instance
Players of Asahikawa Shihou collected dirt from the Koshien stadium after losing.
Koryo (Hiroshima) defeats Asahikawa Shihou (North Hokkaido) in the first round of the Summer Koshien! Great game.
Cup of the first infusion of a hot brew tea
Third infusion of tea but cold
"Mizudashi" -- iced tea brew
"Mori" tea experience at ITO in Makati
Making cold-brew filter coffee "Experimental Brew - Semi-cold Extraction"
A cup of cold coffee "Experimental Brew - Semi-cold Extraction"
A cup with hot coffee and some snack "Limited Filter - Hot Brew"
Filter coffee experience at ITO in Makati
If elisp is too esoteric, there's also StumpWM configurable with common lisp: github.com/stumpwm/stum...
Reminded by my theory of computation class that I cannot, in fact, write a regex for balanced parentheses in my Emacs font-locking.
We should all be writing software in lambda calculus
DSLs for configuration feels like an underrated idea
Excerpt from "Axiomatic Set Theory", Tom Leinster. I once began a talk to a large roomful of mathematicians by asking everyone to raise their hand if they were sure they knew the definition of group. Everyone’s hand went up. While the hands stayed up, we agreed that the definition began: ‘a group is a set equipped with ...’. So, I said, if you’re confident you know what a group is, and the definition of group depends on the definition of set, then you must be at least as confident that you know what a set is. Nervous laughter. Then I asked the audience to keep their hands up if they were sure they knew what a set was—if they could state a rigorous definition or axioms. More nervous chuckles, and almost every hand went down.
Reminds me of this:
