Totally normal middle-aged family man.
Yokohama Japan
Joined March 2010
- Tweets1.3K
- Following850
- Followers603
- Likes221K
5 points of Puritan Programming:
Total functions
Unrepresentable illegal states
Limited side-effects
Immutable data
Parametric polymorphism
2
8
251
James Brock retweeted
New files expose Britain’s secret D-Notice censorship regime
The Grayzone has obtained documents providing an unprecedented look at how UK soldiers and spies suppress news and coerce reporters into silence
By @KitKlarenberg and William Evans
thegrayzone.com/2025/11/30/f…
James Brock retweeted
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
James Brock retweeted
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
James Brock retweeted
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.
James Brock retweeted
Oye escoria, tú y tu cuñado sabe más de tráfico de drogas que Maduro sabrá
miaminewtimes.com/news/marco…
James Brock retweeted
This is some of the best podcasting I’ve ever listened to. Not exaggerating. It also dovetails insanely with the night of the long knives book I’ve just read, and bears quite grim implications for our near future. Hats off to Marcus once again. Some thoughts below:
James Brock retweeted
It’s a pungent bouquet of TED Talks! A blast from the past! Some shots from the aughts! patreon.com/posts/130834199
James Brock retweeted
Pleased to announce @blowbackpod SEASON 6, coming fall 2025 from me and @nkulw
Teaser:
James Brock retweeted
To introduce @KevinGaijinson, 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
James Brock retweeted
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.
James Brock retweeted
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/exam…
James Brock retweeted
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/clou…
James Brock retweeted
I wrote a short blog post introducing Cloudy:
functor.tokyo/blog/2024-09-2…
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/clou…
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/ed…
1
230
James Brock retweeted
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 retweeted
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:
- Lambdas with full closure support
- Unrestricted recursion and loops
- Fast object allocations of all kinds
- Folds, ADTs, continuations and much more
To HVM2, a new runtime capable of spreading that workload across 1000's of cores, in a thread-safe, low-overhead fashion. As a result, we finally have a true high-level language that runs natively on GPUs!
Here's a quick demo: