effectfully

Over the years, my idea of a perfect job has shifted from developing programming languages to testing them. No one really knows how to test programming languages properly, the whole field is still in its infancy. Academia is more interested in theory and industry is more…

Issues we've had with benchmarking over the years, often overlapping: 1. wrong code is run 2. wrong things are measured 3. incorrect usage of the benchmarking library 4. the compiler silently changes the semantics of your program 5. unreliable hardware Obviously, none of that…

"AI will replace you job" AI:

The first rule of management is: don't demotivate motivated employees. No matter your intentions, if you demotivate motivated employees, you're an idiot.

I always look forward to workdays. Workdays are when I get to write Haskell. Weekends are when I have to deal with absolute bullshit of all kinds.

Normies love to rely on their "instinct" because their analytical skills are nonexistent, their knowledge base comes from social media and their judgment is crap. If taking a closer look at something makes your outcomes worse, it's because you're vastly incompetent.

Most of people: rewrite Haskell projects in Rust or Go We: rewrite Go projects in Haskell Cause it’s cheaper to support and maintain

some tools are better than others

I stumbled across a snippet I wrote years ago, and something tells me I didn't realize back then how ironic it was to write a comment with imperative pseudocode alongside an abstraction blackhole of a one-liner.

Our experience report on building a programming language in Haskell and using GHC as a frontend has been accepted for the Haskell 2025 conference.

The role of a test is not to fail -- it is to serve as a proof that the system complies with its specification.

Concerned for the commies in my replies, learning for the first time that labor is basically a subscription. As a wagie I have no issue with that. I'm not sure why they do, given that they are unemployed anyway.

the poor: WE'LL TAX THE RICH [the rich leave] the poor:

"Would you support or oppose reducing tax revenue, the quality of public and private services, the number of jobs and overall economic growth?" Strongly support: 49% Somewhat support: 26%