Join us when we return to Prosa! After a cool series of talks at several companies and University of Copenhagen, we'll resume our monthly meetups at Prosa from this Tuesday (Februrary 28th) and forward. Hope to see you there! https://t.co/QGcFSQTO2a

Join us when we return to Prosa! After a cool series of talks at several companies and University of Copenhagen, we'll resume our monthly meetups at Prosa from this Tuesday (Februrary 28th) and forward. Hope to see you there! https://t.co/QGcFSQTO2a

Join us for this November talk at LogPoint! Dependent types modulo phase distinction by Joachim Tilsted Kristensen PhD Research Fellow https://t.co/1O3sSm3zEY

Join us for this November talk at LogPoint! Dependent types modulo phase distinction by Joachim Tilsted Kristensen PhD Research Fellow https://t.co/1O3sSm3zEY

Join us for this dual talk @famlyhq! Talk 1: Functional Domain Modelling By Anders Marchsteiner, Staff Engineer Talk 2: Automatic SQL query building with type classes By Christian Harrington, Engineering Director #Scala #functionalprogramming https://t.co/pm8TDVlAXi

Join us for this dual talk @famlyhq! Talk 1: Functional Domain Modelling By Anders Marchsteiner, Staff Engineer Talk 2: Automatic SQL query building with type classes By Christian Harrington, Engineering Director #Scala #functionalprogramming https://t.co/pm8TDVlAXi

Kite is a graph editor entirely written in @elmlang. https://t.co/IL3RzVw9GO And it is open-source. #combinatorics #grouptheory #graphtheory #mathematics #recreationalmathematics

Shout out to @luca_mug for creating a beautiful @elmlang eCommerce example! Code: https://t.co/7DMBR8fjnD Demo:

@alfonsogcnunez @evancz @elmlang @FableCompiler @CodingPiratesDK Setup: - 1st kid was the model (not much to do tbh) - 2nd kid was the view. Looked at the model and draw the value in the notepad - 3rd kid was interacting by pressing the post-it button. - 4th kid (update function) got event message from view, and updated the model. 🙂

@alfonsogcnunez and @evancz. Kidos struggled to explain how the web apps really worked. Then a few minutes with IRL: - Model: 3D white numbers - Messages: 3D blue symbols - View: Notepad with Post-it buttons and it was all crystal clear :) @elmlang @FableCompiler @codingpiratesdk

Hey @alfonsogcnunez Teaching seems to go really nice: https://t.co/0O8aife4sC The only thing kidos are really annoyed about, is the @vscode signature/property name suggestions. It breaks indentation and code becomes really hard to read. Do you know how to disable? (@k_cieslak)

The first print copy of @realworldocaml v2 has been grabbed by a @marius!! He promises to leave it in a coffee shop in California where it will go viral

@alfonsogcnunez since I made it in Danish, two of the kidos only speak English. They just run that @gitlab site through Google Translate. Hackers gonna hack 😅

Hey @alfonsogcnunez Teaching seems to go really nice: https://t.co/0O8aife4sC The only thing kidos are really annoyed about, is the @vscode signature/property name suggestions. It breaks indentation and code becomes really hard to read. Do you know how to disable? (@k_cieslak)

2015: Me at @GroupMWorldwide giving a demo 2019: Robert speaking about @ApacheFlink at the @GOTOcon in Amsterdam 🤔

I hear that the new "Little" book will be having a preorder sale at this link 7-8 September (US time zones): https://t.co/VEoQA7wGQz (use code PREORDER25) This is in the same style as The Little Schemer and The Little Typer.

https://t.co/gJUku7qYc4

Here's an example of why Haskell is such a sick language This is a complete implementation of a generic maximin algorithm in Haskell for one player versus "nature" (uncertainty), optimized using dynamic programming

yo i heard you like monads

Free BIOS achieved!!! Read the latest article by FSF senior systems administrator, Ian Kelling, about the FSF tech teams latest achievement toward freedom. https://t.co/dNKpmcWv7a #libreboot #coreboot #freeBIOS