Lightnews — Scholar-powered news

chreke

@chreke.com

270 followers 280 following 680 posts

Functional programming enjoyer Co-founder of https://functionalsoftware.se Personal website: https://chreke.com Sometimes I write stuff here: https://blog.snork.dev/

functionalsoftware.se

Posts Media Videos Starter Packs

chreke @chreke.com · 9h

Almir's F# course: fsbitesized.com

F# Fundamentals Course – An online bite-sized introduction course to F#

fsbitesized.com

chreke @chreke.com · 9h

Spotify: open.spotify.com/episode/63JC...
Apple Podcasts: open.spotify.com/episode/63JC...
RSS: anchor.fm/s/10395bc40/...

#12 Almir Mesic

open.spotify.com

chreke @chreke.com · 9h

New episode of the Func Prog Podcast!
In this episode, I talk with Almir Mesic about F#—the language that brings functional programming to .NET. If you're curious about F#, this episode includes a listener-only promo code for his F# course!
Links below 👇

Func Prog Podcast Episode 12 - Almir Mesic

YouTube video by Func Prog Sweden

www.youtube.com

chreke @chreke.com · 6d

people say they hate laptops in cafes. i love it. especially when someone has a half-full coffee next to them, that has been cold and stale at least an hour ago. mf locked in for real. i love it.

1 8

chreke @chreke.com · 8d

when buying cleaning products, always get the one with the skull—if the product without the skull would have worked, there would be no point in the one with the skull

chreke @chreke.com · 9d

the zen of lifting—when your mind is concerned with nothing but the next rep

chreke @chreke.com · 9d

UmLinkedIn Lammy

chreke @chreke.com · 14d

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

#11 Elisabeth Stenholm

open.spotify.com

2 6

chreke @chreke.com · 15d

manager is already long gone, the supervisor told him the unifier is busted on line 6, there are skolems all over the floor

chreke @chreke.com · 15d

you: *walk in, give the manager a firm handshake*
manager: i like the cut of your jib, son! here’s your copy of TAPL, you start tomorrow

1 4

chreke @chreke.com · 15d

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

chreke @chreke.com · 15d

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

chreke @chreke.com · 16d

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

2 6

chreke @chreke.com · 17d

vibe coding is like pair programming with that guy from memento

Reposted by chreke

👁️🍄🪸 @bloomfilters.bsky.social · 18d

a tweet by toby fox that says "I didn't try to learn Japanese for a long time because I thought it would be too hard. But now I love learning it and I use it every day.

If there's anything you want to learn, don't be stopped by thinking it'll be too hard! Try it! Game-making, music, art, language, anything!"

46 3.6K 11K

chreke @chreke.com · 29d

Meks McClure on the roots of resilience

chreke @chreke.com · 29d

Brian Underwood with some Elixir hot takes

chreke @chreke.com · 29d

Hideki Takase holding a presentation at Goatmire Elixir 2025

chreke @chreke.com · 29d

At Goatmire Elixir! #goatmire

1 3

chreke @chreke.com · Sep 10

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

#10 Robert Smith

open.spotify.com

chreke @chreke.com · Sep 5

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.

chreke @chreke.com · Aug 28

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

#9 Hécate

open.spotify.com

3 9

chreke @chreke.com · Aug 28

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

#9 Hécate

open.spotify.com

Reposted by chreke

Kiran (She/Her) @kirancodes.me · Aug 14

New blog post~ Why Lean 4 replaced OCaml as my Primary Language

kirancodes.me/posts/log-oc...

Screenshot of the title page for the linked blog post titled "Why Lean 4 replaced OCaml as my Primary Language". The rest of the screenshot shows the first few paragraphs of the article.

2 7 33

chreke @chreke.com · Aug 19

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

Introduction - Typechecker Zoo

Typecheckers built for fun

sdiehl.github.io