"Under the hood: Vec": marma.dev/articles/202...
Under the hood: Vec<T>
Let's look at Vec<T> to get a better understanding of its inner structure.
marma.dev
September 22, 2025 at 9:04 PM
"Under the hood: Vec": marma.dev/articles/202...
Reposted by Lucas
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...
leanprover.zulipchat.com#narrow/chann...
Public view of Lean | Zulip team chat
Browse the publicly accessible channels in Lean without logging in.
leanprover.zulipchat.com
September 6, 2025 at 2:28 PM
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...
leanprover.zulipchat.com#narrow/chann...
Eli has a conversation with an LLM and crashes out: tmp.barzilay.org/ai-frustration
tmp.barzilay.org
September 4, 2025 at 3:47 PM
Eli has a conversation with an LLM and crashes out: tmp.barzilay.org/ai-frustration
Framework 16 update W 👏
August 26, 2025 at 3:11 PM
Framework 16 update W 👏
"How to Learn Nix": ianthehenry.com/posts/how-to...
August 21, 2025 at 2:08 PM
"How to Learn Nix": ianthehenry.com/posts/how-to...
"Code Review Can Be Better": tigerbeetle.com/blog/2025-08...
Code Review Can Be Better
Insights, updates, and technical deep dives on building a high-performance financial transactions database.
tigerbeetle.com
August 20, 2025 at 1:58 PM
"Code Review Can Be Better": tigerbeetle.com/blog/2025-08...
Typechecker zoo sdiehl.github.io/typechecker-...
Introduction - Typechecker Zoo
Typecheckers built for fun
sdiehl.github.io
August 17, 2025 at 6:36 AM
Typechecker zoo sdiehl.github.io/typechecker-...
"Anamorphic macros": letoverlambda.com/index.cl/gue...
August 15, 2025 at 5:05 PM
"Anamorphic macros": letoverlambda.com/index.cl/gue...
irc just has a nice vibe to it
August 15, 2025 at 3:56 PM
irc just has a nice vibe to it
Reposted by Lucas
# (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.
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.
August 14, 2025 at 9:50 PM
# (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.
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?
August 13, 2025 at 2:41 PM
need a jsdate.wtf but for nix: nix.wtf?
nixos-infect really works like a charm with Hetzner
August 12, 2025 at 12:31 PM
nixos-infect really works like a charm with Hetzner
A Lobsters client for Emacs github.com/tanrax/lobst...
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.
github.com
August 10, 2025 at 4:40 PM
A Lobsters client for Emacs github.com/tanrax/lobst...
Koryo (Hiroshima) defeats Asahikawa Shihou (North Hokkaido) in the first round of the Summer Koshien! Great game.
August 7, 2025 at 12:31 PM
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...
Why I'm Leaving NixOS After a Year? |
rugu
www.rugu.dev
August 6, 2025 at 5:08 PM
"Why I'm Leaving NixOS After a Year": www.rugu.dev/en/blog/leav...
"why-nix": jakegines.in/blog/2025/wh...
jakeg -> 2025 -> why-nix
jakegines.in
July 21, 2025 at 5:39 AM
"why-nix": jakegines.in/blog/2025/wh...
"OCaml Game Engine: ECS": edwardwibowo.com/blog/ocaml-g...
OCaml Game Engine: ECS
My experience implementing camlcade's archetypal Entity-Component-System (ECS) in OCaml.
edwardwibowo.com
January 18, 2025 at 4:05 AM
"OCaml Game Engine: ECS": edwardwibowo.com/blog/ocaml-g...
"Mori" tea experience at ITO in Makati
January 4, 2025 at 2:06 PM
"Mori" tea experience at ITO in Makati
Filter coffee experience at ITO in Makati
January 4, 2025 at 2:02 PM
Filter coffee experience at ITO in Makati
Reminded by my theory of computation class that I cannot, in fact, write a regex for balanced parentheses in my Emacs font-locking.
December 23, 2024 at 3:48 PM
Reminded by my theory of computation class that I cannot, in fact, write a regex for balanced parentheses in my Emacs font-locking.
Racket has some hashlangs for literate programming:
- docs.racket-lang.org/scribble/lp....
- docs.racket-lang.org/brush/index....
- docs.racket-lang.org/scribble/lp....
- docs.racket-lang.org/brush/index....
December 22, 2024 at 1:00 PM
Racket has some hashlangs for literate programming:
- docs.racket-lang.org/scribble/lp....
- docs.racket-lang.org/brush/index....
- docs.racket-lang.org/scribble/lp....
- docs.racket-lang.org/brush/index....
"Using Guile for Emacs": rewriting the Elisp runtime in Guile Scheme lwn.net/SubscriberLi...
Using Guile for Emacs [LWN.net]
lwn.net
December 17, 2024 at 2:46 AM
"Using Guile for Emacs": rewriting the Elisp runtime in Guile Scheme lwn.net/SubscriberLi...
Matthias Felleisen rationalizes the structure of an intro CS course through a conversation: felleisen.org/matthias/Tho...
Python!
felleisen.org
December 17, 2024 at 12:57 AM
Matthias Felleisen rationalizes the structure of an intro CS course through a conversation: felleisen.org/matthias/Tho...
Magit packages are inconveniently breaking on my end. Debugging shows that straight is pulling those packages from the "melpa" branch, which seems not to exist. I thought this would have been a personal config issue, but it seems to not be the case unfortunately. 😔
December 15, 2024 at 7:08 AM
Magit packages are inconveniently breaking on my end. Debugging shows that straight is pulling those packages from the "melpa" branch, which seems not to exist. I thought this would have been a personal config issue, but it seems to not be the case unfortunately. 😔
Magit's bisect workflow feels so nice; it lets me diagnose a bad commit with minimal effort. Magit is just a thin, keystroke-based wrapper over the CLI, but it has dramatically improved my git productivity.
December 8, 2024 at 4:01 AM
Magit's bisect workflow feels so nice; it lets me diagnose a bad commit with minimal effort. Magit is just a thin, keystroke-based wrapper over the CLI, but it has dramatically improved my git productivity.