oliver
@eikopf.com
absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
(he/him)
Pinned
oliver
@eikopf.com
· Sep 25
if i try hard enough they will surely see that i am an earnest young man with joy in my soul and autism in my brain
these haskell people really love generalising things don't they
December 13, 2025 at 2:45 PM
these haskell people really love generalising things don't they
went back and finished the rest of advent of code. this year was really fucking annoying. i think i like haskell now?
December 13, 2025 at 1:00 PM
went back and finished the rest of advent of code. this year was really fucking annoying. i think i like haskell now?
Reposted by oliver
if one more machine talks to me I cant be held responsible for my actions
December 13, 2025 at 8:51 AM
if one more machine talks to me I cant be held responsible for my actions
Reposted by oliver
there is no such thing as society: there are individual incels and femcels, and there are polycules
December 12, 2025 at 7:18 PM
there is no such thing as society: there are individual incels and femcels, and there are polycules
Reposted by oliver
whats fucked up is that i really liked The Witness. too bad we gotta kill him
December 12, 2025 at 2:24 AM
whats fucked up is that i really liked The Witness. too bad we gotta kill him
Reposted by oliver
your computer is my infrastructure and I WILL post evil stuff on it. don't like it? deal with it at a moderation level but don't dare to do stuff like stop hosting my data... otherwise you're even more evil than me
December 11, 2025 at 3:50 PM
your computer is my infrastructure and I WILL post evil stuff on it. don't like it? deal with it at a moderation level but don't dare to do stuff like stop hosting my data... otherwise you're even more evil than me
every time i try to use monad transformers i should be pelted with rocks
December 11, 2025 at 4:40 PM
every time i try to use monad transformers i should be pelted with rocks
i am a walking national stereotype
December 11, 2025 at 10:03 AM
i am a walking national stereotype
Reposted by oliver
explaining polyamory to a marxist: imagine 10 yards of women
November 2, 2025 at 1:14 AM
explaining polyamory to a marxist: imagine 10 yards of women
Reposted by oliver
dr darling from control can get it tbqh
December 10, 2025 at 11:04 PM
dr darling from control can get it tbqh
this too is waffles
“Why did you build the train then?” I didn’t build the train. “Talking about the train is doing marketing for the train” fine, can we get off the tracks now?
December 10, 2025 at 5:50 PM
this too is waffles
clicked the link of doom and despair
December 9, 2025 at 8:22 PM
clicked the link of doom and despair
“this is uluru bro” AND THEN HE CLICKS ON SYDNEY OH MY FUCKING GOD
watching northernlion guess switzerland when he’s clearly in the tyrols might be the most painful experience of my life
December 9, 2025 at 7:52 PM
“this is uluru bro” AND THEN HE CLICKS ON SYDNEY OH MY FUCKING GOD
watching northernlion guess switzerland when he’s clearly in the tyrols might be the most painful experience of my life
December 9, 2025 at 7:16 PM
watching northernlion guess switzerland when he’s clearly in the tyrols might be the most painful experience of my life
Reposted by oliver
> walk into bookstore
> about to buy cs book
> ask cashier if it's slop or theory
> he doesn't understand
> pull out a diagram explaining the difference between cs theory and computer-flavoured slop
> he says "it's a good book"
> buy it
> it's slop
> about to buy cs book
> ask cashier if it's slop or theory
> he doesn't understand
> pull out a diagram explaining the difference between cs theory and computer-flavoured slop
> he says "it's a good book"
> buy it
> it's slop
December 9, 2025 at 6:46 AM
> walk into bookstore
> about to buy cs book
> ask cashier if it's slop or theory
> he doesn't understand
> pull out a diagram explaining the difference between cs theory and computer-flavoured slop
> he says "it's a good book"
> buy it
> it's slop
> about to buy cs book
> ask cashier if it's slop or theory
> he doesn't understand
> pull out a diagram explaining the difference between cs theory and computer-flavoured slop
> he says "it's a good book"
> buy it
> it's slop
Reposted by oliver
Reading Structure and Interpretation of Computer Programs on the subway but shaking my head so everyone knows I disagree
December 8, 2025 at 9:25 PM
Reading Structure and Interpretation of Computer Programs on the subway but shaking my head so everyone knows I disagree
i would read so many books about computer science if "book about computer science" was not a massive red flag
December 8, 2025 at 8:12 PM
i would read so many books about computer science if "book about computer science" was not a massive red flag
wait why does this work. i'm so bad at analysis please help it's something to do with open balls and induction on the next most proximate point
![solvePart2 :: [Vec3 Int] -> Int
solvePart2 ps = go Set.empty (length ps) . Seq.sortOn (uncurry d2) . pairs $ ps
where
go :: Set (Vec3 Int) -> Int -> Seq (Vec3 Int, Vec3 Int) -> Int
go _ pointCount Empty = error "unexpected end of list"
go seenPoints pointCount ((pl@(Vec3 lx _ _), pr@(Vec3 rx _ _)) :<| ps) =
let seenPoints' = Set.union seenPoints (Set.fromList [pl, pr])
in (if Set.size seenPoints' == pointCount then lx * rx else go seenPoints' pointCount ps)](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:vt464ohreg6sglmnb4cuctmr/bafkreihgy7da24er6jac2ydxbpx53dpdvti4k4pufywzl4z5rtahempdq4@jpeg)
December 8, 2025 at 2:17 PM
wait why does this work. i'm so bad at analysis please help it's something to do with open balls and induction on the next most proximate point
this just in: today's aoc is really really really annoying to implement without using a union-find data structure
December 8, 2025 at 1:51 PM
this just in: today's aoc is really really really annoying to implement without using a union-find data structure
Reposted by oliver
i don't concern myself with the lion so
December 8, 2025 at 1:26 AM
i don't concern myself with the lion so
Reposted by oliver
c'est l'histoire de deux mathématiciens qui rentrent dans un bar. le premier dit à l'autre: "𝟋" . et l'autre répond: "gamma?"
December 7, 2025 at 1:32 PM
c'est l'histoire de deux mathématiciens qui rentrent dans un bar. le premier dit à l'autre: "𝟋" . et l'autre répond: "gamma?"
i should post about things i should do
December 7, 2025 at 11:05 AM
i should post about things i should do
coming to terms with the fact that my little brother has better taste in music than me
December 7, 2025 at 9:45 AM
coming to terms with the fact that my little brother has better taste in music than me
playing the exciting game of wait fuck have i taken my concerta yet this morning
December 7, 2025 at 7:57 AM
playing the exciting game of wait fuck have i taken my concerta yet this morning
Reposted by oliver
striving for good software is woke
December 6, 2025 at 11:13 PM
striving for good software is woke