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
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
cursed idea: semantic whitespace for function application
f g(h) -> apply f to g(h)
f g (h) -> apply f g to h
or even
f g h -> apply f to g h
f g(h) -> apply f to g(h)
f g (h) -> apply f g to h
or even
f g h -> apply f to g h
December 17, 2025 at 2:24 AM
cursed idea: semantic whitespace for function application
f g(h) -> apply f to g(h)
f g (h) -> apply f g to h
or even
f g h -> apply f to g h
f g(h) -> apply f to g(h)
f g (h) -> apply f g to h
or even
f g h -> apply f to g h
Reposted by chayleaf
oh, that character there is genocide guy, he's kind of a fan favorite. the one next to him, though, that's the one everyone hates, she was rude once.
December 9, 2025 at 12:59 AM
oh, that character there is genocide guy, he's kind of a fan favorite. the one next to him, though, that's the one everyone hates, she was rude once.
i hate that i see this and immediately go “oh yeah 13, 10, 9, 5, 8, 4, 3, 14, 10, 9, 5, 9, 4, 3, 8, 5, 6, 11, 12, 1, 2, 4, 3, 15, 4, 3, 15, 8, 15, 11, 12, 7, 6, 5, 11, 12, 7, 6, 5, 9, uuh i forgot”
December 7, 2025 at 12:42 PM
i hate that i see this and immediately go “oh yeah 13, 10, 9, 5, 8, 4, 3, 14, 10, 9, 5, 9, 4, 3, 8, 5, 6, 11, 12, 1, 2, 4, 3, 15, 4, 3, 15, 8, 15, 11, 12, 7, 6, 5, 11, 12, 7, 6, 5, 9, uuh i forgot”
Reposted by chayleaf
the more I learn about cryptography the more I think Alice and Bob should probably just talk in person
November 23, 2024 at 12:27 AM
the more I learn about cryptography the more I think Alice and Bob should probably just talk in person
omg i just somehow ran into a situation where NullReferenceException was being thrown even after a null check??? sure c# whatever you say i'll just use a try catch...
December 4, 2025 at 11:58 AM
omg i just somehow ran into a situation where NullReferenceException was being thrown even after a null check??? sure c# whatever you say i'll just use a try catch...
currying may feel like a gimmick but when the argument you're passing is non-trivial (like the result of calling a function) they can actually give you performance savings for free (can be emulated by storing that result into a captured variable but that's much more boilerplate)
December 4, 2025 at 11:01 AM
currying may feel like a gimmick but when the argument you're passing is non-trivial (like the result of calling a function) they can actually give you performance savings for free (can be emulated by storing that result into a captured variable but that's much more boilerplate)
Reposted by chayleaf
This Pluribus ad on a fridge caused a schizophrenic woman named Carol to be hospitalized.
December 4, 2025 at 3:08 AM
This Pluribus ad on a fridge caused a schizophrenic woman named Carol to be hospitalized.
aoc day 1
a←⌽,⍉⊃{(⍎1↓⍵)×(1-2×⍵[1]="L")}¨((x≠"\n")⊂x←⎕FIO[26]"01.txt")◊z←0◊z←z+50=100|{z←z+50=100|⍵◊⍺+⍵}/a◊z
can i go home please 🥺
a←⌽,⍉⊃{(⍎1↓⍵)×(1-2×⍵[1]="L")}¨((x≠"\n")⊂x←⎕FIO[26]"01.txt")◊z←0◊z←z+50=100|{z←z+50=100|⍵◊⍺+⍵}/a◊z
can i go home please 🥺
December 3, 2025 at 11:51 AM
aoc day 1
a←⌽,⍉⊃{(⍎1↓⍵)×(1-2×⍵[1]="L")}¨((x≠"\n")⊂x←⎕FIO[26]"01.txt")◊z←0◊z←z+50=100|{z←z+50=100|⍵◊⍺+⍵}/a◊z
can i go home please 🥺
a←⌽,⍉⊃{(⍎1↓⍵)×(1-2×⍵[1]="L")}¨((x≠"\n")⊂x←⎕FIO[26]"01.txt")◊z←0◊z←z+50=100|{z←z+50=100|⍵◊⍺+⍵}/a◊z
can i go home please 🥺
dsls should be graphical not just textual programmers are so boring
December 3, 2025 at 4:14 AM
dsls should be graphical not just textual programmers are so boring
maybe i should do advent of code in apl... time though...
December 2, 2025 at 8:51 AM
maybe i should do advent of code in apl... time though...
Reposted by chayleaf
New AI slop signal: code blocks with weird indentation
https://xeiaso.net/notes/2025/slop-signal-indentation/
https://xeiaso.net/notes/2025/slop-signal-indentation/
New AI slop signal: code blocks with weird indentation
The newest post on Xe Iaso's blog
xeiaso.net
December 2, 2025 at 2:43 AM
New AI slop signal: code blocks with weird indentation
https://xeiaso.net/notes/2025/slop-signal-indentation/
https://xeiaso.net/notes/2025/slop-signal-indentation/
god only knows (a great opening from a bad anime) has a line "anyone could be a hero and heroine", it always felt very trans coded to me (probably unintentional but i couldn't care less)
youtu.be/iYP5EzO9lJE at 3:44
youtu.be/iYP5EzO9lJE at 3:44
God only knows
YouTube video by Oratorio The World God Only Knows - Topic
youtu.be
December 2, 2025 at 8:27 AM
god only knows (a great opening from a bad anime) has a line "anyone could be a hero and heroine", it always felt very trans coded to me (probably unintentional but i couldn't care less)
youtu.be/iYP5EzO9lJE at 3:44
youtu.be/iYP5EzO9lJE at 3:44
soundcloud.com/realshitbast... this track is such a journey i keep returning to it go listeeeen
Postlude Evangelist
:||
------------------------------------------------------------------------
REAL SHIT BASTARDS - Postlude Evangelist
(0:00-) REAL SHIT BASTARDS - FLASHBACK
(2:26-) REAL SHIT BASTARDS - SEPIA CA
soundcloud.com
November 28, 2025 at 3:18 PM
soundcloud.com/realshitbast... this track is such a journey i keep returning to it go listeeeen
Reposted by chayleaf
The only legitimate software development methodology:
1. Think very hard about an implementation
2. Don't do anything
1. Think very hard about an implementation
2. Don't do anything
November 27, 2025 at 4:11 PM
The only legitimate software development methodology:
1. Think very hard about an implementation
2. Don't do anything
1. Think very hard about an implementation
2. Don't do anything
Reposted by chayleaf
gossun gossun gossun kugi
November 28, 2025 at 1:19 PM
gossun gossun gossun kugi
continuing work on my lambda calculus+datalog graph reduction vm with incremental recomputation i swear i will make it the best langdev platform in the world 😈
November 28, 2025 at 1:13 PM
continuing work on my lambda calculus+datalog graph reduction vm with incremental recomputation i swear i will make it the best langdev platform in the world 😈
Reposted by chayleaf
Forcefem
November 25, 2025 at 9:34 PM
Forcefem
emacs - an editor that encourages configurability (makes the defaults so horrible you're forced to change them)
November 25, 2025 at 4:43 AM
emacs - an editor that encourages configurability (makes the defaults so horrible you're forced to change them)
Reposted by chayleaf
November 24, 2025 at 11:18 PM
Reposted by chayleaf
Drew a comic about my experience getting into the hardest modpack in factorio lol (1000+ hrs playtime)
I doubt i'll finish it, but it's been fun!
I doubt i'll finish it, but it's been fun!
November 24, 2025 at 12:13 PM
Drew a comic about my experience getting into the hardest modpack in factorio lol (1000+ hrs playtime)
I doubt i'll finish it, but it's been fun!
I doubt i'll finish it, but it's been fun!