the recent AI discourse has me feeling things, so it's still worth stating for the record: - AI as a "self-justified product" for end-users is usually shit - AI for tooling does not release you from responsibility of what is produced - You can (and should) still do things by hand, whenever you want

so are people like moving off miette now or

Can't wait for mathematicians to make a slopmath list of all math results with ai used in it or maybe they're a bit more mature than us

just imagine the problematic frame of reference age gaps discourse we would have if ftl travel was possible

I'm quite happy about how this library turned out. I have good hope that it's going to be useful to you. Yes. You.

do i know anyone with a lobsters account that could get me an invite btw?

New year, new newsletter! This one's all about the Liskov Substitution Principle and how it applies to more than just object oriented programming! buttondown.com/hillelwayne/...

Doing all my vibe coding in the Whoop fitness app from now on.

first time opening unity in years today: man i missed this (and I'm not even doing any actual game dev)

i still hate latex

smh microsoft is even using AI in minecraft now!! but don't worry, you can disable it with this one command /execute as @e run data modify entity @s NoAI set value 1b

Es sind noch 11 Tage, das Quorum noch nicht erreicht. epetitionen.bundestag.de/petitionen/_...

i don't think I've ever seen a monad explanation not exclusively about haskell that wasn't worse than useless

"The Haskell landscape would have looked very different if we had had a [thing i made that ~noone else uses] equivalent 30 years ago!" jesus christ, are you listening to yourself

yay, discourse

gentle reminder not to vaguepost on here. if you mean "trump did ... in venezuela", write that instead of "he did ... during The Operation". people will probably understand you either way but there is no way for anyone to mute the second one if they don't want to see it on their feed

i just realized that i have a much thicker accent in spanish when using my fem voice (i haven't actively spoken any since 10th grade) and it also sounds a bit more like an american accent than a german one somehow ^^ this feels so strange

New article on the #Haskell Blog: "A Comment-Preserving Cabal Parser" by Léana Jiang blog.haskell.org/a-comment-pr...

We're not asking you to start learning Haskell. We're saying, when the time is right, you will look in the mirror and will already have started learning Haskell.

relatedly: i'm really not a fan of the trend of languages optimizing for users that would quit after 5 minjtes if they couldn't immediately write exactly the same code they're already used to

programmers are such babies. you're paid an obscene salary for an extremely comfortable job for ostensibly being smart and good at logical thinking. you can figure out how to run the 4 opam commands required to set up an ocaml project oh my god

runST does not prevent resources from escaping welltypedwit.ch/posts/runst-...

"transpiler" is a useless word, part two. people.csail.mit.edu/rachit/post/...

runST does not prevent resources from escaping welltypedwit.ch/posts/runst-...

i feel like at least 70% of ghc's absolutely inscrutible error messages are just a result of PolyKinds unnecessarily generalizing kind variables

i genuinely don't understand how people voluntarily talk to llms for more than 10 minutes. llm output is so annoying to read

New blog post about the GDB JIT interface. This brings me to 30 blog posts this year...! bernsteinbear.com/blog/gdb-jit/

> see a post about some ocaml project with a readme that seems weirdly AI generated > look at their ~~twitter~~ X (because that's what they linked on their github) to see if that's it or if they just write like that > genocide denial right...

The best #Haskell pretty-printing library `prettyprinter` is looking for maintainers to help out! github.com/quchen/prett...

quick sanity check: alignment is always a power of 2 right? so there is really no reason to represent it as the number of bytes (with tons of invalid states), rather than the *exponent* of the number of bytes?

that would have been very *cannot render inline math formula*

"hmm, i don't have a way yet to look up the representation of a data constructor from core. i wonder how i did that during core generation"

"huh, i wonder what kind of code ghc's llvm backend generates here" ah

i really feel like gadts are a local maximum (if even that) i'm not entirely sure what i would prefer instead but they're just such a messy indirect combination of a few very different features maybe decoupling them would make them less dangerous so you don't immediately code yourself into a corner

for how much they talk about it functional programmers really don't understand hindley milner very well

Ugh. Meant this answer specifically: softwareengineering.stackexchange.com/a/399338/12691

i'm really not convinced that having more than one compiler is automatically good for a language

til that HLS shows type definitions inline if you hover over them while holding ctrl! this is so nice omg since when does it do that?

can programmers please behave like adults for once

does anyone know any other examples of using higher rank types for regions/lifetimes like with runST that aren't ST or bluefin? especially ones related to allocating something off-heap or similar (but anything really. doesn't even have to be in haskell)

"The Subtle Footgun of TVar (Map _ _)" by Matt Parsons www.parsonsmatt.org/2025/12/17/t... #Haskell

everyone already has an intuition for the pipe operator! it's just like unix pipes except for how it's not actually like unix pipes at all, has different semantics and serves a completely different purpose

okay, imagine this: ocaml with just basic data types, required mli files (and a type checker that uses the types from signatures), the same type syntax in signatures and implementations, only locally abstract types (no 'a or _ silliness)...

i genuinely think ocaml would be a dramatically better language if most of its advanced type features did not exist

i just love it when i write down the type ocaml infers for a let binding and get a type error because `constraint` is just so incredibly well thought out omg

i hate eio's api great implementation, horrible api

use this ONE WEIRD TRICK to implement a runtime feature by only changing the type checker (compilers HATE her) (you just need to have implemented it in the runtime already at least 2 years ago but have forgotten to implement the two lines of type checker logic oops)

> printf "a\nb\nc" | wc -l 2 welp

why do you need a separate ocaml compiler for flambda anyway? couldn't you just have one that supports both backends?

i understand that minecraft is not exactly the most realistic game but like, how do you spend the same amount of wood on a single shelf as on 8 cubic meters of planks