Andrew Tropin

Hack on operating systems and programming languages. He/Him.

Improve tooling for Guile and Guix.

Author of Guix Home, RDE, Arei/Ares Guile IDE.

74830A276C328EC2 at keyserver.ubuntu.com and keys.openpgp.org.

#plt #os #fp #lisp #scheme #clojure #guile #guix #nix #rde #emacs

Public Key

npub1dg643nc4ummjgwp77gxrsht940u274xj977hl8r43ldxrgyr2lks32vtnu

NIP-05 Address

[email protected]

Profile Code

nprofile1qqsx5d2ceu27daey8ql0yrpct4j6h7902nfzl0tln36clknp5zp40mgpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qz9thwden5te0wfjkccte9ekk7um5wgh8qatzgpxd58

Publishing to

relay.ditto.pub

relay.mostr.pub

Author Public Key

npub1dg643nc4ummjgwp77gxrsht940u274xj977hl8r43ldxrgyr2lks32vtnu

Show more details

Published at

2026-07-15T13:52:59Z

Kind type

0 Metadata

Event JSON

{ "id": "5e2a30a06fb0544f038d5d68ceadf399434d4e9b7220ae912bad1284dbb6731f", "pubkey": "6a3558cf15e6f724383ef20c385d65abf8af54d22fbd7f9c758fda61a08357ed", "created_at": 1784123579, "kind": 0, "tags": [ [ "emoji", "guix", "https://cdn.fosstodon.org/custom_emojis/images/000/081/302/original/a494ff9abcf8e8ff.png" ], [ "emoji", "emacs", "https://cdn.fosstodon.org/custom_emojis/images/000/025/108/original/997142686665a17a.png" ], [ "emoji", "wayland", "https://cdn.fosstodon.org/custom_emojis/images/000/104/480/original/b5e69de97fa2430c.png" ], [ "emoji", "sway", "https://cdn.fosstodon.org/custom_emojis/images/000/104/483/original/0dc66e2d4c2cfe65.png" ], [ "emoji", "lisp", "https://cdn.fosstodon.org/custom_emojis/images/000/720/419/original/79780865092d2b8d.png" ], [ "proxy", "https://fosstodon.org/users/abcdw", "activitypub" ], [ "client", "Mostr", "31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr", "wss://relay.ditto.pub" ] ], "content": "{\"name\":\"Andrew Tropin\",\"about\":\"Hack on operating systems and programming languages. He/Him.\\n\\nImprove tooling for Guile and Guix. \\n\\nAuthor of Guix Home, RDE, Arei/Ares Guile IDE.\\n\\n74830A276C328EC2 at keyserver.ubuntu.com and keys.openpgp.org.\\n\\n#plt #os #fp #lisp #scheme #clojure #guile #guix #nix #rde #emacs\",\"picture\":\"https://cdn.fosstodon.org/accounts/avatars/000/110/000/original/c6a8ed24127361a4.jpg\",\"banner\":\"https://cdn.fosstodon.org/accounts/headers/000/110/000/original/1271128d0cc4f530.jpeg\",\"nip05\":\"[email protected]\",\"fields\":[[\"Site\",\"https://trop.in\"],[\"Git\",\"https://sr.ht/~abcdw/\"],[\"OpenPGP\",\"D963A5A38A803D524461F91474830A276C328EC2\"],[\"Tools\",\":guix: :emacs: :wayland: :sway: :lisp:\"]]}", "sig": "4e8043d1851749f246e0b2ffa231db9768dce2b4341792ad2cc4abc8d7739a364d667a45068f7c9ab7583944680c6e7611950d60f9b57058f665b333088550e7" }

Last Notes

2026-05-17 02:31:01 UTC

- reply

@nprofile…j497 not sure how much time 'type 2 fun' has to hurt, but It's already a week after I finished the race and I still feel miserable :D

2026-05-16 08:44:20 UTC

Finished Ironman70.3 race in 6.5 hours.
Kinda fun, but not sure if it's fun enough to compensate an awful heat and humidity, huge jelly fishes, dangerous road accidents and tons of endless suffering. Have to admit, there is a benefit of training for the race: people compliment my ass more often and/or ask if I lost weight. (Actually, I got 2 more kilos).
Not sure what to do next. Check out Japan? Come back to life in the forest, rock climbing and trail running? To try a van life + cycling? 🤔
https://cdn.fosstodon.org/media_attachments/files/116/583/233/184/210/715/original/d72945ac19cea63a.jpg
https://cdn.fosstodon.org/media_attachments/files/116/583/282/111/040/717/original/178303b102d97f4e.jpg

2026-05-15 10:59:27 UTC

I wanted to brag how hard it was to run Ironman in incredible heat of Vietnam, share some pics and all that, but ended up listening songs about emigration, war, and all of a sudden lose of home, hopes and meanings.
I grew up on the songs of this RAP group, I'm very glad that they left the country, I'm glad that they don't grovel and discuss the matters clearly. I'm very sad that they have to sing about it. Fuck the war.
https://youtu.be/Gz8DEFh42Ho?list=PLHoFTNv6MU3mG4w1tCBpSKAFPHAO9KF8s

2026-04-19 10:13:14 UTC

TIL: Triathlon is hard.
Imagine you've had to swim, cycle and run one after another without stopping for a moment. That's how triathlon feels :D
- 1.5k(?) swim (33:55) 3:05/100m(?).
- 75k cycle (2:29:00) 30km/h.
- 15k run (1:30:28) 6:00min/km.
I hate swimming, I suck hard at it and just trying to survive waves, jelly fishes and sharks, but still think the overall results are not that bad for a guy, who could walk only with crutches 5 months ago.
#swimming #cycling #running #triathlon
https://cdn.fosstodon.org/media_attachments/files/116/430/756/827/319/862/original/d248423f55c10903.mp4

2026-04-19 09:31:51 UTC

- reply

@nprofile…j497 :D
My nutrition today was:
- 1 plate of plane spaghetti 2 hours before start (40g carbs?)
- 1 gel 15 minutes before swim (22g carbs).
- 2 x 750ml bottles (maltodextrine+fructose+water+combucha) 250-260g
- 6 gels (132g)
The course took me 4:42h.
444g total? :)
https://cdn.fosstodon.org/media_attachments/files/116/430/656/343/324/906/original/7f290e2a46628999.png

2026-04-18 12:28:04 UTC

How Agent 007 preparing for the mission:
- Eat carbs.
- A bit more food.
- After Lunch Sleep.
- Eat more carbs.
- Put stickers on bike and other equipment.
- Eat more.
- Did I mentioned eating carbs?
- Preparing 400g of on-the-mission carbs.
#running #cycling #swimming #triathlon
https://cdn.fosstodon.org/media_attachments/files/116/425/656/200/561/384/original/1d7213acf314898c.jpeg

2026-04-18 07:39:46 UTC

- reply

@nprofile…8kvm or just splash in the water before eating a quarter 😅

2026-04-18 05:33:15 UTC

Getting ready for some serious coding to be done.
https://cdn.fosstodon.org/media_attachments/files/116/424/032/044/459/324/original/f4733c2aa584a041.jpeg

2026-04-17 05:05:23 UTC

- reply

@nprofile…a04m Depends on use case, I heard many people use Fedora/Debian + Guix Home/RDE. But it mostly for personal laptop setups. With a server it's a bit less value in Guix Home on top of Debian I guess.

2026-04-16 01:19:25 UTC

- reply

@nprofile…tj4e Oh, this is a moving target, I guess it requires almost a full time work to maintain and change tools to keep it working :/
Talking about recent tools I heard about: zapret2+wireguard over icmp

2026-04-15 15:13:39 UTC

- reply

@nprofile…tj4e Russia. From innovative rapidly developing telecom to Top-2 of internet censorship rating. Just straight after Northern Korea.
One of the first steps were "protecting children" from harmful information law in 2010.
Now, the most advanced Deep Package Inspection technologies in the world, government enforced and controlled unecrypted messanger and barely working internet.

2026-04-15 14:36:50 UTC

I can tell you a story how one country went from "protecting children"
to banning any internet resource on a government wish
and me not being able to chat with my mom without some crazy ygg+vless+shadowsocks setup
in just a dozen of years. (and it still getting worse).
I don't recommend the experience. There are other much more fun things to do in the life.

2026-04-15 14:22:34 UTC

- reply

@nprofile…6ljk I didn't use stgit, but heard many times. From what I've read it seems like the first step towards patch-based VCS (darcs, pijul).
Now we have jujutsu and it seems to cover this niche in even more details with a great UX and (probably) underlying tech.

2026-04-15 00:08:01 UTC

Magit is what has kept me sane using git all these years.
Interactive rebases, squashes, fix ups, hunk selection were comfy and fluent; experience is polished.
Also, Magit created a whole new cluster of UI interfaces. Transient is a thing!
Can't underestimate how much important @nprofile…7cw0 work is.
Thank you man!
#emacs #git

2026-04-14 11:55:22 UTC

grub on Guix now asks password only once for LUKS encrypted disk! It took quite some time, but I'm happy we are finally here! :D
https://codeberg.org/guix/guix/commit/b90597b98d46767207a0e92a84fb39c344472b69
Kudos to Danny Milosavljevic for fixing it!
#guix #grub

2026-04-14 04:01:14 UTC

One week with Jujutsu full-time: I've never been happier with VCS. I guess we don't come back to the git.
The only "project-wide C-z" feature is already huge, but there is so much more.
Finally VCS doesn't get in the way and feels so reliable and smooth.
#git #jujutsu #vcs

2026-04-09 14:29:31 UTC

Imagine somebody also getting a grant to work fulltime on nREPL, tree-sitter grammar, Emacs extension and all other cool dev tooling and IDE-like features for Guile Hoot!
Oh, wait, somebody actually got it today! :D
https://nlnet.nl/project/Guile-Hoot-IDE/
Huge kudos to @nprofile…246t and @nprofile…7gup

2026-04-09 10:51:52 UTC

- reply

@nprofile…j497 I actually like that jujutsu track everything by default. I even came up with workflows how to keep "private" files committed, but not pushed.

2026-04-09 10:50:06 UTC

- reply

@nprofile…j497 yeah, the need is much less, and jj CLI is great, but majutsu make the rebase and other things more convenient and fluent

2026-04-09 05:19:53 UTC

- reply

@nprofile…xfnx @nprofile…8kvm DDoSing public-benefit projects because you are got pissed by someone's opinion sound kinda childish :)

2026-04-09 05:09:07 UTC

- reply

@nprofile…8kvm yeah, quite puzzled as well

2026-04-09 00:12:14 UTC

- reply

@nprofile…xfnx ¯\_(ツ)_/¯, according to status report it doesn't seems so

2026-04-09 00:09:41 UTC

- reply

@nprofile…me62 majutsu

2026-04-08 14:58:41 UTC

In the meantime, I use jujutsu on 2 of my current projects full time. I do everything, including push/fetch via jj. (with a help of majutsu.el).
The third project have a lot of untracked and ustaged changes, so I'm a bit hesitant to switch it to jj right now. (technically nothing stops me from doing so, but I want to use migration as an opportunity to cleanup and commit all "ongoing" changes).
Anyway, jujutsu is fucking awesome, I enjoy every second using it.
#git #jujutsu #vcs #emacs

2026-04-08 14:48:31 UTC

Somebody DDoSing sourcehut for a few days already :[ Why the heck do they do so?
https://status.sr.ht/issues/2026-04-06-ddos-attack/

2026-04-07 10:03:47 UTC

- reply

@nprofile…g82v 💯
It was clear for the long time that git is a suboptimal tool, but it's really hard to jump out of its ecosystem at the moment. Very glad to find jujutsu. It will lead to even better VCSs in the future.
I would like something similar, but on OS level. + ideally not plain-text, but for structured data.

2026-04-07 04:06:23 UTC

Pushed my first commit created with Jujutsu. This is a patch-based D VCS similar to darcs and pijul, which can work on top of git.
Imaging your are in interactive rebase all the time [and it's a good thing]. All the changes are always committed, no stash, no index. Everything is a changeset.
Jujutsu makes so much sense. It cuts a huge amount of friction from my coding workflow.
One of the best tools I found in 2026. Moreover, One of the best I found through my life :)
#vcs #git #pijul #darcs

2026-04-05 04:21:15 UTC

- reply

@nprofile…d72n heh
https://cdn.fosstodon.org/media_attachments/files/116/350/176/688/812/925/original/e94ad2030a329269.png

2026-04-04 09:25:29 UTC

- reply

@nprofile…qddr @nprofile…phx2 yeah, they are cool. They are one of the inspirations :)

2026-04-04 08:53:02 UTC

- reply

@nprofile…qddr Thank you for the summary and the link! Will watch the talk.
I would like to have a VCS for data structures. I have a long-waiting idea to make code hash-addressable and store it in some CRDT.

2026-04-04 05:56:49 UTC

There is a Scheme testing framework by Arthur A. Gleckler, which was developed before SRFI-64, but published only in 2020s.
https://srfi-email.schemers.org/srfi-discuss/msg/15037945/
1. It's very close to suitbl testing library and SRFI-269 in spirit.
2. It has a very neat property of saving resumable continuations on failure, so you can explore the problem in recursive REPL having all the local scope available.
#scheme #guile #srfi #testing

2026-04-04 04:42:44 UTC

- reply

@nprofile…qddr What would I miss from Pijul in Jujutsu?

2026-04-03 12:49:04 UTC

- reply

@nprofile…6ljk Thank you!
One of the options is to use a throw-exception? predicate:
https://git.sr.ht/~abcdw/guile-ares-rs/tree/effbfe0/tests/guile/ares/suitbl-test.scm#L287
https://git.sr.ht/~abcdw/guile-ares-rs/tree/effbfe0/tests/guile/ares/suitbl-test.scm#L223
In this case it's implemented as macro:
https://git.sr.ht/~abcdw/guile-ares-rs/tree/effbfe0/src/guile/ares/suitbl.scm#L97
I guess it will be useful to standardize such helpers in another SRFI, related to test runners and test reporters.

2026-04-03 09:15:08 UTC

We published a new SRFI 269: Portable Test Definitions.
https://srfi.schemers.org/srfi-269/
We already got a very positive private feedback from seasoned Scheme hackers, but we also looking forward to yours. We have a few more weeks to incorporate the changes.
P.S. 21 years have passed since SRFI-64.
P.P.S. There are links to demo video of the library usage at the end of the SRFI.
#srfi #guile #scheme #lisp #testing

2026-04-01 07:54:41 UTC

Guix fixed most of the vectors of supply chain attack, before supply chain attacks became a mainstream :)
#guix

2026-04-01 06:00:04 UTC

We were working on SRFI for portable test definitions API for quite some time, and it finally ready.
Today I made a video quickly explaining the specification and showing an implementation and all cool consequences of the API design.
https://youtu.be/JI7Z6-tndaw
SRFI draft and testing library source code:
- https://trop.in/SRFI-268
- https://git.sr.ht/~abcdw/guile-ares-rs/tree/master/item/src/guile/ares/suitbl
#guile #scheme #srfi

2026-03-31 04:27:48 UTC

- reply

@nprofile…5h37 I write japanese with romaji (as many of japanese people I know), but it is still very cool to have this beautiful hiragana legends on my keyboard. Much more fun and noisy then boring ansi layout :)
P.S. and small space makes my keyboard much more ergonomic.
https://www.keyboard-layout-editor.com/#/gists/871c3dacf82a8153a405ad41ff63b751

2026-03-31 03:01:25 UTC

For a FOSS developer I may have too much windows on my laptop.
https://cdn.fosstodon.org/media_attachments/files/116/321/521/055/316/015/original/3a1dd03f153690f7.jpeg

2026-03-30 23:47:34 UTC

- reply

@nprofile…j497 Yeah, the git backend is huge.
True, the way it works in darcs/pijul/jujutsu make so much more sense to me.
Another cool thing is that all the files are always tracked even if you never committed them.
You use it through CLI/GUI?

2026-03-30 13:32:11 UTC

- reply

@nprofile…7cp4 🤭

2026-03-30 10:25:10 UTC

If after recent system update you are out of sound. You may need sof-firmware package.
#guix

2026-03-30 03:03:58 UTC

Don't quit after the first attempt, try two more times so your failure is statistically significant.

2026-03-29 13:54:51 UTC

- reply

@nprofile…kpkm Thank you for valuable feedback!

2026-03-29 13:53:40 UTC

- reply

Kudos to @nprofile…atgh for a #guix build farm+mirror. It has a plenty of substitutes and works fast.
https://ultrarare.space/en/posts/guix-build-farm/

2026-03-29 12:02:00 UTC

- reply

@nprofile…0qq3 Yeah, the Qucikshell-based shells look pretty neat. I didn't hear about QML for ages, but have a positive impression about it so far.

2026-03-29 11:01:00 UTC

Another cool project I recently found is Quickshell.
A number of components for building shells using Qt Markup Language. I saw QML for the first time in 2011, and I didn't enjoy it, but today it looks very sane to me (and I understand it much better :D).
If I ever need to prototype a bar, notification center, application launcher or something similar I would go for that. At least will start with it.
Demos are pretty cute and impressive:
https://quickshell.org/
#qt #wayland

2026-03-29 10:27:04 UTC

- reply

Jujutsu is packaged in #guix! <3

2026-03-29 10:19:36 UTC

I wanted to try darcs and pijul vcs for quite sometime, but never had enough motivation, because it completely new ecosystems with different tooling.
Recently I learned about Jujutsu, which reuses fundamental ideas of darcs, but uses git as a storage backend, so I can use it with existing projects and tools.
https://www.jj-vcs.dev
I found a demo, and it is pretty neat and makes so much sense:
https://v5.chriskrycho.com/essays/jj-init/
https://youtu.be/cD9L3Mi1Vy4
https://youtu.be/2otjrTzRfVk
#jj #git #vcs

2026-03-28 13:58:46 UTC

The system doesn't want to reconfigure for a few days already, because a package substitute fails to download. 43 attempts failed so far.
I guess I will download it myself and will put in the store manually :)
Do we want to make substitutes downloading resumeable in Guix?
#guix
https://cdn.fosstodon.org/media_attachments/files/116/306/834/568/573/239/original/14c7574cbb7ae982.png

2026-03-26 00:13:43 UTC

- reply

@nprofile…qy37 It was a half, but yeah, I've run this distance on the competition for the first time.
I think 22-25. We started around 4 o'clock, so the temperature was okay :)

2026-03-25 10:24:51 UTC

It's me, running back home to finally write some scheme code and do a bit of PLT research.
#running
https://cdn.fosstodon.org/media_attachments/files/116/289/284/787/893/038/original/8431bf42bfb8ccac.png

2026-03-22 14:35:44 UTC

- reply

@nprofile…7cp4 Take a look at this trick:
https://git.sr.ht/~abcdw/rde/tree/e18c720b/src/rde/features/base.scm#L204

2026-03-22 13:28:18 UTC

Did a bit of clean up and collected some garbage. 500GiB of disk space is freed up. How much guix gc cleans for you? :)
P.S. I did another small gc call with ~50GiB before the screenshot, and after that removed old system and home generations and some other gc roots and executed this one:
#guix
https://cdn.fosstodon.org/media_attachments/files/116/273/044/821/289/189/original/bfb384a3d82f51ea.png

2026-03-22 02:16:45 UTC

- reply

@nprofile…ygzq I like the spirit :)

2026-03-21 15:10:18 UTC

- reply

@nprofile…qe8y We have LibreWolf at ~home~ Guix.

2026-03-21 01:35:25 UTC

Always haven't been! :D
Emacs is self-documentend, extremely hackable, with a huge ecosystem and we don't have anything better yet.
But at the same time it is sluggish, single threaded, quite bloated, has a quirky extension language and tons of legacy.
Being a fan often means blindly ignoring the flows, and defending the tool in discussions no matter what. I prefer to be one step ahead, using my expertise to attack the tools I use the ways people wouldn't even think of.

2026-03-20 13:11:16 UTC

- reply

@nprofile…qcav I hope it will be fun! :D
@nprofile…pkel may know more about wayland-scm as he maintains the package at the moment.

2026-03-20 13:09:21 UTC

- reply

@nprofile…047x Yeah, saw it. I'm not a big fan of emacs in general and its window management approach in particular :D But will take a deeper look at the implementation, can be useful as an example. Thank you for the link!

2026-03-20 09:28:55 UTC

TIL:
- river wayland compositor is written in Zig.
- it has a window manager separated from compositor.
(and both points looks great to me).
For last a few months, I was using niri and is very happy with scrolling wm approach. However, I would like to have something more hackable to tweak the details to my liking and try out new things. And I guess, river may be a good foundation for my experiments.
Kudos to Isaac for this project.
https://fosdem.org/2026/schedule/event/GR8BFE-separating_the_wayland_compositor_and_window_manager/
#wayland #wm #river #zig

2026-03-19 13:00:29 UTC

- reply

@nprofile…7x6g Nah, these are all road bikes :)

2026-03-19 02:59:50 UTC

Did an FTP test and got some numbers.
After initial recovery from the motorbike accident my FTP was slightly above 100 watt. In 3 months I raised it to ~210w.
In my previous life (before triathlon), I cycled only casually, so I'm not really aware if it's significant progress or not, but number-wise it looks really cool, I'm pretty happy with it :)
P.S. FTP is an average power you can sustain for one hour.
#cycling
https://cdn.fosstodon.org/media_attachments/files/116/253/499/484/230/916/original/abb6526be416ecca.jpg

2026-03-12 04:26:55 UTC

I feel that the word user has a negative connotation in the realm of programming. I often use "developer", when write docs or messages, but it's not always works, as we can have non-developer users :)
[Computer] Operator? 🤔

2026-03-08 23:50:30 UTC

- reply

@nprofile…j8as If you write Guile Scheme, I can recommend Ares/Arei :)

2026-03-03 12:22:25 UTC

- reply

@nprofile…dmr0 Indeed. And with @nprofile…4wz6's work on hoot (and maybe goblins) we can get interactive look at our system while we develop them in our REPLs/IDEs :)

2026-03-03 03:49:57 UTC

- reply

@nprofile…dmr0 Looks really nice!

2026-03-03 03:42:42 UTC

- reply

@nprofile…v673 Overall, I feel that structural diffs are exceptionally powerful, but the tooling and integrations are not yet here.

2026-03-03 03:42:28 UTC

- reply

@nprofile…v673 Yeah, I was experimenting with difftastic on the last stream and it produce results of variable quality. Most of the problems caused by scheme grammar not able to parse guix and guile specific reader macros, but I guess there are cases, when it can also be noiser than line diffs.
However, you can switch to "plain text" grammar to get a usual diffs. I made some notes on difftastic here:
https://git.sr.ht/~abcdw/rde/tree/bb208ad2/src/rde/features/difftastic.scm#L14

2026-03-02 14:30:35 UTC

Explaining in one picture why structural diffs are important.
Both buffers contains a diff for the same change.
https://cdn.fosstodon.org/media_attachments/files/116/160/042/232/740/337/original/7dcca0d043d82cd3.png

2026-03-02 13:49:44 UTC

I think Guix has a huge impact on neighboring projects (Guile, RDE, Hurd, etc) carrying them forward and making it easier to work on them.
Today, want to send some kudos to Hurd team. You are doing great, pretty happy to see alternative kernels going forward! It's one of the hardest CS tasks and it's pleasure to see the progress with it. Very few people are brave enough to commit into such adventure.
https://guix.gnu.org/en/blog/2026/the-64-bit-hurd/
#guix #hurd #os

2026-03-01 13:31:14 UTC

- reply

@nprofile…38ae I was using html-ts-mode + combobulate and it was a fun experiment.
https://github.com/mickeynp/combobulate
However, the problem is not in HTML/js/css/whatever per se. Overall, the plaintext representation for structured data is quite cursed.

2026-03-01 13:10:06 UTC

- reply

I've opened
https://vim-jp.org/vimdoc-en/filetype.html and got hard flash backs.
It looks exceptionally cool and nostalgic, but when I scrolled to VimL listings I almost got an anxiety attack.

2026-03-01 13:04:12 UTC

One of the reasons I don't like "Plain Text" is that you have to do this fucking trickery to get any useful syntax tree out of it:
https://blog.pulsar-edit.dev/posts/20231110-savetheclocktower-modern-tree-sitter-part-5/#markdown-and-front-matter
or just™ use regexp and get it working 60% of the time (e.g. as most language modes do in #emacs, or filetype's -syntax were in #vim).
P.S. Parsing with grammars (+nested grammars injections) is much more reliable than regexps, but still have a number of edge cases, where it fails.

2026-03-01 06:01:54 UTC

I was curious what our nix-haskell friends from Tweag thinks about AI/LLMs, so I've read their latest blog post. Not exactly what I was expecting, but it was fun :)
https://www.tweag.io/blog/2026-02-12-doctor-xaelong/

2026-02-27 11:23:41 UTC

This is a good viewpoint about why Emacs is so useful:
https://youtu.be/DMbrNhx2zWQ
Hate Emacs' hackiness and sluggishness, but we still don't have anything better yet.
And a very good caution at the end of video: Don't try Emacs!
#emacs

2026-02-27 06:47:08 UTC

Trying out structural diffs. The diffs using language's syntax instead of just text lines.
#difftastic #treesitter #git #emacs #magit and all that.
https://youtube.com/live/pARy5XnLHKQ
#rde #guix

2026-02-26 11:56:52 UTC

- reply

@nprofile…063y Yeah, we recorded it. Will post it later.
Good luck with the test! :)

2026-02-26 09:53:31 UTC

Starting in 5 minutes.

2026-02-26 08:55:57 UTC

- reply

@nprofile…j497 @nprofile…nx2p That's the plan! :)

2026-02-26 07:01:21 UTC

- reply

@nprofile…3nev oh, cool, I definitely need to try it out!

2026-02-26 05:33:22 UTC

RDE Meetup in less than 5 hours. RDE, Guix, Guile and all the stuff you like.
Link to the call: https://trop.in/rde/meetup
#rde #guix #guile #scheme

2026-02-26 05:20:13 UTC

Ok, now I have a pretty good understanding of how my own wayland compositor and native UI component library will look like!
https://wc3ui.banteg.xyz/
https://cdn.fosstodon.org/media_attachments/files/116/135/224/367/092/784/original/8b59e2eb26af096a.png

2026-02-26 05:10:06 UTC

Ok, now I have a pretty good idea of how my own wayland compositor and UI component library will look like!

2026-02-26 05:08:30 UTC

I have a pretty good idea how my own wayland compositor will look like!

2026-02-26 05:02:39 UTC

Booked my stay in Bangkok from March 7th to 11th. Most of the time I will be at FOSSASIA conference. My talk about Guix is on March 9th.
I also plan to pet some Lizards and do a couple runs in Lumphini Park.
Will be happy to meet and chat, ping me if you come to the conference as well.
Tell me if you have any cool thoughts on how to showcase/explain Guix and functional package managers in 15 minutes.
https://eventyay.com/e/88882f3e/schedule#info
#fossasia #foss #guix #nix #nixos

2026-02-26 02:33:43 UTC

- reply

@nprofile…047x Ares is a guile program (it has some tools for reflection/evaluation/debugging and also implements nREPL server and expose those tools via nREPL protocol). Arei is emacs Guile IDE, an nREPL "frontend" . UI, keybindings, helper functions, capfs, xref. All the necessary information and actions are performed by communicating to Ares "backend" via nREPL.

2026-02-25 07:31:23 UTC

- reply

@nprofile…dmr0, it's also cool that the implementation of this workflow took a couple dozens of minutes and this functionality could be implemented by the user itself as all necessary APIs are exposed by Arei.
https://git.sr.ht/~abcdw/emacs-arei/log/c348103
Another missing piece is a context switching (fibers, vats, debugger, etc), but it will take a bit more time to implement properly :)
Cc:
@nprofile…9kfq @nprofile…7yuj @nprofile…nx2p
@nprofile…kqpd
@nprofile…063y

2026-02-25 06:58:06 UTC

On FOSDEM and Guix Days we were discussing an absence of REPL in Arei/Ares.
One of the concerns was: with in-buffer evaluation workflow in contrast to REPL/jupyter notebook we don't see the correspondence between an expression and the value of its evaluation. It can negatively impact user experience and also makes Arei harder for learning/exploring.
I mentioned that this can be addressed by eval-and-print-to-comment.
Here is the demo of how it works:
https://youtu.be/lPVpYzqXNEY?t=215
#guile #scheme

2026-02-24 13:07:01 UTC

A tip about HPMOR.
Recently, I watched all the Harry Potter movies and thus understood overall story (I've read the first book and watched some movies partially, but never had a whole picture before).
A few days ago, I started to re-read "Harry Potter and the Methods of Rationality" and it's much more fun then it was a few years ago.
HPMOR worth reading anyway, but knowing the original story definitely makes it easier and more enjoyable to go through.
https://hpmor.com/
#harryPotter

2026-02-23 04:39:56 UTC

On GrapheneOS (Android fork) I use following keyboards:
https://github.com/Helium314/HeliBoard
https://github.com/ElishaAz/Sayboard
Both open source, offline and all that.
Heliboard has all the nice features, including swiping, undo, cursor movement without touching input field, ultrabackspace and all that.
Sayboard works ok, but requires a lot of attention as often misstranscribes and don't recognize borrowed words/loanwords.
#foss #android #keyboard #opensource #grapheneOS

2026-02-20 03:05:41 UTC

I never used #unison, but it's one of my most favorite programming languages. Content-addressable code, algebraic effects and a bunch of other cool tech.
I would be glad to see it shining!

2026-02-19 14:33:06 UTC

This is a pretty interesting chart! I'm curious how many people would be eager to start hacking around with #guile if we had #VSCode and #Vim IDE frontends in addition to Emacs' one?

2026-02-19 13:43:37 UTC

This is a pretty interesting chart! I'm curious how many people would be eager to start hacking around with #guile if we had #VSCode and #Vim IDE frontends in addition to Emacs' one.

2026-02-19 13:33:59 UTC

We have next RDE meetup in one week (February 26, 12:00 CEST) and you are very welcome to join! Among possible topics:
- Guile development outside of Emacs (Vim, VScodium?).
- FOSDEM, Guix Days recap.
- New RDE Internship.
- and more in the full announcement 👇
https://lists.sr.ht/~abcdw/rde-discuss/%[email protected]%3E
#guix #rde #guile #scheme #lisp

2026-02-13 03:36:33 UTC

- reply

@nprofile…fl4q @nprofile…9muw @nprofile…hdk0 Does germ+mescc potentially allow to get rid of m2-planet, mes and tcc?

2026-02-12 15:28:39 UTC

- reply

@nprofile…9muw Yeah we chatted with @nprofile…hdk0 on Guix Days about guile deamon and he showed what is already implemented. This is what motivated me to think about those topics more than I did before.

2026-02-08 20:10:06 UTC

- reply

@nprofile…zm89 TIL about opencode. I didn't try it yet, but seems quite cool.

2026-01-29 08:59:09 UTC

- reply

@nprofile…063y Wish you easy and fun exams! :)

2026-01-25 09:28:01 UTC

After FOSDEM and Guix Days, I go to Berlin for a few days (5-7 Feb). If you want to meet in person and chat, run or walk around the city, let me know :)

2026-01-24 13:18:22 UTC

- reply

@nprofile…j0m9 Internet thinks we need good associative data structures and sane pattern matching for them :)

2026-01-18 05:29:19 UTC

- reply

@nprofile…nrqh good to know, so I can be tied to someones leg, right? :D