Michael Litchard

[Michael Litchard @lambdafan]

dox-populi explores the potential for an emerging accessibility of formal methods with the confluence of detnix, paradox and the klanker. This is the first blog post. @fresheyeball @DeterminateSys https://t.co/4oVCPr4Fm6

[Michael Litchard @lambdafan]

@AOuglhacen sql, because I'm not that insane.

[Michael Litchard @lambdafan]

What's your choice for a professionally-oriented linux distro. I used nixos, how about you?

[Michael Litchard @lambdafan]

Hello, I'm trying to join your Haskell community but I'm not sure if the request is going in. Getting 'dependency: unspecified' error.
@tritlo

[Michael Litchard @lambdafan]

@ViolaSRow @razzy_ar Claude is amazing with haskell! I'm still stunned, even when the clanker is driving me crazy

[Michael Litchard @lambdafan]

I just got the opportunity to talk about sashamud in front of either a handful of people or hundreds depending on if the remote meeting thing works out. I told the show runner he'll need to wait for the demos to be done.

[Michael Litchard @lambdafan]

@tetsuoai I marvel at your work

[Michael Litchard @lambdafan]

https://t.co/6lw8EXegQl

[Phil Hoyeck @PAHoyeck]

I always knew academic philosophers were talking about all kinds of bullshit, but I had no idea how upfront they were about it. They're not even trying to hide it at this point!

[Michael Litchard @lambdafan]

@razzy_ar I'm only parsing English right now megaparsec handles the lexing, earley does the parsing and uses the case grammar I have constructed.

[LaurieWired @lauriewired]

today is a really sad day. no C++26 this year :(

come on bros let me have reflection PLEASE. compromise idea: C++26.5 where we sneak in just reflection

[〚Dan R. Ghica〛 @danghica]

A big shout out to all who laboured like heroes and hand wrote the hundreds of thousands of lines of Coq (Rocq) and Lean which trained the models which now finally make formalization at scale feasible. Statues should be raised.

[Michael Litchard @lambdafan]

@master_jpma the question itself reveals the asker to be 'not even wrong'. ain't no one got time for that.

[Michael Litchard @lambdafan]

@Arbor_Bench

[Michael Litchard @lambdafan]

The irony is strong with this one. Don't fall into the doomerist victimhood vortex kids

[Abyssal Argonaut @divinetrickr]

All economic discourse is retarded. They want slaves. Thats all thats going on here

[Michael Litchard @lambdafan]

@acadictive Damn all you people are on point. Let's go!

[Michael Litchard @lambdafan]

@kerckhove_ts @avi_press Okay I was ready to sell pitch forks for the witch hunt but you can have a pass. This time.

[Michael Litchard @lambdafan]

@avi_press No, it's not about compilation speed but time to delivery and code correctness. And expressiveness, see time to delivery. But this is just for my personal projects. If it's someone else's and it's a rust project, then rust it is.

[Michael Litchard @lambdafan]

@bcardarella @JustDeezGuy I wouldn't do that today but at the time I had specific career goals that required me to be able to say I had haskell code in a company's repo.

[Michael Litchard @lambdafan]

@acadictive the project is tightly bound to nixos by design but I do not require people to install nixos, I wil provide an easily accessible qcow file for qemu

[Michael Litchard @lambdafan]

I want them to love how solid agentic engineering skills are theirs for the taking, no matter what anyone says. I'ma follow your suggestion I can use all the reach I can get. It's not quite ready for your website but will be soon. I want them to be able to download my repo and go. not there yet.

[Michael Litchard @lambdafan]

@JustDeezGuy @bcardarella All of it, it was all of it

[Michael Litchard @lambdafan]

@JustDeezGuy @bcardarella Hey I'm a stubborn bastard too! Ask me sometime about how much social capital it cost me to introduce haskell into a perl shop.

[Michael Litchard @lambdafan]

Optimism is the way. The future is bright. Let's go!

[DHH @dhh]

Amazing endorsement of X. This really is where you'll find the most optimistic, forward-looking people in tech.