Sign in

chreke

@chreke.com
295 followers 286 following 754 posts

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

PostsRepliesMedia
chreke @chreke.com · 19/03/2026
What is a null coalescing operator but a poor man’s monad? What is a pipeline operator but a poor man’s method call?
140
chreke @chreke.com · 02/03/2026
Spotify: open.spotify.com/episode/7l3T... Apple Podcasts: podcasts.apple.com/se/podcast/f... YouTube: youtu.be/sYqUUYlm4HU?... RSS: anchor.fm/s/10395bc40/...
open.spotify.com
#16 Adam Tornhill
054
chreke @chreke.com · 02/03/2026
The Func Prog Podcast is back with another episode! I sit down with Adam Tornhill, the founder of CodeScene, to discuss technical debt, Clojure, and why it’s so hard to write good code. Listen below! 👇
170
chreke @chreke.com · 16/02/2026
Node.js meetup on March 23rd 👀 Node.js meetup on March 23rd queen?? luma.com/217oq7dm
luma.com
Node.js Meetup · Luma
Welcome to the first Node.js meetup hosted by Functional Software! Don’t miss this opportunity to connect with fellow Node.js developers, listen to engaging…
000
chreke @chreke.com · 14/02/2026
F35 ran into an CAS A-10 squad leader and got brutally airframe mogged
020
chreke @chreke.com · 14/02/2026
A pretty straightforward solution in Python:
000
chreke @chreke.com · 14/02/2026
Another programming puzzle for the weekend! programmingpuzzles.com/puzzles/013-... Let's see your answers in the comments below!
programmingpuzzles.com
013 Do Androids Dream of Emmentaler Cheese? - ProgrammingPuzzles.com
Worker androids from the off-world colonies have made their way onto Earth. Your job is to track them down, but it's difficult — they look identical to humans. Usually you have a machine that can iden...
110
chreke @chreke.com · 08/02/2026
People on twitter will really be like "you believe in writing raw SQL? that pales in effectiveness to my strategy, using a model abstraction layer so I can switch RDBMS at any time" and then never switch RDBMS
160
chreke @chreke.com · 06/02/2026
these just keep getting more insane—love it! 😂
010
chreke @chreke.com · 06/02/2026
000
chreke @chreke.com · 06/02/2026
A brute-force solution in Python
000
chreke @chreke.com · 06/02/2026
Are you ready for this week's programming puzzle? Share your solutions in the comments! programmingpuzzles.com/puzzles/012-...
programmingpuzzles.com
012 The Perfect Menu - ProgrammingPuzzles.com
You are a chef running a small restaurant; due to the small size of your kitchen, you always have a set menu with one appetizer, one main dish, and one dessert. After service is over, you immediately ...
220
chreke @chreke.com · 05/02/2026
Tickets for Func Prog Conf 2026 are live! 🥳 We sold out last year—get your ticket while they’re still available! funcprogconf.com
funcprogconf.com
Func Prog Conf 2026 - 14 October, Stockholm
A full-day conference about functional programming in Stockholm, October 14 2026
051
chreke @chreke.com · 01/02/2026
if you want to write really clean code, you need to use vim
141
chreke @chreke.com · 31/01/2026
010
chreke @chreke.com · 31/01/2026
man, that’s crazy!
110
chreke @chreke.com · 30/01/2026
010
chreke @chreke.com · 30/01/2026
Thanks for coming on the podcast, very happy with how the episode turned out!
010
chreke @chreke.com · 30/01/2026
That sounds interesting! To me, these ideas are pretty much isomorphic—if I can put application logic in the database that is fine too
020
chreke @chreke.com · 30/01/2026
Spotify: open.spotify.com/episode/44bo... YouTube: www.youtube.com/watch?v=IW-p... Apple Podcasts: podcasts.apple.com/se/podcast/1... RSS: anchor.fm/s/10395bc40/...
open.spotify.com
#15 Giacomo Cavalieri
010
chreke @chreke.com · 30/01/2026
What better way to start your weekend than a new episode of the Func Prog Podcast? In this episode I talk with @giacomocavalieri.me about the @gleam.run programming language—we had a great time and covered a bunch of interesting topics! Links in comments 👇
2112
chreke @chreke.com · 30/01/2026
Here's my modest proposal: Stop moving data between your application and the database; instead, move the database into the application. Use a low-level store (e.g. RocksDB) for persistence and language-level primitives for concurrency control (a good use case for Rust?)
110
chreke @chreke.com · 30/01/2026
Since the database code can't "see" the application code (and vice versa), it's very easy to introduce deadlocks, race conditions, etc. Static analysis is of little help here.
110
chreke @chreke.com · 30/01/2026
SQL is convenient for fetching data, but its concurrency primitives are lacking. What's worse, the application and the database need a shared understanding of what resources are owned by whom. This creates a lot of ugly, brittle code.
120
chreke @chreke.com · 30/01/2026
Hot take: We need to rethink how we build distributed systems (read: web apps). The old three tier model of client–app server-database needs to go. For basic use cases it works well enough, but as soon as you introduce complex transaction logic, or high load, it breaks.
240
chreke @chreke.com · 30/01/2026
Time for another programming puzzle! Share your solutions in the comments! programmingpuzzles.com/puzzles/011-...
programmingpuzzles.com
011 Rosebud 64 - ProgrammingPuzzles.com
You are approached by an eccentric billionaire with an interesting proposition. He wants you to write an emulator for the Rosebud 64, an obscure gaming console he played as a child. He has purchased t...
110
chreke @chreke.com · 28/01/2026
chat, how cooked am i?
110
chreke @chreke.com · 28/01/2026
gnu reports AGI has been achieved internally
040
chreke @chreke.com · 27/01/2026
that feeling when your conference talk is rejected
030
chreke @chreke.com · 25/01/2026
I would be very interested! My company might be interested in helping out somehow (organization / sponsorship) if budget / time permits
020
chreke @chreke.com · 23/01/2026
Can you solve this week’s programming puzzle? Share your solution in the comments below! programmingpuzzles.com/puzzles/010-...
programmingpuzzles.com
010 Alchemy - ProgrammingPuzzles.com
You are a medieval alchemist trying to figure out the recipes in a new grimoire. However, the recipes are written in a very convoluted and cryptic way, so it's difficult to figure out in which order t...
000
chreke @chreke.com · 16/01/2026
finally, a soda that supports modal editing
040
chreke @chreke.com · 16/01/2026
A solution in Python:
020
chreke @chreke.com · 16/01/2026
Another Friday, another programming puzzle! Can you solve the riddle of the sphinx? Let's see your solutions in the comments! programmingpuzzles.com/puzzles/009-...
programmingpuzzles.com
009 Riddle of the Sphinx - ProgrammingPuzzles.com
You’re running late for work. As if things couldn't get any worse, your path to the subway is blocked by a sphinx!
120
chreke @chreke.com · 09/01/2026
Here's a Python solution as it might appear in your algorithm textbook:
000
chreke @chreke.com · 09/01/2026
It's Friday—time for another programming puzzle! programmingpuzzles.com/puzzles/008-...
programmingpuzzles.com
008 A Family Affair - ProgrammingPuzzles.com
You are a lord in a dark fantasy universe trying to figure out some questionable family relations, so you visit the royal archives to read the family chronicles. Unfortunately, someone has attempted t...
120
chreke @chreke.com · 04/01/2026
here's a side project I've been working on for a few mornings: programmingpuzzles.com it's a list of programming puzzles i've come up with; they are designed not to be *too* hard (they should take 20-30 minutes to finish), so you can knock one out before you head off to work
programmingpuzzles.com
ProgrammingPuzzles.com
Are you cracked enough to solve these programming puzzles? 7 puzzles and counting!
031
chreke @chreke.com · 02/01/2026
The most important property of a query language is that we can rewrite an expression to a more efficient one, and get the same result back—this is the core of query planning. The simply typed lambda calculus supports this as it’s referentially transparent
100
chreke @chreke.com · 02/01/2026
“decode the voynich manuscript. make no mistakes”
010
chreke @chreke.com · 02/01/2026
Can we replace SQL with functional programming? We take it as a given that relational languages are used to query databases, but there’s no reason we couldn’t use a language based on the lambda calculus!
220
chreke @chreke.com · 07/12/2025
apropos something @welltypedwit.ch told me back on cohost—you really want some kind of polymorphism if you’re going to implement an effect system. so you could probably use row-typed dictionaries for this as well?
010
chreke @chreke.com · 07/12/2025
it’s interesting that you could basically emulate type classes with explicit dictionary passing and row typing. i guess you could also implement monad transformers like this?
140
Reposted by chreke
Kiran @kirancodes.me · 03/12/2025
You’re absolutely right — you are Pagliacci. It would certainly be difficult for you to attend your own performance! I should not have given such paradoxical advice, and I apologize deeply for the error. There is no excuse for my failure.
6473131
chreke @chreke.com · 28/11/2025
* Spotify open.spotify.com/episode/3y24... * Apple Podcasts podcasts.apple.com/se/podcast/f... * YouTube: www.youtube.com/watch?v=pVV3... * RSS: anchor.fm/s/10395bc40/...
open.spotify.com
Spotify – Web Player
000
chreke @chreke.com · 28/11/2025
New episode of the Func Prog Podcast! This time I’m chatting with Robert Kreuzer from Channable about using Haskell in production, getting a job as a Haskell programmer and an epic Haskell VS Rust showdown! Listen to it in your favourite podcast player—links below!👇
151
chreke @chreke.com · 25/11/2025
080
chreke @chreke.com · 25/11/2025
020
chreke @chreke.com · 25/11/2025
no cap detected www.youtube.com/watch?v=w9Ex...
youtube.com
Gabriella Gonzalez on "Monad transformers are good, actually" @ZuriHac2023
YouTube video by OST – Ostschweizer Fachhochschule
000
chreke @chreke.com · 25/11/2025
i've started playing with monad transformers in haskell; really good stuff
240
chreke @chreke.com · 22/11/2025
my wife
030