Woke Leftist Trash / is on Nostr

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

Last Notes

2024-09-30 03:04:04

I’m no economist so maybe someone can enlighten me: is the reason why the tech industry has been on increasingly short hype cycles due to the centralization of capital in a handful of companies by any chance?

2024-09-27 15:36:48

Surprise stream today folks! I'm starting a client library for the Tigerbeetle database. Come generate some FFI bindings and mess around with concurrency. Going to start the stream in about an hour: https://twitch.tv/agentultra #haskell

2024-09-14 22:23:18

Splurged on the hard cover. It’s just a perfect binding underneath. Just get the paperback if you’re thinking of getting Algorithm Design with Haskell.
https://pool.jortage.com/typespl/media_attachments/files/113/138/239/484/149/797/original/afa2e9d7f62b3c33.png

2024-09-14 22:23:18

2024-08-31 13:53:46

I merged in an update to `hiedb-mode` -- it now uses compilation-mode as the output buffer which lets you jump to definitions and references.
`hiedb-mode` is a lightweight mode to use with `haskell-mode` to query `hiedb` databases. It's a light-weight, fast tool for finding references, type information, and definitions. More powerful than tags but not as bloated as a language server.
Check out https://github.com/agentultra/hiedb-mode
#emacs #haskell

2024-08-06 01:55:25

A new blog post on designing business software in #haskell on my site -- something Haskell is well suited for: https://agentultra.com/blog/designing-boring-software-with-functional-programming-part-1/

2024-06-18 15:52:57

I've heard some good ones in my day but, #haskell "isn't suitable for real-world engineering," often takes the cake.

2024-05-22 18:48:13

Might do a talk on "things Emacs could do for a decade or more that people think VS Code invented."