Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Wilko

@theesm@social.tchncs.de
mastodon 4.6.6
  • Open on social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

238 Followers
151 Following
15 Posts
Joined September 06, 2024
Homepage:
https://me.literatelisp.eu/

Posts

Open post
theesm
Wilko @theesm@social.tchncs.de · May 19, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de

TIL that Siemens has built a tiling X window manager called RTL in 1988 and the way tiling works in this is actually pretty cool

https://www.youtube.com/watch?v=IOxIUeroIVQ

3
0
1
0
Open post
theesm
Wilko @theesm@social.tchncs.de · May 17, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de

I love the stance #guix is hopefully taking on genAI with GCD 008: “Standing up for human crafting”:

https://lists.gnu.org/archive/html/guix-devel/2026-05/msg00164.html

kudos to @civodul@toot.aquilenet.fr for writing this proposal!

8
0
1
0
Open post
theesm
Wilko @theesm@social.tchncs.de · May 14, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de

guess i'll dailydrive my heavily modified tinyrwm.c river hackery as my window manager now ... and I have to give kudos to the river project as it made hacking on wayland window managers approachable and fun for the past few months

4
0
2
0
Open post
theesm
Wilko @theesm@social.tchncs.de · May 11, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de

i've been hacking on the tinyrwm.c example river provides for probably one or two months now and had that stupid idea to build a "tabbed mode" (what sway has at $mod+w) only window manager. It works surprisingly well, but will probably go back to the drawer of unfinished projects soon as I don't plan to maintain a river wm (or spend as much time with this experiment as I *actually* did)

2
1
1
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Mar 28, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de
Replying to @cwebber@social.coop
@cwebber@social.coop SeL4 looks pretty cool! wdyt of capsicum (https://www.cl.cam.ac.uk/research/security/capsicum/) that seems to be used in BSDland? I don't know enough about it specifically, but it has been on my radar for a while & it could also be something worth looking into as it seems to go into a good direction?
1
2
0
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Mar 24, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de
Replying to @cbaines@gts.hotaircat.net
@cbaines this looks awesome!
0
0
0
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Mar 01, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de
Replying to @janneke@todon.nl
@janneke @guix @nlnet this is awesome news, congrats!
1
1
0
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Feb 27, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de
Replying to @civodul@toot.aquilenet.fr
@civodul@toot.aquilenet.fr i'll try to get my v0.0.1 with this new output format to codeberg this weekend! always curious about feedback on how well it works/what's missing etc. am currently also experimenting with a "topology map" (numerical stats at which depth occur how many changes) and IoU per depth, but am unsure yet if that would be of any use (other than me having something to toy around in guile with and learn more guix internals which is awesome in itself) in practice
2
0
0
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Feb 25, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de
Replying to @theesm@social.tchncs.de

i think it's beautiful that every upgrade of a rust application has to include at least one ASCII art homage to an F-Zero vehicle* in its tree diff

  • if anyone wants to take guesses which one is shown here -> https://mutecity.org/wiki/Machine
12
0
3
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Feb 25, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de

did some evening hacking on my derivation diff utility and experimented with the output format a bit more. It now shows whether an input has been added, removed or updated and if updated whether that's because of a version bump (v) or a hash change without a version bump (h). Haven't pushed the current version to codeberg yet, as I'm still trying out new ideas, learning about more and more #guix internals that simplify what I'm trying to do along the way, and the codebase is a mess because of that! (hope to abandon this hacky learning project utility in favor of a prospective guix store diff command in guix proper one day)

20
2
9
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Feb 22, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de

spend parts of my weekend having fun hacking on my diff-drv utility to diff guixes ATerm files. Implemented BFS traversal (to show which exact paths differ) as well as a IoU index (to tell how similiar two .drv graphs are) so it's easier to figure out what changed between two builds regarding the inputs. I'll push it to https://codeberg.org/theesm/diff-drv tomorrow (after cleaning up the branch a bit and after having prettified the output so it's consistent to the rest of diff-drvs output).

#guix

1
0
5
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Feb 09, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de
Replying to @tclaesson@mastodon.nu
@tclaesson@mastodon.nu that's good to know, i'll include it in the table, thanks for checking
1
0
0
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Feb 06, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de
Replying to @gnu_slash_gabber@social.tchncs.de
@gnu_slash_gabber@social.tchncs.de re embedded: I'll consider doing so, that seems to be a good idea! (at least for what can be tackled in the realms of guix already) re raspi: the u-boot package for raspi is a "bring your own firmware" kind of thing as well iirc, the rk3588 u-boot would be similiar to it, meaning one could upstream everything except for the rk3588_ddr_lp4_2112MHz_lp5_2400MHz_v1.18.bin and either rely on people inheriting the package and do modify-phases magic or maybe just upstream the whole thing to nonguix for the moment being.
1
0
0
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Feb 06, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de

I summarized my notes on what's already working/available in guix proper, what's missing and can/cannot be upstreamed, and what the general status of stuff required for running #guix system on the rk3588 mnt pocket reform is here: https://me.literatelisp.eu/guix-on-mnt-pocket-reform-whats-still-missing.html

8
2
4
0
Open post
theesm
Wilko @theesm@social.tchncs.de · Feb 01, 2026
Wilko
@theesm@social.tchncs.de

Guix System & Emacs Hacker | interested in sustainability, ethics & functional programming | 364 ppm | non-binary 🏳️‍🌈

social.tchncs.de

#fosdem was pretty cool, especially this years declarative and minimal computing dev room (even if I missed the first few talks there!). already looking forward to the #guix days tomorrow

15
0
4
0

Remote instance

social.tchncs.de
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 17:10:50 UTC