Profile avatar
jamesbrock.bsky.social
Pure functional programming, Haskell, PureScript, Nix. Vermont provenance, Yokohama residence. https://github.com/jamesdbrock https://twitter.com/jamesdbrock
31 posts 252 followers 136 following
Regular Contributor
Active Commenter
Posts 17 Comments 21

Learn You a Haskell for Great Good! Jupyter adaptation now has a one-line zero-install shell command which works on any computer that has the #NixOS package manager: nix run github:IHaskell/learn-you-a-haskell-notebook For more information see github.com/IHaskell/lea...

submitted 17 days ago • 0 comments

One real possibility is the next few years will be a litany of cataclysmic tariff announcements immediately followed by last-minute retractions -- the entire purpose of which being insider trading, both up and down

submitted 82 days ago • 5 comments

If you are curious about Haskell or wanting to start using functional programming to build real applications, this is a great chance to save some money on Effective Haskell and other great functional programming books.

submitted 178 days ago • 2 comments

In the 2010s there were still a lot of programmers insisting that typechecking wasn't necessary but then TypeScript and Pyright were universally adopted and those people mostly shut up.

submitted 181 days ago • 2 comments

The SDLC is an awful model for how people program and an even worse model for how people *should* program—at best, it's a model for how people *imagine* programming. Unfortunately, it seems to be taught and taken as a fact in the industry :(

submitted 182 days ago • 1 comment

A Character-Driven Monad Tutorial with a Three-Act Structure Act I Inciting Incident In 1966, the great computer scientist Peter Landin decided that the good part of computer programming was the expressions, and the bad part was the statements.

submitted 183 days ago • 1 comment

www.quantinuum.com/blog/announc... we did a thing

submitted 187 days ago • 1 comment

Why isn't Functional Programming the Norm? By @rtfeldman.bsky.social youtu.be/QyJZzq0v7Z4

submitted 190 days ago • 0 comments

You wanted a banana but what you got was a banana in the computational context of a Gorilla Jungle monad transformer stack.

submitted 190 days ago • 0 comments

Once upon a time I wrote about recursion c8998d8f.purefunctor.pages.dev/fear-not-rec...

submitted 208 days ago • 1 comment

At work I was asked how to avoid “copy-and-paste” across different GUI projects. My advice: copy-and-paste is good. “duplication is cheaper than the wrong abstraction” sandimetz.com/blog/2016/1/... “when structuring (Model-View-Update) apps, Do Not Plan Ahead.” guide.elm-lang.org/webapps/stru...

submitted 208 days ago • 0 comments

An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain. ~ Byron Cook. aws.amazon.com/es/blogs/sec... #ITP

submitted 215 days ago • 0 comments

Edifice is like React, but with Python instead of JavaScript, and Qt Widgets instead of the HTML DOM. Edifice has function Components, Props, and Hooks just like React. The best way to put a native GUI on a useful Python library. github.com/pyedifice/py...

submitted 219 days ago • 1 comment

Design patterns every programmer should learn in the 21st century: 1. Associativity 2. Currying 3. Sum types / Product types 4. Fold / Map 5. Passing functions as arguments 6. Immutable data structures

submitted 219 days ago • 0 comments

Hey bksy, I write books about science for middle and high school readers (and adults)! Got a fledgling human who's interested in the universe? Cloning dinosaurs? The space race? Chucking things? I've got you covered! Self-promotion is awkward so I'll disappear back into the bushes now...

submitted 610 days ago • 1 comment

“President Kennedy looked out to the world leaders and said; Fellow citizens of the world, let us take our stand, at this time, and in this place, to see if we can help move the world toward peace. And of course, he did. And then was killed a few weeks later.” www.youtube.com/watch?v=tLwu...

submitted 626 days ago • 0 comments

“This talk opened up connections for me. It both taught me more than any talk I’ve consumed for the past year and confirmed the many monadic functionality that I naively thought I invented” — demesisx in the comments www.youtube.com/watch?v=LLkb...

submitted 627 days ago • 1 comment