James Brock (@jamesdbrock) 's Twitter Profile
James Brock

@jamesdbrock

On Twitter I don't post about functional programming any more. jamesbrock bsky social.

ID: 120193562

calendar_today05-03-2010 19:06:01

1,1K Tweet

585 Followers

816 Following

James Brock (@jamesdbrock) 's Twitter Profile Photo

I made a video about this email regex. The video could be titled Why Monads Matter: The Problem of Parsing an Email, and the Solution. youtu.be/LLkbzt4ms6M

Taelin (@victortaelin) 's Twitter Profile Photo

RELEASE DAY After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world! Bend compiles modern programming features, including: -

Tobi đŸ‡”đŸ‡ž (@tpflug) 's Twitter Profile Photo

Ping me if you know someone with professional experience using (ideally all 3 of): Haskell, PureScript & Nix in production who is currently looking for a job.

Abhinav Upadhyay (@abhi9u) 's Twitter Profile Photo

Every year the Oregon Programming Language Summer School covers advanced topics in programming languages, such as type systems, formal verification, category theory, proof theory. Most of the lectures are recorded and available online (link in the reply).

Every year the Oregon Programming Language Summer School covers advanced topics in programming languages, such as type systems, formal verification, category theory, proof theory. 

Most of the lectures are recorded and available online (link in the reply).
James Brock (@jamesdbrock) 's Twitter Profile Photo

When you switch from object-oriented to declarative programming things get dramatically simpler. A small, practical example is Radio Buttons. The noise about “exclusivity groups” goes away when the button’s state is a pure function of the app state. pyedifice.github.io/stubs/edifice.


cdepillabout (@cdepillabout) 's Twitter Profile Photo

I recently released a new CLI tool `cloudy`. It makes it easy to spin up temporary compute instances on various cloud providers. I'm trying to make it feel similar to `docker run` or `vagrant`, but for running one-off applications in the cloud: github.com/cdepillabout/c


cdepillabout (@cdepillabout) 's Twitter Profile Photo

I put together an example repo of how to build a fully statically-linked x86-64 Linux #Haskell binary using #Nix. Everything is documented, so you should hopefully be able to use this to get started with static linking: github.com/cdepillabout/e


Graham Hutton (@haskellhutt) 's Twitter Profile Photo

Charles Nguyen Matti Palli đŸ§™â€â™‚ïž It's funny that nobody who studies maths has any problem learning what a group is. A monad is just a simple algebraic structure. Learn the definition. Study some examples. That's it. It's a sign that CS hasn't grown up yet that folks still make a big deal about monads.

The Kingless Generation (@irregnata) 's Twitter Profile Photo

To introduce ă‚±ăƒ“ăƒłăƒ»ă‚Źă‚€ă‚žăƒłă‚œăƒł, the show’s new Japanese language host, I share an old conversation with him from back when he was still a raging weeb spreading Anglo-American imperialism in blissful ignorance patreon.com/posts/122268040

Brendan James (@deep_beige) 's Twitter Profile Photo

SEASON 6 of Blowback out 9/22. Subscribers-only. Ad-free, bonus eps, deals on merch When apartheid South Africa invades newly independent Angola, Cuba sends its own army to defend it, while the US backs a warlord whose only goal is power. Subscribe at BLOWBACK.SHOW

Angleton’s Orchids (@angletonorchids) 's Twitter Profile Photo

As true Fourth Reich understanders will know, the superstructural shifts at the surface level ushering in Real American Fascism simply reflect the tectonic movements deep in the economic base. “Events” are the spectacle’s way of rolling out the Official Narrative.

Monika Wiesak (@monikawiesak) 's Twitter Profile Photo

No nation, large or small, can be indifferent to the fate of others, near or far. Modern economics, weapons, & communications have made us realize more than ever that we are one human family & this one planet is our home. - JFK