New Func Prog Podcast! In this episode I talk to Elisabeth Stenholm about dependent types, proof assistans and homotopy type theory! Spotify: open.spotify.com/episode/4GEp... Apple Podcasts: podcasts.apple.com/se/podcast/f... YouTube: www.youtube.com/watch?v=CS4I... RSS: anchor.fm/s/10395bc40/...

the zen of delegation: everything needs doing, but you don’t need to do everything

maybe this is just cope from being chronically disorganized, but I believe that if you feel like your life is in complete order then you could be doing more

We are looking for developers for a stealth startup in Stockholm is hiring a .NET/F# dev! Focus: Functional Programming, GIS, AI/LLMs, Google Cloud. Hybrid (3 days onsite). Open to consultants & FTEs. 👉 DM me for details

vibe coding is like pair programming with that guy from memento

At Goatmire Elixir! #goatmire

Wake up babe, new Func Prog Podcast just dropped! I interview Robert Smith about Coalton, Common Lisp, DSLs and much more! Spotify: open.spotify.com/episode/4fSw... YouTube: youtu.be/niWimo9xGoI?... Apple Podcasts: podcasts.apple.com/se/podcast/f... RSS: anchor.fm/s/10395bc40/...

It's in OneDrive. It's literally in SharePoint. It's on the F:\ drive. It's literally on Slack. You can probably find it on the intranet. Dude it's on GitHub. It's on the FTP. It's on Teams. I sent it on Teams. You can go to Teams and find it. Log onto Teams right now.

New episode of the Func Prog Podcast where I interview Hécate! We talk about effect systems, using Haskell in production & much more! Spotify: open.spotify.com/episode/7kjA... YouTube: www.youtube.com/watch?v=OoGh... Apple Podcasts: podcasts.apple.com/se/podcast/9... RSS: anchor.fm/s/10395bc40/...

New episode of the Func Prog Podcast where I interview Hecate! We talk about effect systems, using Haskell in production & much more! Spotify: open.spotify.com/episode/7kjA... YouTube: www.youtube.com/watch?v=OoGh... Apple Podcasts: podcasts.apple.com/se/podcast/9... RSS: anchor.fm/s/10395bc40/...

New blog post~ Why Lean 4 replaced OCaml as my Primary Language kirancodes.me/posts/log-oc...

If you are at all interested in type checking, you should definitely check out Stephen Diehl’s Typechecking Zoo! It has in-depth walkthroughs of implementing progressively more advanced type systems sdiehl.github.io/typechecker-... @www.stephendiehl.com

New episode of the Func Prog Podcast! Get ready for a deep dive into the world of language design and type systems with Aram Hăvărneanu Spotify open.spotify.com/episode/52CH... Apple Podcasts podcasts.apple.com/se/podcast/f... YouTube www.youtube.com/watch?v=Afbw... RSS anchor.fm/s/10395bc40/...

New Func Prog Podcast where I talk Unison with Eric Torreborre! Tune in to find out how this new language might revolutionize computing! Spotify: open.spotify.com/episode/00J5... Apple Podcasts: podcasts.apple.com/se/podcast/f... YouTube: youtu.be/bAZQ_Hux6KM?... RSS: anchor.fm/s/10395bc40/...

When you were partying (learning Python), I studied the blade (learned Haskell). And now that the world is on fire (null pointer error in prod) and the barbarians are at the gate (test suite takes 1+ hr to run) you have the audacity to come to me for help (develop a gradual typing system).

I'm currently recruiting for an Elixir role in Stockholm (with a bit of Rust sprinkled in)! No prior Elixir experience required, but candidates should have at least 2+ years of professional development experience. If you're interested, or if you have any tips, please DM me!

Rewrite in Rust tonight?? Rewrite in Rust tonight king??

New episode of the Func Prog Podcast with Fernando Borretti, creator of the Austral programming language! Spotify: open.spotify.com/episode/5a4N... YouTube: www.youtube.com/watch?v=QcBa... Apple Podcasts: podcasts.apple.com/gb/podcast/6... RSS feed: anchor.fm/s/10395bc40/...

TypeScript really is the ayahuasca of type systems

Daily type theory workout: 2 sets of Gentzen notation. 5 sets of reading PDFs. Beta-reduce Y combinator until failure.

No one knows the true identity of the artist / activist known as "Birdsky"

HoTT singletons in your area

Abstraction boundaries are optimization boundaries. What do SQL queries and list functions have in common? How can we get rid of the N+1 problem? Is there a connection between abstraction and optimization? blog.snork.dev/posts/abstra...

ready to try this “lean” thing tpot has been going crazy about

☺️

What happened to McDonald’s lore? The last 30 years have been really rough for fans of the MCU (McUniverse)

New episode of the Func Prog Podcast! In this episode I chat with @bugarela.bsky.social about functional programming, Quint, TLA+ and why we need more formal verification in our lives! YouTube: youtu.be/zKERmkonANM?... Spotify: open.spotify.com/episode/4yaI... RSS: anchor.fm/s/10395bc40/...

Coffee? Red Bull? Monster Energy? Get back to me when you’re ready to Lock In for Real

You will never regret liking this photo ♥️

🇳🇴 We are looking for a low-level C / Linux programmer for a freelance assignment in Oslo! If this is you, or if you know someone who fits the bill, please send me a DM! 🇳🇴 (I am also available for graphic design work)

Monads were invented by Big PLT to sell more Category Theory

Any Rust 🦀 freelancers in my network who are ready to start an assignment in August? Please DM me! (Must be based in or near Stockholm)

Happy friday, Bluesky!

We still have a few seats left for the Scala Stockholm meetup tonight! Join me at Scala Spring Meetup @ Truecaller meetu.ps/e/P2Kq0/bkRm...

I’m applicative-pilled. I’m in my Kliesli era. I’m going monad mode.

New Func Prog Podcast! In this episode I chat with Peter "Pez" Strömberg about Clojure, data-oriented programming, and much more! Spotify: open.spotify.com/episode/2tsC... Apple Podcasts: podcasts.apple.com/us/podcast/3... YouTube: www.youtube.com/watch?v=B_D1... RSS: anchor.fm/s/10395bc40/...

People love philosophy, but they hate a philosopher

Programming with Union, Intersection, and Negation Types is probably my favorite of the papers I’ve read this year; it makes a solid case for set-theoretic types, using very straightforward language: www.irif.fr/~gc/papers/s... Very compelling stuff!

On Thursday May 15 we will have a Scala meetup at the Truecaller offices in Stockholm! We have two talks lined up: * Refined newtypes in Scala 3 with Neotype and Iron - Edvin Lundberg * Doobie: Skunk-inspired approach to transaction handling - Daniil Chalov RSVP below! meetu.ps/e/P2Kq0/bkRm...

We’re hosting a functional programming conference in Stockholm on October 15th! The conference is a half-day event with talks by Daniel Ciocîrlan, Giacomo Cavalieri and Elisabeth Stenholm—and tickets are only 500 SEK! It’s going to be awesome—get your tickets and more info at: funcprogconf.com

This little pup has managed to stay dry despite wearing so much drip. 12/10