Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Wilko

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

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

244 Followers
154 Following
16 Posts
Joined September 06, 2024
Homepage:
https://me.literatelisp.eu/
Open post
Wilko @theesm@social.tchncs.de
· 1w ago
One of my favorite #emacs/tramp things is that in find-file I can say: /ssh:some-server.com|docker:some-container:/conf/some-conf.yaml to view/edit a file inside a docker container on a remote host and that, after opening said file, M-x shell gives me a shell inside said container and dired is available as well to browse directory structures.
5
1
0
0
Open post
Wilko @theesm@social.tchncs.de
· 4mo ago

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!

lists.gnu.org

Submitting GCD 008: “Standing up for human crafting”

8
0
1
0
Open post
Wilko @theesm@social.tchncs.de
· 8mo ago

#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

social.tchncs.de
15
0
4
0
Open post
Wilko @theesm@social.tchncs.de
· 7mo ago
Replying to

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
mutecity.org
12
0
3
0
Open post
Wilko @theesm@social.tchncs.de
· 4mo ago

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
Wilko @theesm@social.tchncs.de
· 8mo ago

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

me.literatelisp.eu

Guix On MNT Pocket Reform: What's Still Missing? -- literatelisp.eu

8
4
4
0
Open post
Wilko @theesm@social.tchncs.de
· 4mo ago

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
Wilko @theesm@social.tchncs.de
· 4mo ago

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
Wilko @theesm@social.tchncs.de
· 6mo ago
Replying to
@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?
cl.cam.ac.uk
2
2
0
0
Open post
Wilko @theesm@social.tchncs.de
· 7mo ago
Replying to
@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
Wilko @theesm@social.tchncs.de
· 7mo ago
Replying to
@janneke @guix @nlnet this is awesome news, congrats!
1
1
0
0
Open post
Wilko @theesm@social.tchncs.de
· 7mo ago

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

codeberg.org
1
0
5
0
Open post
Wilko @theesm@social.tchncs.de
· 8mo ago
Replying to
@tclaesson@mastodon.nu that's good to know, i'll include it in the table, thanks for checking
1
0
0
0
Open post
Wilko @theesm@social.tchncs.de
· 8mo ago
Replying to
@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
Wilko @theesm@social.tchncs.de
· 6mo ago
Replying to
@cbaines this looks awesome!
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

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: 05:25:01 UTC