ACME 10X Quiche-Eater
@acme10xquicheeater.bsky.social
C by day, LISP by night.
My opinions are mine, go find your own.
My opinions are mine, go find your own.
your last saved pic is your moral philosophy
October 23, 2025 at 11:31 PM
your last saved pic is your moral philosophy
No fucking way 😂
October 3, 2025 at 6:31 PM
No fucking way 😂
obligatory
September 24, 2025 at 12:07 AM
obligatory
"Haskell is actually faster than C in some contexts."
September 14, 2025 at 3:30 PM
"Haskell is actually faster than C in some contexts."
Here's another example where an ADT maps to a (fictional) C struct layout
July 16, 2025 at 4:39 PM
Here's another example where an ADT maps to a (fictional) C struct layout
nth-lang has view types a la Successor ML but they're folded into the existing GADT syntax.
July 16, 2025 at 3:50 PM
nth-lang has view types a la Successor ML but they're folded into the existing GADT syntax.
DSL creation with Meta-Functions that generate macros.
July 5, 2025 at 3:33 PM
DSL creation with Meta-Functions that generate macros.
Higher Order ADT's
July 5, 2025 at 3:33 PM
Higher Order ADT's
Functors with first class modules
July 5, 2025 at 3:33 PM
Functors with first class modules
> TLC's my 600lb language
> C with classes, the kitchen sink, and the Red Army
> timeless classics like templates, constexpr, and SEGFAULT
> unfathomable type signatures, but can't use auto
> b̶e̶s̶t̶ ̶c̶h̶o̶i̶c̶e̶ ̶b̶y̶ ̶d̶e̶f̶a̶u̶l̶t̶ Rust
> proof inheritance is TheWrongWay
> semantics make checked pointers impossible
> C with classes, the kitchen sink, and the Red Army
> timeless classics like templates, constexpr, and SEGFAULT
> unfathomable type signatures, but can't use auto
> b̶e̶s̶t̶ ̶c̶h̶o̶i̶c̶e̶ ̶b̶y̶ ̶d̶e̶f̶a̶u̶l̶t̶ Rust
> proof inheritance is TheWrongWay
> semantics make checked pointers impossible
July 3, 2025 at 3:40 PM
> TLC's my 600lb language
> C with classes, the kitchen sink, and the Red Army
> timeless classics like templates, constexpr, and SEGFAULT
> unfathomable type signatures, but can't use auto
> b̶e̶s̶t̶ ̶c̶h̶o̶i̶c̶e̶ ̶b̶y̶ ̶d̶e̶f̶a̶u̶l̶t̶ Rust
> proof inheritance is TheWrongWay
> semantics make checked pointers impossible
> C with classes, the kitchen sink, and the Red Army
> timeless classics like templates, constexpr, and SEGFAULT
> unfathomable type signatures, but can't use auto
> b̶e̶s̶t̶ ̶c̶h̶o̶i̶c̶e̶ ̶b̶y̶ ̶d̶e̶f̶a̶u̶l̶t̶ Rust
> proof inheritance is TheWrongWay
> semantics make checked pointers impossible
> as fast as C... python, Cpython
> unreadable code never looked so good
> "it's formalized, trust me bro"
> wanted functors, got typeclasses
> pure, so doing anything is a semantic error
> wanted declarative programming, got lazy eval
> wanted linear types, got monads
> *mumbles* "category theory"
> unreadable code never looked so good
> "it's formalized, trust me bro"
> wanted functors, got typeclasses
> pure, so doing anything is a semantic error
> wanted declarative programming, got lazy eval
> wanted linear types, got monads
> *mumbles* "category theory"
July 3, 2025 at 3:20 PM
> as fast as C... python, Cpython
> unreadable code never looked so good
> "it's formalized, trust me bro"
> wanted functors, got typeclasses
> pure, so doing anything is a semantic error
> wanted declarative programming, got lazy eval
> wanted linear types, got monads
> *mumbles* "category theory"
> unreadable code never looked so good
> "it's formalized, trust me bro"
> wanted functors, got typeclasses
> pure, so doing anything is a semantic error
> wanted declarative programming, got lazy eval
> wanted linear types, got monads
> *mumbles* "category theory"
> simple, so you can write more boilerplate
> strongly typed but still has "any"
> managed to make tagged unions hard to use
> my great aunt can collect garbage faster
> simple, so you can handle more null exceptions
> while loops are too hard (for the user)
> generics are too hard (for rob pike)
> strongly typed but still has "any"
> managed to make tagged unions hard to use
> my great aunt can collect garbage faster
> simple, so you can handle more null exceptions
> while loops are too hard (for the user)
> generics are too hard (for rob pike)
July 3, 2025 at 2:53 PM
> simple, so you can write more boilerplate
> strongly typed but still has "any"
> managed to make tagged unions hard to use
> my great aunt can collect garbage faster
> simple, so you can handle more null exceptions
> while loops are too hard (for the user)
> generics are too hard (for rob pike)
> strongly typed but still has "any"
> managed to make tagged unions hard to use
> my great aunt can collect garbage faster
> simple, so you can handle more null exceptions
> while loops are too hard (for the user)
> generics are too hard (for rob pike)
Function application in my language is
Lisp coded and Lisp pilled.
Lisp coded and Lisp pilled.
July 2, 2025 at 1:13 AM
Function application in my language is
Lisp coded and Lisp pilled.
Lisp coded and Lisp pilled.
did someone say parentheses?
July 2, 2025 at 12:33 AM
did someone say parentheses?
sheesh
ya know, I wasn't ever aware of these terrible people featured in the article.
I don't follow them.
But I will be uninstalling GNOME Desktop.
KDE has less shouting...
ya know, I wasn't ever aware of these terrible people featured in the article.
I don't follow them.
But I will be uninstalling GNOME Desktop.
KDE has less shouting...
June 28, 2025 at 6:30 PM
sheesh
ya know, I wasn't ever aware of these terrible people featured in the article.
I don't follow them.
But I will be uninstalling GNOME Desktop.
KDE has less shouting...
ya know, I wasn't ever aware of these terrible people featured in the article.
I don't follow them.
But I will be uninstalling GNOME Desktop.
KDE has less shouting...
"Girl Matrix"
April 4, 2025 at 5:32 PM
"Girl Matrix"
Unicode TUI just hits different
March 20, 2025 at 8:01 PM
Unicode TUI just hits different