← Feed

Posts

• View post

  I think I'll be venting about bad testing practices for the next few days. Latest find: if you're testing a system that needs to write things to the file system, you should use a temporary folder for that. You certainly *should not use your project's resource directory for that*.

• View post

  I never know quite where I stand on verbose type names that duplicate namespace information. For example, configuration types. Say I have one for databases, in the `db` namespace, and one for network, in the `net` namespace. Should I call them both `Config`, or `DbConfig` and `NetworkConfig`? The convention seems to be the latter, but then `db.DbConfig` is redundant, and while in the `db` namespace, I need to prefix everything with `Db` for no particular reason. And I can just locally alias t...

• View post

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

• View post

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

• View post

  @cellio@indieweb.social i don’t necessarily have the theoretical background for this, but aren’t dependent types types indexed by values? Scala match types aren’t that, they’re a lot closer to haskell type families

• View post

  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?

• View post

  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

• View post

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

• View post

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

• View post

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

• View post

  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.

• View post

  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)?

• View post

  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.

• View post

  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!?