llms have a quirky habit of not balancing parentheses in lisps

Under the hood: Vec<T> Let's look at Vec<T> to get a better understanding of its inner structure.

"Under the hood: Vec<T>": marma.dev/articles/202...

Public view of Lean | Zulip team chat Browse the publicly accessible channels in Lean without logging in.

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...

Code Review Can Be Better Insights, updates, and technical deep dives on building a high-performance financial transactions database.

"Code Review Can Be Better": tigerbeetle.com/blog/2025-08...

Will there be recordings?

they know their userbase :)

Typechecker zoo sdiehl.github.io/typechecker-...

"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

GitHub - tanrax/lobsters.el: A simple and elegant Lobsters client for Emacs A simple and elegant Lobsters client for Emacs. Contribute to tanrax/lobsters.el development by creating an account on GitHub.

A Lobsters client for Emacs github.com/tanrax/lobst...

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.

"Why I'm Leaving NixOS After a Year": www.rugu.dev/en/blog/leav...

jakeg -> 2025 -> why-nix

"why-nix": jakegines.in/blog/2025/wh...

"OCaml Game Engine: ECS": edwardwibowo.com/blog/ocaml-g...

Northeastern’s redesign of the Khoury curriculum abandons the fundamentals of computer science 59 comments

Relevant lobsters link: lobste.rs/s/els8k7/nor...

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

GitHub - stumpwm/stumpwm: The Stump Window Manager The Stump Window Manager. Contribute to stumpwm/stumpwm development by creating an account on GitHub.

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