Michael Bacarella

This formal verification article from Anthropic in collab with Theorem throws some shade on OCaml but it's been repeatedly proven that OCaml has no trusting trust backdoors. anthropic.com/research/for... discuss.ocaml.org/t/ocaml-comp...

insurer: cybersec claims department me: hi yes, I'd like to put in a claim, my php site was hacked ins: have you heard of claude code? do you use it? me: yes ins: haven't you had, like, 6 months to auto-rewrite all of your php in a less stupid language? me:

sorry functional programmer friends, nothing matters anymore

socialists: nobody should have to earn a living AI: on it! AI: ✻ Flibbertigibbeting… socialists: not like that

This is a music video about OCaml that has an audience of like, 10 people at most. And 9 of them work at Jane Street and aren't allowed to click like. www.youtube.com/watch?v=r45l...

kind of funny that music producers were automated before DJs

refusing an AI coding agent is peak iMessage green bubble energy

The number of times a year I get a bill where the pay online option involves more work than just writing out a check and putting a stamp on the reply envelope is too damn high.

The interesting part of this article for me was the disabled community wasn't big enough to keep the bar economically viable and during a 3 1/2 conversation, the remaining owner shared how hard it was to keep the lights on and she was met with hostility and brought to tears. Is that part not true?

SWEs are still in such denial about AI that they're *still* not seriously discussing forming a union to reject AI while they still have some leverage. have we learned nothing from the dockworkers and the mathematicians?

Blue coastal elites think they know what hedonism is but they've never spent time in the burbs with a guy smoking a brisket next to his above ground pool

I've worked inside of datacenters, been in charge of datacenters, been in planning meetings to build new datacenters and I cannot parse a single thing this web site believes about datacenters. Your rallying cry is datacenters. Datacenters. Okay.

if you think people posting AI slop PRs to github is bad, wait until you see all of the issues/feature requests people post that 5 minutes with an AI tool could solve

your strict statically typed memory safe language pales in comparison to my language, which recruits the OS to tell me about bugs by sending my application signal SIGSEGV

my dishwasher's firmware updates are cryptographically signed but the power grid runs on Windows XP

the antichrist says "that seam is load-bearing" and the audience nods in unison and says "yes"

I still regularly think about that guy that would solve each week's projecteuler.net problem first, and his posted solution is in pure assembly.

historical aside: in OCaml, Lwt won out over Async because the guys at INRIA adamantly insisted any successor concurrency library run on their Windows workstations

We had a good thing you stupid son of a bitch. We had COBOL, mainframes, a steady paycheck. Everything we needed. Ran like clockwork. But no, you had to be the man. Too good for unions. Now a model does your job. You and your pride and your '10x engineer' ego.

ChatGPT and I have a very positive relationship

Capturing a dictator whose legitimacy collapsed to the point that his opposition won a Nobel Peace Prize is good, actually

All hail the shape rotators!

Advent of OCaml, day 7, solved 🥵 This one threw me for a bit but once I drew the path finding out on paper and stared at it for ... uhm, 40 minutes I got it. Even though this is mostly imperative, I contend you still have edge using OCaml when it comes to understanding state machine transitions.

Advent of OCaml, day 6, done (🙀) This one was quite mind numbing. It reminds me of processing those nasty "grid oriented" EDI order/sales formats that were popular as late as the 1990s I'm sure COBOL programmers would feel right at home with this one.

Advent of OCaml, day 4, solved wasted about 20 minutes trying to understand what "eight adjacent positions" meant, squinting at only the row instead of realizing it meant also the cells above and below of course

Advent of OCaml day 3 solution: donezo Pleasantly, part 1 and part 2 have similar enough algorithms that you can get away with tweaking only one variable (digits_needed). github.com/mbacarella/o...

Advent of OCaml day 2 solution in the bank! Spent about an extra hour spinning my wheels because I skimmed the requirements and I kneejerk thought it wanted the part 2 style digits scheme. Which it does, but that doesn't get you past part 1! All solutions here github.com/mbacarella/ocaml-aoc2025

(* Vishnu: creating form *) let v = B (3, 4) (* Shiva: dissolving form *) match v with | B (x, y) -> x + y

(with apologies to Philip Greenspun) any sufficiently complicated description of an implementation by a Turing-machinist will eventually lapse into a half-coherent rediscovery of lambda-calculus

I had this stress dream last night where we were trying to catch a flight and when we got to the security line it turned out the tickets I printed out just had a big database connection error message printed on them. And attempting to install the app failed because I can't see my screen in dreams.

how to power up your github contributor graph 1. pick favorite obscure programming language 2. build a really simple app, like a web photo album 3. find that the ecosystem libraries are missing tons of mundane features 4. submit PRs for all of these features useful? kinda. looks impressive? sure

how did Valve get away with making games on Linux work reliably? if Bill Gates was still running Microsoft he would have invited Gabe Newell into a smoke filled room and given him the speech from Network

it's straight up elder abuse that Chrome force uninstalled uBlock Origin on laptops that their grandkids set up for them