If you want to start learning Scala, but don’t know where to start, here’s an awesome course from no other than Alvin Alexander himself 👇

Tech Twitter, what is the best European site to search for a fully remote job? There are quite a lot of them, and I’d like to focus on a few.

Exciting news! 🚀 Join us for the first-ever Effect Days conference on Feb 23, 2024 in Vienna. 🎟️ Only 100 tickets available! But wait, there's more! We're hosting a hands-on Effect workshop on Feb 22nd. Secure your spot on the waitlist now 👇 effect.website/events/effect-…

We're happy to announce live.lean-lang.org, the official online playground for Lean 4 + std/mathlib hosted by the Lean FRO and based on github.com/leanprover-com… by Alexander Bentkamp and Jon Eugster. Many thanks to Alex for helping with the setup!

Swift folks, is there any production-grade data validation library akin to `zod`, `io-ts`, `@effect/schema` from TypeScript? I want to define my data shape, and then use that validator on some JSON input. Kit Langton, maybe you know?

I wrote a 2D game, entirely in type-level Typescript. Yes, you read that right. This is flappy bird, written only in Typescript types. How did I do it? It involves a lot of type magic, and a new type-level Typescript runtime I made in Rust + Zig. Let me walk you through it:

Paperproof: A new proof interface for Lean 4 "Paperproof will inspect how the hypotheses and goals were changing throughout the Lean 4 proof, and display this history - making it equivalent to how we think of a mathematical proof on paper." github.com/Paper-Proof/pa…

functional programming is great but have you ever jump scared a cat?

A good criticism of Clean Code (and OOP in general) was written by the great Matt Chan (sadly, no longer with us). The post survived on the archive web.archive.org/web/2022052403…

¯\_(ツ)_/¯

Awesome work, written in pure TypeScript.

Okay, I gotta admit: Kyo by Flavio Brasil is the most impressive piece of tech I’ve seen in the recent years.

This is big! Despite I am somewhat hesitant about the usage of LLM-based approach to math, an assistant that can suggest tactic chains to you looks like an amazing feat to me.

💼 I am actively looking for a new role — preferably as an Engineering Manager, but it can be an IC role as well. If you follow me, you probably know that I'm well-versed in FP and TypeScript, but I am also a good team leader and proficient software architect. Please RT! 🙏

Hey #TypeScript people, what is the state-of-the-art FSM implementation for TypeScript? I'm looking for native, super-strict, type-safe FSM with asynchronous transitions and possibility to specify complex async conditions. Michael Arnaldi Giulio Canti Flavio Brasil WDYT?