iiinova — where your digital self keeps evolving

LLMs killed the coding star. I saw you on the youtube back in '21 Lying awake intent at watching in on you If I was young it didn't stop you coming through (Oh-a-oh) They took the credit for your hacking prodigy Rewritten by machine on new technology And now I understand the problems you can see.

1113

Alecs P. Hacker @bisimulation.bsky.social · 20/09/2026

I did not sign up for this when I started my PhD, llms were bad at everything

1120

Alecs P. Hacker @bisimulation.bsky.social · 19/09/2026

Just submitted to POPL and apparently I'm submission number -2,147,483,648

070

Alecs P. Hacker @bisimulation.bsky.social · 19/09/2026

Two times I had to use a travel agency to go to a conference and twice they fucked up the reservation

121

Alecs P. Hacker @bisimulation.bsky.social · 18/09/2026

Doing software verification using segregation logic to get funding from the current administration

1140

Alecs P. Hacker @bisimulation.bsky.social · 18/09/2026

I wonder what happens after you submit the rebuttal, like how do they decide if it is accepted or no?

220

Alecs P. Hacker @bisimulation.bsky.social · 18/09/2026

Ok I finished the math for my next crackpot after this I need to figure out what to do with my existance

030

Alecs P. Hacker @bisimulation.bsky.social · 17/09/2026

>"All this work is broken" >Checks >It is not broken Why people do this?

030

Reposted by Alecs P. Hacker

Tweag by Modus Create @tweag.io · 17/09/2026

Liquid Haskell can prove your type class laws with an SMT solver – or could, until GHC 9 broke it. Juan Pablo Yamamoto spent #GSoC bringing it back. Here's how it went: tweag.io/blog/2026-09... #Haskell

tweag.io

Restoring type class support in Liquid Haskell

An internship experience report on reenabling type class support in Liquid Haskell

021

Alecs P. Hacker @bisimulation.bsky.social · 16/09/2026

I'm studying @kirancodes.me research in detail to make fun of her more accurately

1130

Alecs P. Hacker @bisimulation.bsky.social · 16/09/2026

I read number theory and became sleepy

390

Alecs P. Hacker @bisimulation.bsky.social · 15/09/2026

I come to the conclusion I don't really like mathematics. I only feel motivated to actually study it when I need it to do PL

1110

Alecs P. Hacker @bisimulation.bsky.social · 15/09/2026

Who wants to read my paper and make the slides and maybe also present it

240

Alecs P. Hacker @bisimulation.bsky.social · 15/09/2026

Im not the last talk LFGOOOOOOOOOOOO

020

Alecs P. Hacker @bisimulation.bsky.social · 14/09/2026

Ok that Minneapolis might not be the best representative for US cities but the cities in europe that I've loved in are soo much better

100

Alecs P. Hacker @bisimulation.bsky.social · 11/09/2026

How to make $$ without doing llm stuff

440

Alecs P. Hacker @bisimulation.bsky.social · 10/09/2026

They really had to put the social security office in the worst place ever

000

Reposted by Alecs P. Hacker

oliver @eikopf.com · 10/09/2026

fortunately i am de facto internal tools guy so we’re toymaxxing rn

1441

Alecs P. Hacker @bisimulation.bsky.social · 10/09/2026

I hate writing rebuttals I hate writing rebuttals I hate writing rebuttals I hate writing rebuttals I hate writing rebuttals I hate writing rebuttals I hate writing rebuttals

000

Alecs P. Hacker @bisimulation.bsky.social · 08/09/2026