Replies

This profile is from a federated server and may be incomplete. Browse more on the original instance.

maralorn, to NixOS
@maralorn@chaos.social avatar

Hey and people!

I wrote a matrix bot for nixpkgs pull request notifications.

It‘s like the cool https//nixpk.gs/tracker.html by @qyliss, which shows you which release channels a pull request has reached.

With the bot you can subscribe and get notifications, whenever it reaches a channel instead of hammering F5 in your browser tab.

Just open a query to https://matrix.to/#/@nixpkgs-bot:maralorn.de and send "help".

Looking forward to you all stress testing it!

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn very cool!

maralorn, to NixOS
@maralorn@chaos.social avatar

Switched all my machines to 24.05.

Basically no hickups. Thanks to all contributors for a great release!

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn the most important question: when’s the new animal being leaked 🥹

mangoiv,
@mangoiv@functional.cafe avatar

@hexa @maralorn ooooooooooooooooooooo

mangoiv,
@mangoiv@functional.cafe avatar

@hexa @maralorn Owo so cute

mangoiv,
@mangoiv@functional.cafe avatar

@hexa @maralorn also how did that get there, is that pushed directly to master? I can’t see a PR that changes this. 😳

mangoiv,
@mangoiv@functional.cafe avatar
c3manu, to random
@c3manu@chaos.social avatar

hypothesis on why dealing with insufficient software documentation has gotten a lot more agonizing over the last few years: you don't find the personal developer blog's post complementing it in your web search any more

mangoiv,
@mangoiv@functional.cafe avatar

@c3manu I love the „small web“ search modifier for Kagi for this, it actually seems to work-ish most of the time-ish (that’s probably the best we can get these days)

mangoiv,
@mangoiv@functional.cafe avatar

@c3manu I relate to that but also, what else am I gonna do? I need search, it’s not something I can miss, it’s essential to my work etc. I wish there was another option.

blinry, to random
@blinry@chaos.social avatar

Got collaboration working between VS Code and Neovim today! Really exciting! \o/

What features would you like to see in a tool like this? 🧑‍💻

A VS Code window and a Neovim window are open next to each other. When you type in one window, it is reflected in the other window!

mangoiv,
@mangoiv@functional.cafe avatar

@afiestas I don’t know if this does but tmate does-ish. Namely tmux.

mangoiv,
@mangoiv@functional.cafe avatar

@odo2063 @afiestas is this really how the joke goes 😅

kosmikus, to haskell
@kosmikus@functional.cafe avatar

Later today, 2024-05-15, at 1830 UTC, join Edsko and me for the 25th episode of the "from to Haskell" live on .

https://well-typed.com/blog/2024/05/haskell-unfolder-episode-25-from-java-to-haskell/

mangoiv,
@mangoiv@functional.cafe avatar

@kosmikus 🙂‍↕️ will do

https://m.youtube.com/watch?v=bPyR1ttdE7o <- this is the video

mangoiv,
@mangoiv@functional.cafe avatar

I liked it! Much more serious example and much more Haskell-looking translation.

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn @kosmikus im pretty sure that was to replicate the behaviour of the Java version, no? Edsko did talk about examining the size of the critical region being the original motivation behind the Java code.

Using an MVar is using a lock. while the MVar is taken, no other Thread can take it.

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn atomicModifyIORef doesn’t seem to work very well here in particular, mind that we throw an exception in one of the branches. Tbh I think an MVar is the perfect fit here 😅

mangoiv,
@mangoiv@functional.cafe avatar

@maralorn oh, in my mind its a lock which also has a value, locking the MVar is taking it, unlocking it is putting it. Or, if you so wish, you can even do it in reverse.

As far as i understand what you normally call a lock is what we’d call an MVar ().

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • ngwrru68w68
  • tacticalgear
  • magazineikmin
  • Youngstown
  • khanakhh
  • rosin
  • slotface
  • InstantRegret
  • everett
  • mdbf
  • Leos
  • cisconetworking
  • cubers
  • modclub
  • GTA5RPClips
  • ethstaker
  • osvaldo12
  • Durango
  • provamag3
  • normalnudes
  • tester
  • anitta
  • megavids
  • lostlight
  • All magazines