oliver
@eikopf.com
absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
(he/him)
Reposted by oliver
🦀🦀🦀🦀 BLAZINGLY FAST 🦀🦀🦀🦀 FEARLESS CONCURRENCY 🦀🦀🦀🦀 ZERO-COST ABSTRACTIONS 🦀🦀🦀🦀 MOVE SEMANTICS 🦀🦀🦀🦀 GUARANTEED MEMORY SAFETY 🦀🦀🦀🦀 THREADS WITHOUT DATA RACES 🦀🦀🦀🦀 TRAIT-BASED GENERICS 🦀🦀🦀🦀 PATTERN MATCHING 🦀🦀🦀🦀 TYPE INFERENCE 🦀🦀🦀🦀 MINIMAL RUNTIME 🦀🦀🦀🦀 EFFIC
January 11, 2026 at 7:49 PM
🦀🦀🦀🦀 BLAZINGLY FAST 🦀🦀🦀🦀 FEARLESS CONCURRENCY 🦀🦀🦀🦀 ZERO-COST ABSTRACTIONS 🦀🦀🦀🦀 MOVE SEMANTICS 🦀🦀🦀🦀 GUARANTEED MEMORY SAFETY 🦀🦀🦀🦀 THREADS WITHOUT DATA RACES 🦀🦀🦀🦀 TRAIT-BASED GENERICS 🦀🦀🦀🦀 PATTERN MATCHING 🦀🦀🦀🦀 TYPE INFERENCE 🦀🦀🦀🦀 MINIMAL RUNTIME 🦀🦀🦀🦀 EFFIC
there’s an interesting application of symbolic logic solvers to typeclass-style systems in PLs, and obviously it crops up a lot in proof assistants
January 11, 2026 at 9:25 PM
there’s an interesting application of symbolic logic solvers to typeclass-style systems in PLs, and obviously it crops up a lot in proof assistants
i did a fair bit of formal logic in my bachelor’s, but most of my experience with symbolic logic comes from type theory
January 11, 2026 at 9:25 PM
i did a fair bit of formal logic in my bachelor’s, but most of my experience with symbolic logic comes from type theory
i think hearing the phrase “nuancebro” when i was 14 did irreparable harm to my psyche
January 11, 2026 at 9:18 PM
i think hearing the phrase “nuancebro” when i was 14 did irreparable harm to my psyche
is this what it’s like to deal with new converts?
January 11, 2026 at 9:15 PM
is this what it’s like to deal with new converts?
i think i’m just very maths brained, almost all absolute truth claims irritate me
January 11, 2026 at 9:08 PM
i think i’m just very maths brained, almost all absolute truth claims irritate me
tapping the sign etc. etc.
christ, dude, sometimes you have to accept that language is a cooperative game or stop playing
January 11, 2026 at 9:03 PM
tapping the sign etc. etc.
i cannot describe to you just how annoying i find posts that assume an absolute moral claim
January 11, 2026 at 9:01 PM
i cannot describe to you just how annoying i find posts that assume an absolute moral claim
the last few days on this platform have been quite insightful as to which people live in absurd morally charged bubbles
January 11, 2026 at 8:52 PM
the last few days on this platform have been quite insightful as to which people live in absurd morally charged bubbles
my “i would never be an asshole to my colleagues” t-shirt has many people asking questions already answered by my t-shirt
January 11, 2026 at 8:51 PM
my “i would never be an asshole to my colleagues” t-shirt has many people asking questions already answered by my t-shirt
coughing baby vs nuclear bomb
January 11, 2026 at 7:19 PM
coughing baby vs nuclear bomb
b2b saas surely entails some nonzero element of yuri
January 11, 2026 at 7:17 PM
b2b saas surely entails some nonzero element of yuri
i mean maybe? but i assume this would apply equally to any language where LLVM is the dominant cost of compilation
January 11, 2026 at 7:13 PM
i mean maybe? but i assume this would apply equally to any language where LLVM is the dominant cost of compilation