Philipp :emacs: :nixos: / is on Nostr

Open Source, emacs, Linux, Nix/NixOS, Haskell and related languages. Working in research

Last Notes

2024-11-06 14:04:01

In #haskell, is there a version of "bracket" that works on lists? Say I give it a list [a] and "acquire :: a -> IO b" as well as "release :: a -> IO c" and it'll try to acquire "IO [b]" and if one of the acquires fails, rolls back the already acquired resources?
I could fiddle around with resourcet, but is that the only option? For now, my custom-made function for this makes me uneasy. 🥲

2024-10-30 14:06:48

I have a C interface that I'm trying to wrap in #haskell. There's a function that takes a "void*" with data, and a callback. The user is supposed to hold the "void*" until the callback is called. I wanted to use a ByteString, but it seems there's no way to adapt that. So...Vector? Any experience with that?

2024-10-02 10:27:25

I actually needed "data AtLeastTwo a = AtLeastTwo a a [a]" just now in my #haskell bindings (cf. NonEmpty or, as I call it now, secretly: "AtLeastOne"). Alternative names: ReallyNonEmpty a?

2024-10-02 10:27:25

I actually needed "data AtLeastTwo a = AtLeastTwo a a [a]" just now in my #haskell bindings (cf. NonEmpty or, as I call it now, secretly: "AtLeastOne"). Alternative names: ReallyNonEmpty a?

2024-09-09 11:30:55

The "plots" #haskell package is marked broken in #nixpkgs. But I can build it just fine. Could it be that it was fixed, but the broken marker wasn't removed? Or that it was marked broken because it's broken only on some ghc versions?

2024-09-09 11:30:55

2024-08-15 09:56:18

Anyone mind sharing their #emacs mastodon.el config? The default one is not that readable to me. Boundaries between posts are hard to gauge, and the fave/boost icons are far to the right, for example.

2024-08-08 08:03:59

I wanted to pimp my #emacs #orgmode a little and make "DONE" tasks greyed out so they don't distract so much, but it seems muhc more intricate than I imagined (custom-set-faces not working and such). So I'll have to defer that until I have enough time. :/

2024-07-30 15:23:52

- reply

@npub16mt…pnwy almost sounds like an article is brewing about this? 😃

2024-07-25 16:05:37

- reply

@npub16mt…pnwy and what do we poor #nix people for projects that don't use poetry? 😐

2024-07-10 07:14:53

Potentially stupid #haskell question, but if I have a "Ptr a" to some memory (in my case, Ptr CFloat), how do I get a ByteString from that? I could cast to "Ptr CChar", I suppose, and then use "packCStringLen"? Would be cool to not have to copy anything though.

2024-06-18 06:54:42

How are you #emacs people handle your work calendar? For simplicity, let's say the calendar is read-only, but I don't want to access it solely using my web browser.