Set in 16th century Bavaria, Pentiment will take players on a narrative journey through the eyes of Journeyman Artist Andreas Maler during a time of great social unrest. youtube.com/watch?v=kxJ5sO…

So glad that my paper "SSA Translation Is an Abstract Interpretation" was accepted to POPL 2026 this year! The paper describes how we can see SSA programs as elements in an abstract domain, and how we can generate them using simple dataflow analyses. binsec.github.io/assets/publica…

In our latest Haskell article, we describe "staged programming", and show how to accomplish it using typeclasses. tweag.io/blog/2022-11-1…

"In a federated system, work is duplicated across the network, and as you get more users, the social graph grows near exponentially." "the constant churn of administrator burnout"

"not straightforwardly Roman, but rather as the result of local innovations relating to the cultural and economic needs of the communities in which this numerical system is present" tandfonline.com/doi/full/10.10… #History

The Creation of the French Royal Mistress open.spotify.com/episode/1mGb2O… goodreads.com/book/show/5003… Consorts of the Caliphs goodreads.com/book/show/2478… Palace plot of Renyin year en.m.wikipedia.org/wiki/Palace_pl… #History

I am building a strong dislike for derived JSON and Pretty instances in #haskell. Because once they are defined there's no way to redefine them. You cannot even filter them out with carefully selected imports because they are imported transitively, possibly everywhere

0ch4rl3s.nfo Dmitrii Kovanikov Eric Torreborre We can even automate on this and generate the integration code including types, mappings and http servers and clients from specs like OpenAPI. It's quite strange how rare this seemingly obvious practice is in the Haskell community

Spring Framework 6 is here! (The first of its kind since we released Spring Framework 5 in September 2017!) Includes: - new Micrometer tracing - Jakarta EE integration - RFC 7807 - Java 17 - a new AOT engine for GraalVM - Loom - CRaC - declarative HTTP/RSocket clients

"My flooded home" 🌊 I didn’t call but the Tigris came, like not even the ocean could— a shameless gate-crasher eating my house without feeling full. My roof rains on me from above while springs well up beneath. And the garden’s turned to a swamp for frogs to swim round in.

I put together a blog post explaining how to get started with contributing to the #haskell ecosystem in #nixpkgs (#nix and #nixos): functor.tokyo/blog/2022-11-1…

#MacOS tips Multitasking Tools and Techniques youtube.com/watch?v=TEsXQu… Desktop Spaces youtube.com/watch?v=uWhZdO… Mission Control youtube.com/watch?v=uBYP5I… Stage Manager youtube.com/watch?v=dbndfD… Spotlight Search youtube.com/watch?v=Rdkqk-… How To Switch youtube.com/watch?v=L1xsPl…

"Niños; no privéis de la libertad a los pájaros; no los martiricéis y no les destruyáis sus nidos. Dios premia a los niños que protegen a los pájaros y la ley prohíbe que se les cace, se destruyan sus nidos y se le quiten sus crías."