Erik Post @erikagain

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

Tweets

2K
Followers

400
Following

408
Likes

2K

Csaba Hruska @csaba_hruska

5 years ago

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)

5 22 100 0 4

Download Image

Erik Post @erikagain

5 years ago

Goedenavond @coecke, is there some online place where we might follow your educational efforts along the lines of Kindergarten Quantum Mechanics, if any of that is ongoing? (Apart from arxiv I mean.)

1 0 1 0 0

Erik Post @erikagain

5 years ago

That was a great experience! Thanks to all the participants, @marcoshuttle, and @ddd_eu for their support! 🙏

DDD Europe @ddd_eu

5 years ago

That was a great experience! Thanks to all the participants, @marcoshuttle, and @ddd_eu for their support! 🙏

1 1 3 0 0

Download Image

1 1 5 0 1

Erik Post @erikagain

5 years ago

Good grief, what a stunning work of art on this computer from 1982.

0 0 1 0 0

@[email protected] @AnneOgborn

5 years ago

I'm looking for a contract or FT position. Besides #Prolog I'm current in #React, #Rust, #Python, #Clojure, #C++, could do embedded work, and have lots of graphics background. Live on Texel in N Holland. Also #LOD and #NLP work.

5 45 42 0 0

Dhall @dhall_lang

5 years ago

You can now use Dhall to generate Dockerfiles: discourse.dhall-lang.org/t/announcing-t…

0 23 56 0 6

Ryan Challinor @[email protected] @awwbees

5 years ago

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/Bespok… and if you scroll through my feed, you'll find a bunch of videos of it

36 322 2K 0 259

Download Gif

Alex Kavvos @lambdabetaeta

5 years ago

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.

1 13 27 0 1

Kristleifur Daðason @kristleifur

5 years ago

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.

4 7 28 0 0

Gabriel Peyré @gabrielpeyre

5 years ago

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/Metaballs

1 27 125 0 19

Download Video

Josh Harvey @joshmh

5 years ago

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.

2 3 14 0 0

algoritmic @algoritmic

5 years ago

Combinatorial Music Theory andrewduncan.net/cmt/ #math #music

2 56 212 0 42

Download Image

Erik Post @erikagain

5 years ago

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.

Jason Yavorska @j4yav

6 years ago

3 6 15 0 0

0 1 1 0 0

Erik Post @erikagain

5 years ago

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!

Dario Oddenino @dariooddenino

5 years ago

1 0 7 0 0

Download Image

1 1 3 0 0

Erik Post @erikagain

5 years ago

TIL they used to run macro-economic simulations on hydraulic computers a few decades ago. MONIAC, the Monetary National Income Analogue Computer, was created by a student at the London School of Economics. Fancy that! I'd have thrown in some goldfish though.

2 9 36 0 4

Download Image

Taine Zhao（已原化） @thautwarm

5 years ago

purescript-python v0.1.3.0 released: github.com/purescript-pyt… 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.

4 13 30 0 0

Tom Sydney Kerckhove @kerckhove_ts

5 years ago

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.