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!
meetup.com/moedegruppefun…

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!
meetup.com/moedegruppefun…

Join us for this November talk at LogPoint!
Dependent types modulo phase distinction
by Joachim Tilsted Kristensen
PhD Research Fellow
meetup.com/moedegruppefun…

Join us for this November talk at LogPoint!
Dependent types modulo phase distinction
by Joachim Tilsted Kristensen
PhD Research Fellow
meetup.com/moedegruppefun…

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
meetup.com/moedegruppefun…

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
meetup.com/moedegruppefun…

You need to make another one with `crossed-cables` to when you buy a new laptop and you need to transfer "old-data" very fast 👍 (just connect old-laptop to new one with that cable)

Maybe the world would be better off if it were run by comedians? Comedians are the witty philosophers. They are very keen observers, and they pick on inconsistencies in our worldview. I definitely think Stephen Fry would be a better Prime Minister than Liz Truss.

Would he "make the harsh calls"? Probably not cos he is a good person (Stephen Fry).

Post your best functional programming cold take.

Sum types are just as important as product types.
Having only built-in sum types (like bool and int) is pretty weird.

Can't you make `product types` with `sum types` (single case constructors)?

So if you language support (algebraic) sum-types, then you also have product types 🙂

Kite is a graph editor entirely written in @elmlang.

erkal.github.io/kite

And it is open-source.

#combinatorics #grouptheory #graphtheory #mathematics #recreationalmathematics

Shout out to @luca_mug for creating a beautiful @elmlang eCommerce example!

Code: github.com/lucamug/elm-ec…
Demo: elm-ecommerce.guupa.com

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

@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

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

Hey @alfonsogcnunez

Teaching seems to go really nice: gitlab.com/codingpirates/…

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)

Thanks !!! We will try it out 🙂

Btw, I just realized that ('at' vscode) is not really owned by M$ …

Great to hear that! Do you mean the inlay hints? I think they got similar feedback and in the last versions is active only if you press Ctrl+Alt

I guess it's that. We tried to disable `CodeLens` and `LineLens`, but that didn't help 🫤Do you know if there is a way to disable those hints? /CC @k_cieslak

In this week's Stupid Programming Language ClickBait Post, someone writes about why Java is "the most unsuitable programming language" for startups.

Let's take a look!

I guess that statement is right. I mean, isn't Java synonymous with `corpo enterprise software`? Jaiks

Having said all this, just look at this decision tree someone has kindly made to tell you which JDK to use. Just look at the size of it!

You can be proud @terrajobst that installing .NET is generally a very, very, VERY easy thing to do and there's no faffing around of which distro to use or stuff.

Unless you use @nixos_org 🥲

Luckily someone showed me the way (for installing a specific version):

- gitlab.com/codingpirates/…