Lean is quite good for games ...you mean game theory right? ...game theory, right? ...

Worst part of transitioning: hair set perfectly this morning look great, but all this to just go and mope in a Barnes and noble cafe alone and code

Hey!! haskell code is pretty to read sometimes at least

New york its been a banger! See you on the flipside! Heading home from the office for the last time before heading to the UK, returning (hopefully) in two weeks!

> Wake up on christmas morning > *ping* > first thing in the morning, email from Neringa about POPL damn I guess conference organisation is serious business, can't pause for anything

productive day at work; dopamine hits from closing issues keep me going~ time to head home

you think that's bad? look at the one I got

alone in the office on boxing day; everyone else is wfh today I think I have to depersonalise to just manage. this makes my life story much more interesting, the character I'm writing is so cool, but damn if it isn't hard and damn if it doesn't hurt like a bitch

This bitch will survive

Wish I could leave notes for why I mute/block people so I dont forget, etc. Like this user is singaporean etc.

This could have been avoided rob if go had generics the first time around

oh my goddd I was so lost in that little experiment I totally lost track of time and space and all my worries I feel disorientated and slightly deflated as the situation slowly returns to me.

bro.... dsls have never been easier to write. the world is not ready. we're entering a new time of user-controlled computing the era of programming languages is upon us!

I'm like if a techbro was a girl

type of girl who's so used to keeping her guard up to deal with the shit she's been through she can only express emotions vicariously through media

I just realised I can see into the living room of the appartment across the street from me behind my monitor so I'm here watching anime alone in the appartment, and across the street I can se a normal family's christmas party.... fucking normies man

been so long since I just sat at home and watched some anime; weebing out right now I needed this

I'm a tgirl who says "merry christmas" checkmate liberal

you've got to be the most unhinged tgirl I've ever heard of ah but you have heard of me

> my language is so secure, developers must supply exhaustive pattern matches all the time > look inside match _ with | _ => ... | _ => raise Exception("rip¯\_(ツ)_/¯") | _ => raise Exception("rip¯\_(ツ)_/¯") | _ => raise Exception("rip¯\_(ツ)_/¯")

emacs installed again!!!! yayyyy

> When you have eliminated the impossible, whatever remains, however improbable, must be the truth Well Sherlock, generating all permutations of a string is certainly one way to check if a string could be a palindrome... ... I don't think we'll be going forward with your job application

running a proxy server in my phone to bypass the tethering limits of my handler but this means that 90% of my internet based tools break lol with some env variables I can configure git and curl to work though which seems to be enough to make brew work (important because I broke my emacs :( )

Use Claude. Use Codex. Use gro- Bro, here's my copilot (she's napping) We're having some cozy Christmas coding Merry Christmas!

Reposts welcome! Any New Years events I could join in London? I'll be in the UK for the new year as I renew my visa, any PL people doing anything then? I'd love to join!

Youngins on the discord server explaining I just shared bot posts ; feel like such a boomer

LLMs discussions revealing more people reason from constructive principles than admit If a system produces outputs consistent with my theory of mind, then do I care if it's "just a stochastic parrot"? nooo broo you can't assume functional existentionality, that's classical logic

oh yes, happy christmas too

I feel like power users are dying off or something like if I want to hack on a jupyter notebook emacs ein stopped working, the only interop that works is through vscode but it's very barebones, but like???? no one cares??? like what is going on? where are the keyboard witches? where have they gone?

the more I use vscode the more I am just taken aback by how much it just sucks balls. like what? this is the great editor you're all jumping to? this is what I need to use? how tf do you get anything done in this shit? genuinely it's reduced my opinion of the people who've told me they main it

updated my technical interview; fewer types, fewer checks, but should be easier to read at least god save you if you make a type error though

...fully open source *again*? ???

Any way to avoid using finder ever when in vscode? I hate the MacOS finder dialog - like when I'm selecting a new project or new file and it pops up a finder menu aaah

take a moment to be grateful to your old self for getting you this far they kept going even when things got hard and they said no to the temptation of going back to old ways their effort put you on a better path by fully saying yes to growth, they made your life today more fulfilling Yung Pueblo

Join along with me as I do some yearly reflections: www.steveschlafman.com/guide-success (believe it or not, suggested by the funding lead on a grant I'm on lol)

it annoys me seeing the people building verification tools ontop of Rust, and then requiring the ugly linear-logic signatures of take in resource and return resource in specifications. Like Rust realised that's dumb, that's why there are mutable references. Don't re-introduce this into the language

How's your Christmas Eve? Spending time with family? With friends? Thats good, good! Happy for you. This was mine lol planning POPL,LAFI and visa interview and meeting a research institute in Parism. It's 8pm, Im still at the lab 😭😭😭. Tbf its not like I had anything better to do

Sup losers~ looks like I'm going to be in London for the new year! Don't have any plans for new years celebrations so hmu if you have something I could join!

Another one taken by the woke mind virus

bro bro bro I'm not even kidding lmao this needs to be studied transitioning for the h-index

here is a cool macro that I came up with last time I wrote Rhombus. It's a small QoL feature for the annoying case w. a recursive function for looping, but then have to call it at the end which makes the code convoluted. In OCaml I'd just suck it up, but I prefer langs where I can solve it myself.

Kinda wanna buy a "you cant make a baby in the butt tshirt" now lol

PL design is dead in the Era of LLMs? Nay, wrong!!!!! We've never been so back babyyyyy

After spending a couple of hours trying to position stuff in Keynote, my main takeaway is that actually wysiwyg isn't any better lol I like programmatic slide construction because it reduces thematic consistency to program conciseness and code reuse. Thats kinda beautify and keynote doesnt have it.

So cuuuuuuuteeeeeee

Alright I guess I have to bite the bullet and learn Keynote I suppose. I had my fun, LeanTeX grew by an appropriate amount.

Oh? You work in AI? Ewww what are you working on? Making some kind of mecha maid?? Loser The maid in question:

I'm stuck between a rock and a hard place. Only Adobe supports videos in Pdfs on mac, and only keynote supports videos in presentation ...the devil you know or the unknown.

Good God What Have I done

What if you wanted to spend less for a month... ...but mommy capitalism said tut tut