abucci
anthony.buc.ci
Hi, I'm Anthony and I'm a computer scientist
Hi, I'm Anthony and I'm a computer scientist
@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:
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.