← Feed

Posts

• Post #3238583

  I'm looking at a little bit of code that, in order to do basic auth in a (very simple) web app, requires understanding Kleisli, IO, and a bunch of other rather arcane concepts. I love to hate on Spring Boot as much as the next guy, but it's hard to justify favouring the Scala complexity (and the, I'm not exagerating, days of work to get this working) over the somewhat black magic of Spring Boot that gets you something working in an hour and you can move on with your life...

• Post #3238582

  Oooh lovely: https://github.com/scala/scala3/pull/26246

• Post #1763961

  Anybody using codeberg pages? I want to move my blog there, but the documentation is confusing - unless I'm mistaken, it documents the git-page method, but tells us to use the legacy v2 method if we want custom domains, and the legacy v2 method isn't documented?

• Post #1063184

  Showing up for a 10k race quite casually, and all the athleticism clubs in the area are here taking this sooo seriously and warning up like crazy. Starting to feel a little intimidated

• Post #1063183

  Just published the slides to my "Effects as capabilities" talk from BOBKonf and Scalar: https://nrinaudo.github.io/talks/capabilities.html

• Post #1063182

  I'm half amused, half appalled by the reactions I'm seeing to Claude's code leak. Goes from "this is the most impressive piece of code I've ever seen" to "well it *is* april the 1st, surely this must be a joke".

• Post #1063181

  While everybody’s gushing about Project Hail Mary, it might be worth pointing out this tidbit from the book.

• Post #1063180

  I’ve been fielding questions on capture checking and have reached the conclusion that the documentation forces you to think about them a certain way, and that’s the wrong mental model. It’s unfortunate that they’re so tied to capabilities in their vocabulary when they solve a different, orthogonal problem. One that is useful for capabilities, certainly, but distinct from them.

• Post #1063179

  Oh this was frustrating. I didn't realise have of the lecture was missing. Does anyone know where I can find the rest of Bauer's lecture on algebraic effects, the one that's linked on the Eff resource pages (https://github.com/yallop/effects-bibliography?tab=readme-ov-file#2018)?

• Post #1063178

  I just naturally, without thinking, called someone I was on the phone for tech support "young man", and I don't think I'll ever forgive myself for that.

• Post #1063177

  Very glad i started lifting weights again, but i now have muscle pain in some very odd places. Do i really use my armpits? Do i have muscles there!?