I just completed all 25 days of Advent of Code 2022 using lean! adventofcode.com github.com/odomontois/adv… #AdventOfCode #lean

Scala 3 tip #13 You can use additional tag traits to mark subspaces of your enum. Pattern matching plays nicely with them

I started dumping stuff about categorical systems theory in a public repo It's still a mess and probably always will, it's mostly to have a place were to put stuff without a home, but also hopefully evolving into a useful reference of theory and examples github.com/mattecapu/cate…

Unzipping sequences of tuples in scala 3 scastie.scala-lang.org/Odomontois/zyc… Just a random scala 3 snippet, so you know I'm alive.

We're pleased to announce the first official release of Lean 4! Release notes: github.com/leanprover/lea… Post on the community blog about future release cycles: leanprover-community.github.io

This year my language of choice for Advent of Code is Unison | @unison-lang.org on bsky github.com/odomontois/adv…

Scala tip #15 A recursive call inside an inline function doesn't compromise the tail position. So, if you want to refactor some complexity out of multiple tail positions inside your tailrec function, you can do it with the help of auxiliary inline def.

Scala tip #16 Arguably, the simplest way to define a type-level map in scala is a case class with constant\literal typed fields. You can validate and extract some info using a derivation clause. scastie.scala-lang.org/Odomontois/tjJ…

It's strange that a class that can't be instantiated with its public constructor is allowed to be non-abstract. scastie.scala-lang.org/Odomontois/ayF… github.com/scala/scala3/i…

Metaprogramming procedural language where data definition is a procedure, and field, variant, and inductive self-reference are effects.

All your base is now Akka

If you are new to scala and want to learn new indentation-based syntax instead of obsolete one with braces, you need just two things 1. Learn the old syntax 2. Read these rules

But you know who are well aware of their sins and celebrate their transgressions? Who, in their insatiable pursuit of infinite self-reflective power, succumbed to forces as wicked as they are irresistible? Who danced willingly into the labyrinth of reflection, knowing full well

Всем холодоебам привет из Баден-Бадена!