abucci

anthony.buc.ci

Hi, I'm Anthony and I'm a computer scientist

Recent twts from abucci
In-reply-to » @prologic I found the Atom feed, but I'm worried it might be too noisy, I don't want to overwhelm my feed reader too much. Hmm...

@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 🤯

⤋ Read More

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.

⤋ Read More
In-reply-to » Research team first to develop 3D structure of twinkle protein Researchers from the National Institutes of Health have developed a three-dimensional structure that allows them to see how and where disease mutations on the twinkle protein can lead to mitochondrial diseases. The protein is involved in helping cells use energy our bodies convert from food. Prior to the development of this 3D structure, researchers only had models and were unable to determine how these mutations contribute to disease. Mitochondri ... ⌘ Read more

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

⤋ Read More
In-reply-to » 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.

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.

⤋ Read More
In-reply-to » 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.

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.

⤋ Read More
In-reply-to » 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.

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?

⤋ Read More
In-reply-to » 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.

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.

⤋ Read More
In-reply-to » 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.

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

⤋ Read More
In-reply-to » I wanted to tinker with webmentions so I'm going to needlessly link to a blog post about a class I taught last month.

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.

⤋ Read More