chayleaf's Avatar

chayleaf

@pavluk.org.bsky.social

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

3 Followers  |  27 Following  |  20 Posts  |  Joined: 17.10.2025  |  1.8486

Latest posts by pavluk.org on Bluesky

PLEASE DO A COMPANION CUBE STEAM MACHINE PLEAASEEEEEE PLEASSSEEEEEEEEEEEEEEEEEEE

12.11.2025 18:31 β€” πŸ‘ 25    πŸ” 5    πŸ’¬ 3    πŸ“Œ 0

i have 62 hits, 21 of them are for robots.txt.

03.11.2025 23:20 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

you can also use kde connect for that!

03.11.2025 21:31 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

f5 fixed it i think?

01.11.2025 17:38 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

WHAT HAPPENED TO MY FONT RENDERING

01.11.2025 17:38 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

if you use a vector your program is boring sorry not sorry 🫴

31.10.2025 23:20 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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)

31.10.2025 09:45 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I REVIveD THE SERVeR

the fact you're reading this is a miracle honestly

31.10.2025 09:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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 πŸ₯Ί

25.10.2025 06:16 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

likeee.

24.10.2025 13:23 β€” πŸ‘ 116    πŸ” 20    πŸ’¬ 0    πŸ“Œ 0

beta reduction the ultimate form of yuri

24.10.2025 12:08 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

building horrors beyond comprehension

23.10.2025 05:27 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

extensibility has been my microobsession for like 8 years already, i didn't know any CS theory back then and just now i'm starting to develop the understanding of what makes systems extensible... it's a hard topic (imo very related to distributed systems), most devs just want to "get shit done"

23.10.2025 03:17 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Exploring Arrows for sequencing effects Monads are <em>one</em> way to sequence effects, but they're not the only way!

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

21.10.2025 02:41 β€” πŸ‘ 12    πŸ” 6    πŸ’¬ 1    πŸ“Œ 0
Who tf are you people i thought i hired atp developers with aproto devs and mitochrondria

Who tf are you people i thought i hired atp developers with aproto devs and mitochrondria

19.10.2025 16:20 β€” πŸ‘ 914    πŸ” 222    πŸ’¬ 10    πŸ“Œ 5
A panel from Springtime of Girls with Asahigawa Akane saying "Just between us, if you can't even feel someone's gaze you'll never make it as a protagonist"

A panel from Springtime of Girls with Asahigawa Akane saying "Just between us, if you can't even feel someone's gaze you'll never make it as a protagonist"

can confirm βœ…

19.10.2025 00:20 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

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

18.10.2025 00:12 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

09.10.2025 00:26 β€” πŸ‘ 118    πŸ” 15    πŸ’¬ 8    πŸ“Œ 3

my osu! consistency only started growing when i started training it, who could've predicted this

17.10.2025 22:24 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

what is bsky anyway

17.10.2025 03:57 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

spent a few hours setting up pds instead of scanlating yuri this better be worth it

17.10.2025 03:55 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

17.10.2025 03:33 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

no pronouns field what is this 2010

17.10.2025 03:18 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

SCREW you atproto couldnt get my handle to work so im just using a domain handle now

17.10.2025 03:18 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

still invalid handleeeeeeee selfhosting atproto has certainly been an experience

17.10.2025 02:29 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@pavluk.org is following 20 prominent accounts