@mckinley@twtxt.net very handy!

@darch@neotxt.dk @prologic@twtxt.net Sunday 21:00 UTC is about the only window that works for me–I have the baby most of that day. I can steal a bit of time during the work week on Mon-Thu between 13:00 and 21:00 UTC. Fridays are a little too tough schedulewise to think about 🤯

@prologic@twtxt.net apparently I don’t get it either lol

@prologic@twtxt.net haha oops! As you can see I’m very good with time 🤪

@prologic @mckinley I couldn’t make it at 6am UTC either fwiw

The vast majority of visits to my web server are:

• Me
• People or bots looking for vulnerabilities
• Web crawlers

with about 0.5% of traffic being legitimate, not-me visitors.

@prologic Don’t change a good thing on my account!

@prologic ouch that would be 1am where I am 😬

@prologic oh interesting. I might try to make that next time. When does it happen?

Stumbled on WebID today. Besides being confusing, it doesn’t work on the site I tinkered with and it seems to be mostly abandoned?

@prologic @ocdtrekkie I only ranted about monads that one time! 😂

@Phys_org@feeds.twtxt.net what happens when I do this?

@prologic@twtxt.net yes but where’s the fun in that!

and all of that to protect yourself from the possibility of leaking a resource? A little programming discipline can achieve the same!

Anyhow, I’m interested in algebraic effects because they look a little more natural to me. You can sorta kinda write code the way you want, and then supply “handlers” for the effects like I/O or database access or whatever. Which is a not-unreasonable way to structure things anyway. And the compiler barks at you with helpful errors like “you’re not handling effect Foo” instead of “there is no implicit view from FooMonad to Option” that make little sense unless you’ve already stewed your brain in monads.

anyhow, that’s what programming with monads is like, to me. Oh, I want to do X. OK I’ll try using SpecialEffectsLibrary. But to do that I have to wrap my code in FooMonad. OK. But then to use FooMonad with this other monad I like using, I need a FooMonadTransformer. OK. Oh but now that doesn’t compile because I didn’t wrap such-and-such in a call to FooMonad.pure. OK. Oh and since I’m using monads I can’t do this other thing recursively. Hmm what now. By the time I sort out all the compiler errors I forgot about X.

after hours of doing a depth-first search through the lib* tree and compiling as you go, eventually you’d start to succeed, but by that point you totally forgot about X and SpecialSoftware and you have made your computer into a mess of libraries you compiled. Isn’t it nice that nowadays you can choose to trust a package maintainer to do that work on your behalf, and only take on the burden if you have a special reason to do so?

this is a weird analogy I guess, but I find programming in a monadic style to be analogous to how you used to install software back in the days before reliable package managers. You’d be like “oh I want to do X so I need to install SpecialSoftware.” So you’d download the source code for SpecialSoftware, try to compile it with make, and it’d explode. After reading the weird errors, you finally figure out that SpecialSoftware depends on libFoo. So you’d download the source code for libFoo, try to compile it, and it’d explode.

you can handle effects in the manner of algebraic effects using this feature, which I find way more palatable than living in monad hell.

I wish that this experimental Capture Checking feature in scala 3 were available in the official distribution so that I could play with it in a project i’m working on now.

@stigatle@yarn.stigatle.no the pictures you posted the other day are amazing!

@stigatle@yarn.stigatle.no it’s a bit before 6am where I am, so, tired. How about you?

@lyse@lyse.isobeef.org I didn’t do anything special to make my web browsers default to utf-8. I just installed and used them.

@eaplmx it’s new to me too! I can’t pretend to know a whole lot about web tech, but anyway 🤷

Google’s video chat merger begins: Now there are two “Google Meet” apps | Ars Technica

OMG girl, stoppppp!

I’m discovering that setting up in the IndieWeb will take a non-trivial amount of work. But since I don’t want to ever be stuck in a social media silo again, I think it’s worth it. It’s interesting to tinker with, too.