Lightnews — Scholar-powered news

chreke

@chreke.com

270 followers 280 following 690 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 · 13h

Yesterday we hosted the very first edition of Func Prog Conf, and I'm very happy about how everything turned out! The speakers all delivered stellar performances and the mood was great. I hope everyone enjoyed the "hallway track" as much as I did!

1 10

chreke @chreke.com · 4d

but frankly, i don't care if Jimmy Wales blows all my donations on coke and yachts—i care about wikipedia existing in its current form, in perpetuity, without getting ruined in the chase for better Q4 numbers; a basic ask that seems like an impossible ask in late-stage capitalism

chreke @chreke.com · 4d

but since wikipedia is a non-profit, it also repels wealth extraction; it has stayed pretty much the same since its inception, successfully avoiding enshittification. now, you may have opinions about how wikipedia solicits donations, and how wikimedia spends its money

1 1

chreke @chreke.com · 4d

this is "enshittification", as put into the public conscious by Cory Doctorow. but things need not be this way! look at wikipedia, for example. no venture capitalist would ever touch an "online encyclopedia" startup; wikipedia has cornered the market

1 1

chreke @chreke.com · 4d

the infrastructure that the Internet is built on *is* a common good, largely financed by the state—and by extension you, the tax payer. most big online businesses seek to capture a "function" of the Internet, initially providing value but then switching to wealth extraction

1 1

chreke @chreke.com · 4d

a lot of communist theory is flawed because it rests on the assumption that wealth is a common good that just exists, and that "capitalists" are simply rent-seekers who extract value from it. however, in the digital world, this is much closer to the truth

1 2

chreke @chreke.com · 6d

Almir's F# course: fsbitesized.com

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

fsbitesized.com

chreke @chreke.com · 6d

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 · 6d

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

1 1

chreke @chreke.com · 12d

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 · 14d

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 · 15d

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

chreke @chreke.com · 15d

UmLinkedIn Lammy

chreke @chreke.com · 20d

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 · 21d

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 · 21d

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 · 21d

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

chreke @chreke.com · 21d

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 · 22d

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