chayleaf
pavluk.org
chayleaf
@pavluk.org
sentient leaf
they/she/acaofajmacoa/aaaaaaaaaaaaaaaa (you can go as weird as you want)
biggest enemy of computers
nixos user
yuri scanlator
this will do for now
coworker (employer)
coparent (child)
November 19, 2025 at 5:16 AM
November 18, 2025 at 11:52 PM
C standard really is a gift that keeps on giving
November 18, 2025 at 5:46 AM
today's minor update breakage: fish completions broke in home-manager and i had to hardcode the correct completions path

waaaa why can't updates just work
November 18, 2025 at 4:39 AM
C man pages are so convenient actually
November 18, 2025 at 4:33 AM
Reposted by chayleaf
PLEASE DO A COMPANION CUBE STEAM MACHINE PLEAASEEEEEE PLEASSSEEEEEEEEEEEEEEEEEEE
November 12, 2025 at 6:31 PM
WHAT HAPPENED TO MY FONT RENDERING
November 1, 2025 at 5:38 PM
if you use a vector your program is boring sorry not sorry 🫴
October 31, 2025 at 11:20 PM
weird insight from yesterday is that call-by-need is just call-by-value but you strictly evaluate the continuation and lazily evaluate the value (as opposed to lazily evaluating the continuation and strictly evaluating the value)
October 31, 2025 at 9:45 AM
I REVIveD THE SERVeR

the fact you're reading this is a miracle honestly
October 31, 2025 at 9:10 AM
syntax-first design does often lead to worse semantics but oh god hypergraphs are such a pain to work with can i have my syntax trees back please 🥺
October 25, 2025 at 6:16 AM
Reposted by chayleaf
likeee.
October 24, 2025 at 1:23 PM
beta reduction the ultimate form of yuri
October 24, 2025 at 12:08 PM
building horrors beyond comprehension
October 23, 2025 at 5:27 AM
Reposted by chayleaf
Don't get too hung up on #Monads, there are other ways to sequence effects; including Arrows; and they provide even better static analysis!

Let me know what you think :)

#Haskell

chrispenner.ca/posts/arrow-...
Exploring Arrows for sequencing effects
Monads are <em>one</em> way to sequence effects, but they're not the only way!
chrispenner.ca
October 21, 2025 at 2:41 AM
Reposted by chayleaf
October 19, 2025 at 4:20 PM
can confirm ✅
October 19, 2025 at 12:20 AM
if? independent extensibility is about allowing devs to perform commutative/associative operations on certain objects, it naturally follows that an language for extensible programs would be focused on commutative+associative operations

and now i have to build it sigh
October 18, 2025 at 12:12 AM
Reposted by chayleaf
btw what I did here was I took a data set of ChatGPT interactions collected in the wild and reversed the "assistant" and "user" tags. fine-tuned llama 8B on some of that data and gave it the ability to message you first. 😊
October 9, 2025 at 12:26 AM
my osu! consistency only started growing when i started training it, who could've predicted this
October 17, 2025 at 10:24 PM
what is bsky anyway
October 17, 2025 at 3:57 AM
spent a few hours setting up pds instead of scanlating yuri this better be worth it
October 17, 2025 at 3:55 AM
network.dns.native_https_query makes firefox use HTTPS service entries for ECH bypassing the first roundtrip of TLS

and THAT is what was occasionally breaking my services in firefox in my LAN i hate computers i hate computers i hate computers
October 17, 2025 at 3:33 AM
no pronouns field what is this 2010
October 17, 2025 at 3:19 AM