Erik Post

Lead dev at @Statebox ⭐️ Into FP, type theory, logic programming, category theory, algebra, topology, C64 asm, music, etc. Also likes oak trees.

[Erik Post @erikagain]

@tangled_zans @arntzenius @_julesh_ @bgavran3 @andre_videla There's also "Categories of Containers" by Ghani, Altenkirch & Abbott. It has some nice pictures. https://t.co/PC2jmHM8go

[Erik Post @erikagain]

@Electricfire13 Ah yes, traffic lights, they do the darndest things. I feel this is a government contract waiting to happen: https://t.co/H04jnxqJha.

[Erik Post @erikagain]

@_julesh_ I think part of that problem is the assumption that kids into CS should be going to uni.

[Erik Post @erikagain]

@typeswitch well, it's good to have some ambitions :9

[Erik Post @erikagain]

@typeswitch deprecation is deprecated, afaic

[Erik Post @erikagain]

@prathyvsh I learned about this stuff from @sigfpe's wonderful talk: https://t.co/mQjg3BAiVZ.

[Erik Post @erikagain]

@jurgenvinju Cool! Dat belooft wat moois. :)

[Erik Post @erikagain]

@jurgenvinju Ah, dus we kunnen naast Centaur nu ook Eclipse aan de grauwe nevelen der vergetelheid toevertrouwen? Dat is een opstekertje! :D

[Erik Post @erikagain]

@andre_videla Hee, hartelijk welkom! Let me know if you'd like to meet up for a drink at some point.

[Erik Post @erikagain]

@tim_hosgood @ToposInstitute Thanks Tim! 👍

[Erik Post @erikagain]

@wires_wires I think I saw Razor 1911 do this once, but in PETSCII, and the rave music was louder.

[Erik Post @erikagain]

@WikstromJoel @chrislpenner @statebox @csaba_hruska Generally speaking, the Statebox mon. cat. editor just gives you a free structure (i.e. a mon. cat. morphism repr'd in JSON or Hs) independent of any specific domain, which you can interpret in whatever context you like by providing your own generators (boxes/arrows/morphisms).

[Erik Post @erikagain]

@WikstromJoel @chrislpenner This is exactly the kind of diagrams you can do with the @statebox editor. They can be exported to Haskell Arrows or JSON. Let me throw in a good example I found on twitter. 🤓

https://t.co/lMcCis9V8h

[Joel Wikström @WikstromJoel]

@JulienTruffaut Quick draft in the Statebox editor by @statebox

https://t.co/8F2xqO6ysg

[Csaba Hruska @csaba_hruska]

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)

[Erik Post @erikagain]

@tilde_cs If you're ok with emacs, org-mode has some amazing table functionality courtesy of org-table. It also has good interop with all manner of things. Pandoc speaks org-mode too, and there are some packages to deal with Jupyter, which I haven't tried yet.

[Erik Post @erikagain]

@HyperboIeva @fabgenovese @bgavran3 @coecke @jbrucj Well, there's always DogeHouse. https://t.co/a1EoKw79ns

[Erik Post @erikagain]

@coecke Ah! That's very exciting news. Bedankt voor de update. 👍 I'll be keeping an eye out.

[Erik Post @erikagain]

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.)

[Erik Post @erikagain]

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

[DDD Europe @ddd_eu]

Algebraic Domain Modelling with Citadels by @marcoshuttle and @erikagain