Lead dev at @Statebox ⭐️ Into FP, type theory, logic programming, category theory, algebra, topology, C64 asm, music, etc. Also likes oak trees.
Amsterdam
Joined October 2012
- Tweets2.2K
- Following401
- Followers381
- Likes1.7K
Erik Post retweeted
My first visualization of the retainer graph of a Haskell program's live heap.
(I used the external STG interpreter to export the interpreted program's live heap data)
That was a great experience! Thanks to all the participants, @marcoshuttle, and @ddd_eu for their support! 🙏
Good grief, what a stunning work of art on this computer from 1982.
This Post is from an account that no longer exists. Learn more
Erik Post retweeted
You can now use Dhall to generate Dockerfiles:
discourse.dhall-lang.org/t/a…
Erik Post retweeted
hello! for the past decade I've been building bespoke, a free modular synth environment with python livecoding support for mac/windows/linux
you can find the code and get builds at github.com/awwbees/BespokeSy…
and if you scroll through my feed, you'll find a bunch of videos of it
Erik Post retweeted
There might be a last-minute PhD studentship at Bristol. PM me if you like at least two of: PL, categories, HoTT, logical relations, homotopies, process calculus.
Erik Post retweeted
The @statebox category theory course has been four days of wonder.
Wonder.
@fabgenovese and Christina Vasilakopoulou are fantastic teachers. As were my fellow students. (What an honor!)
Worth every moment, every effort. Hats off to Statebox.
Erik Post retweeted
Oldies but goldies: James Blinn, A Generalization of Algebraic Surface Drawing, 1982. « Metaballs » are levelsets of mixtures of radial basis functions, which generate blobby lava-lamp-like behaviors. en.wikipedia.org/wiki/Metaba…
Erik Post retweeted
When we say "never forget," we are not talking about Germany, or the Holocaust, or even Nazis. We are talking about groupthink.
This is the only force that can blind humanity to reality and may be the most destructive force in the world.
Are you as tired of writing your CI scripts in bash as I am? Well, thanks to to Jason Yavorska over at GitLab, we can now write them in Commodore 64 BASIC instead.
Now all we need is snail-mailing 5 1/4" floppies as a service.
I've finally gotten around to recording a video demo of the #Commodore64 custom executor I wrote for doing modern software development using @gitlab on a C64. Hope it's entertaining. :) #RetroComputing youtube.com/watch?v=4s0pe5vR…
It's difficult to express how excited I am about these folks creating a PureScript PHP compiler backend, in addition to the existing JS, Python, C and other backends. It looks like functional programming will be coming to a WordPress installation near you soon!
Erik Post retweeted
purescript-python v0.1.3.0 released: github.com/purescript-python…
It's now on v0.13.8, the only up-to-date purescript backend other than JS.
Passed a large number of tests provided by purescript-{collections, quickcheck, arrays, ...}, and only failed in JS specific things.
Erik Post retweeted
First impressions of purescript:
1.They got a lot more things 'just right' than Haskell did. Records are great.
2. Deployment is about as difficult as deployment in Haskell.
3. The community has been great so far.
4. There's about the same amount of abstract nonsense.
Erik Post retweeted
Published a new #haskell package called squares! I tried to make the documentation read a bit tutorial-like, without using too much text. But it’s still very much a work in progress! hackage.haskell.org/package/…
