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

abcdw@fosstodon-org.mostr.pub

Profile Code

nprofile1qqsx5d2ceu27daey8ql0yrpct4j6h7902nfzl0tln36clknp5zp40mgpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qve60gv

Publishing to

relay.ditto.pub

Author Public Key

npub1dg643nc4ummjgwp77gxrsht940u274xj977hl8r43ldxrgyr2lks32vtnu

Show more details

Published at

2026-04-16T01:19:25Z

Kind type

0 Metadata

Event JSON

{ "id": "c8f6073ef296e8b6d381882933d6ed65a5b1c98aff441950d097106608b0c693", "pubkey": "6a3558cf15e6f724383ef20c385d65abf8af54d22fbd7f9c758fda61a08357ed", "created_at": 1776302365, "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\":\"abcdw@fosstodon-org.mostr.pub\",\"fields\":[[\"Site\",\"https://trop.in\"],[\"Git\",\"https://sr.ht/~abcdw/\"],[\"OpenPGP\",\"D963A5A38A803D524461F91474830A276C328EC2\"],[\"Tools\",\":guix: :emacs: :wayland: :sway: :lisp:\"]]}", "sig": "afd6e2952bb15ccc74ea043341657ba1ff57498dc189d0f3b1054b3dede7cb8cda8e91f3432c55fa945caa2f8a2953535fb39a564f064b660f3508fe78d9bce9" }

Last Notes

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-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-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-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-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-01-17 12:32:02 UTC

I would like to do a full Ironman race, but I swim like an Iron.
https://cdn.fosstodon.org/media_attachments/files/115/910/446/871/210/529/original/9e358032a7c2e777.png

2026-01-17 12:17:08 UTC

- reply

@nprofile…p5zg @nprofile…8l8j For control I use pinky, yes. for X sometimes I use left index, sometimes I use right one.

2025-12-23 14:14:37 UTC

- reply

@nprofile…u4jm on parsing. Tab in code block translated into 4 spaces.
(use-modules (commonmark) (haunt post))
(call-with-input-file "posts/test.md"
(lambda (port)
(list (read-metadata-headers port)
(commonmark->sxml port))))

2025-12-23 01:51:46 UTC

I'm writing a blog post using #guile and #haunt and I have a listing of Makefile in Markdown source. However, during the build phase tab characters got transformed into spaces and this makes final rendered Makefile example unusable.
Do anyone have a fix for it?

2025-10-30 09:55:36 UTC

Look at these cool wheels I got for the upcoming triathlon race.
Long story short: I was doing my evening walk, and just in front of my home I got hit by a motorbike and went flying a few meters.
I think I need to start a "Bike Factor" podcast or something. Death, Bus and Open Source, hehe.
https://cdn.fosstodon.org/media_attachments/files/115/462/403/357/329/319/original/9c78c213e3a3ce2f.png
https://cdn.fosstodon.org/media_attachments/files/115/462/404/659/544/353/original/aad67bf2511c6932.png

2025-10-01 00:23:58 UTC

- reply

@nprofile…0v7r @nprofile…zwgs @nprofile…z8rp
About eval sessions: We already have a few nREPL sessions, which allow to run completion/gotodefinition/eldoc in parallel to long-running evaluation or multiple evaluations. With addition of hoot we will have not only "guile-eval" and "tooling" sessions, but also "hoot-eval" or maybe a few of thems and "hoot-tooling". We will need at least an automatic dispatcher based on GUILE/HOOT load paths, but also probably a UI for manual selection of eval session.

2025-10-01 00:19:58 UTC

- reply

@nprofile…0v7r @nprofile…zwgs @nprofile…z8rp Also, in the context of exception eval constructs a special evaluation environment, where frame's local variables are available.
https://youtu.be/55ipaaUMALw?t=889
The same mechanism can be used for Goblin's VATs or fibers scheduler.
It's in PoC and also doesn't have a good explicit UI yet.

2025-10-01 00:13:43 UTC

- reply

@nprofile…0v7r @nprofile…zwgs @nprofile…z8rp Sorry my friend! It's my brain lag, was a bit tired at that moment already and typed it with my spine rather than brain 😅
Cool, I saw some work on it, but didn't know if it finished. Pretty happy to hear it is! :)
Nested eval is similiar to what usual guile's repl provides, when exception raised or special meta-command is used. It sets up additional nrepl operations handlers and allows to show extra UI (like debugger window).

2025-09-30 10:26:25 UTC

Guile Hoot IDE. My grant proposal for #nlnet, I didn't have much time to prepare it carefully this year, but I guess the primary ideas should be clear.
@nprofile…zwgs, @nprofile…0v7r, @nprofile…z8rp how it looks? :)
https://github.com/abcdw/notes/blob/6899771/notes/20250930125613-nrepl_server_and_ide_for_guile_hoot_scheme_on_wasm.org?plain=1#L1
#guile #hoot #scheme

2025-09-30 02:51:20 UTC

- reply

@nprofile…d7wv Thank you for recommendations 🫶 Put them in the list, will get to them after finish a couple of current books.

2025-09-11 12:00:34 UTC

Originally, I was a bit skeptical on the shepherd-on-goblins idea, but after reading the blog post and revaluating the idea one more time I feel it can be a big thing. In combination with #guix, it potentially can be simpler and much more sane than #kubernetes and friends.
https://spritely.institute/news/shepherd-goblins-update.html

2025-09-08 05:49:14 UTC

Imagine I have a couple VPNs+NAT and a few socks proxies (ssh tunnel, shadowsocks, vless, etc). Can you suggest a good way to monitor the "connection quality" of each of them? (on my local machine)
I want to easily see, which are degraded (usually due to ISP/gov doing DPI and blocking related traffic) and which are nice and healthy.
Cc: @nprofile…hcpm
#proxy #i2p #tor #freedom #network #networking #socks #dpi #wireguard #vless #shadowsocks #AskFedi #AskLemmy

2025-09-07 11:27:50 UTC

- reply

@nprofile…76a9 Thank you for great recommendation, I very much enjoyed the book(s), one of the best zombie postapoc series. A bit sad that he is dead and not writing anymore.
The comments about modern russian literature are on point, I can relate. Cringy propaganda is in every second book.

2025-09-07 11:21:06 UTC

- reply

@nprofile…qq23 Эрудированный автор - звучит отлично, спасибо большое. А то подустал от проходного самиздата :)

2025-09-07 00:02:35 UTC

- reply

@nprofile…mugr I didn't know about it. Thank you!

2025-09-06 14:08:20 UTC

Looking for a book recommendation. Something light, probably adventurous and funny, for evening reading.
I was enjoying hpmor, Metro 2033 and S-T-I-K-S Universe, LOTR, litrpg, cozy zombie and postapoc lately, but it's just for the reference, I'm quite open for exploration.
If recommend the book, please add a couple of sentences from your personal experience with it.
#book #books #AskFedi #bookrecommendation

2025-09-04 05:09:39 UTC

Hey, hey, the next RDE Meetup is on the way.
- Guile Debugger PoC.
- Project Documentation and the Next Actionable Steps.
- New Features of suitbl Testing Library.
- Niri - Next Default WM for RDE?
https://lists.sr.ht/~abcdw/rde-announce/%3C87bjnq4xjb.fsf@trop.in%3E
September 18, 12:00 Paris Time. Please, let us now if you plan to come:
https://cryptpad.fr/form/#/2/form/view/l2uLqC5+R+vwQNmMd-ovSgcz6vJntFkFDOire47ja-M/
#guile #guix #rde #emacs #wayland #niri

2025-09-04 04:48:14 UTC

- reply

@nprofile…muce Mostly OpenRouter:deepseek/deepseek-chat-v3.1:free and OpenRouter:deepseek/deepseek-r1-0528.
I need to find out how to enable reasoning for the first one in gptel. I'm quite satisfied with the speed and quality and the tool finally became helpful for me for some use cases. Looking forward to see resource-efficient self-hosted models with good enough quality and speed.

2025-09-04 03:57:20 UTC

LLM-driven refactoring. A very viable LLM use case I found:
Sometimes, I ask LLM questions about a particular part of my codebase and when it mixes things up I see how a human can misunderstand this part of the project too.
I roll my sleeves up and make the naming and flow more explicit and verbose.
#llm #llms

2025-08-23 12:11:18 UTC

Debugging #AirQuality #3 (a lot of mold, gave up).
I think the air purifier was helping a bit and I felt slightly better. But a couple days ago, I found out:
- That the wall was covered with black mold and carefully painted over with white paint :blobcatfacepalm: (it started to grow through the paint).
- On the top shelf of wardrobe live two more types of mold carefully swept into the corner.
I gave up on my deposit, spend a day looking for a new place and moved out.
https://cdn.fosstodon.org/media_attachments/files/115/077/979/767/723/838/original/985ac2317c199b11.png
https://cdn.fosstodon.org/media_attachments/files/115/077/985/177/790/753/original/4f41c759390f0969.png
https://cdn.fosstodon.org/media_attachments/files/115/077/999/148/838/279/original/bbaa965a8712747b.png
https://cdn.fosstodon.org/media_attachments/files/115/078/005/191/443/060/original/9f086920b03bd0e2.png

2025-08-20 04:58:28 UTC

- reply

@nprofile…hcpm
(with-exception-handler
(lambda (ex)
ex)
(lambda ()
(addr-add 0 "127.0.0.1/24"))
#:unwind? #t) ;; => #<&netlink-response-error errno: 1>

2025-08-18 04:44:53 UTC

The only reasonable #web technology usage I've seen in years. This is a piece of #art.
https://floor796.com

2025-08-17 02:08:44 UTC

- reply

@nprofile…eklc I didn't have much success using hetzner, I don't remember why, but it's can be a good option too.

2025-08-17 01:37:59 UTC

- reply

@nprofile…eklc Contabo, incognet.

2025-08-17 01:04:03 UTC

- reply

@nprofile…mugr AFAIK, it's not. However, it's anonymous, so I probably can publish it, need to ask.
Want me to share it?

2025-08-17 00:37:10 UTC

- reply

@nprofile…ddfm Sure! Thank you!

2025-08-16 13:59:28 UTC

- reply

@nprofile…ddfm 🫂

2025-08-16 13:58:42 UTC

I got my paper for a conference rejected and that's how I feel right now:
https://youtu.be/vWFeYuG5ZNk
The paper is dope, BTW. Just needs a bit more time, care and love.
https://arxiv.org/abs/2508.02176
#academia #conference #SoftwareEngineering #programming

2025-08-15 09:23:45 UTC

- reply

@nprofile…ns9x A good title for the book about my life 🤭

2025-08-15 06:46:32 UTC

- reply

@nprofile…hcpm mycotoxins - visible on VOC sensors, spores - onPM2.5, right?
Yup, ventilation is the first thing I did. Have an open window and slightly opened balcony door.
Both HEPA and carbon are here.

2025-08-15 06:08:31 UTC

Keep crafting Scheme testing library and Emacs UI for it. Will be live in 1 hour.
Quick module test [re-]loading and a bit of the refactoring are on the agenda, but feel free to come to hang out and chat about Scheme, Guix, operating systems and programming in general.
Chat: #tropin at https://libera.chat
Stream: https://youtu.be/ulXFpzsZqJE
#guile #scheme #lisp #emacs #streaming #livecoding

2025-08-15 06:02:46 UTC

- reply

@nprofile…hcpm I ordered one from Japan (PM2.5, PM10, CO2), no tVOC unfortunately. It will come in a couple of weeks, so probably won't be too much relevant anymore.
Mold is detected as VOC? (I tried to look up the info about it, but could find a definitive answer).

2025-08-15 06:00:06 UTC

- reply

@nprofile…muce Yep, quite unfortunate. I spend too much time dealing with it, while I could spend it working on my projects or enjoying the life any other way :/
I just hope it won't give long term consequences, the rest I will handle somehow :)

2025-08-15 05:22:28 UTC

- reply

As you can guess sleeping and living in a respirator is not a sustainable option 😷 . As a more generic workaround I bought an air purifier. I have it on 24/7 and try to be out of apartment as much as possible.
I feel better now, I still not sure if it's cause of air purifier, but I hope it is and I hope to survive until the end of apartment lease (one more month).
[2/2]
#AirQuality #mold #humidity

2025-08-15 05:15:47 UTC

Debugging #AirQuality #2 (humidity, mold, air purifier).
I got a hygrometer. It seems the avg humidity is 70+, under AC I couldn't get anything consistently less than 55.
Which means the cause of my respiratory problems is not an (anticipated) low humidity.
My new assumption that there is a mold (a circle of it in the shower, but it's probably in a living room too).
I've slept in respirator for one night, it was far from comfortable and the next day I found out a mold on it.
[1/2]
https://cdn.fosstodon.org/media_attachments/files/115/031/027/770/101/174/original/97166a10e16801ee.png
https://cdn.fosstodon.org/media_attachments/files/115/031/035/246/356/809/original/f9d7430df43baf37.png
https://cdn.fosstodon.org/media_attachments/files/115/031/036/952/197/983/original/c86d85bf3d99f643.png

2025-08-15 00:06:07 UTC

- reply

@nprofile…muce Great news! It's a great pleasure, when you can fix something by exercising.
And what a funny coincidence, I watched this vid just yesterday: https://youtu.be/x5zfeS8fH7w

2025-08-14 07:04:20 UTC

Building #emacs UI for the #scheme test runner.
https://youtu.be/LQ8z9ZKmzEc

2025-08-14 01:33:57 UTC

- reply

@nprofile…muce A few years. I wouldn't say it got back to norm, but at least I could walk more than a couple of thousands steps a day. Probably with a good physio therapist I could recover much faster, but I haven't had a much luck with medical systems.
A few more years later I even started to trail run and preparing to marathon, but one day I pushed too hard and reinjured it again by excessive tempo on downhill section :(

2025-08-14 01:11:58 UTC

- reply

@nprofile…muce :oh_no:
Injured my knee a couple times: falling from a cliff snowboarding and making a throw on wrestling competitions. Teared meniscus.
Ridding the bike on the road feels relatively safe and comfortable so far 😅 (I was in pain last night, but it's very different pain probably it's stabilizer muscles around the knee experiencing adaptation).
I hope you knee will get better. Take care of it. Can share some thought and experiences in private on knee maintenance if you wish.

2025-08-14 00:13:06 UTC

- reply

@nprofile…muce 😄
BTW, knee wise, ridding the bike feels much more comfortable than running, probably even more comfortable than walking. Especially the down hill part.

2025-08-13 15:03:47 UTC

My watch: rest day recommended, take it easy today.
Me: Moving yoga workout 3 hours earlier, so I can squeeze in a 30k uphill bike ride before sleep.

2025-08-10 13:47:39 UTC

Got this 67w little boi with 3 ports, instead of thinkpad's slim, but misbehaving charger. That means, I can get back to work and streaming tomorrow! 🥳 (doesn't mean I will 😄).
For those, who is not following the situation: during previous stream my laptop started to discharge, despite being plugged in. Turned out the problem in AC block, it can't hold 40w load steadily and from time to time stops charging or doesn't even start to :)
https://cdn.fosstodon.org/media_attachments/files/115/004/750/028/174/064/original/efaf252bcccea500.png

2025-08-10 01:41:31 UTC

- reply

@nprofile…0jae @nprofile…ns9x I'm glad it's resolved! :)
You are very welcome!

2025-08-09 09:05:15 UTC

- reply

@nprofile…0jae Try guix shell --pure emacs emacs-arei -E '.*GTK.*|.*XDG.*|.*DISPLAY.*' -- emacs -Q to make sure that you get a clean up-to-date emacs env M-: (require 'arei) M-x arei
I suspect a stale version of emacs-arei may be leaking from your user's profile (the one one manages with `guix package`) or something like this.
@nprofile…ns9x

2025-08-09 05:47:42 UTC

- reply

@nprofile…0jae @nprofile…ns9x 🤔
Can you prepare a simple repo with reproducer, please?
I couldn't get the same problem with my current setup. make ares and M-x arei works flawlessly in guile-ares-rs repo.
BTW, before preparing reproducer, can you please checkout guile-ares-rs repo and try `make ares` and M-x arei in some of the project's scm files?

2025-08-09 04:21:53 UTC

- reply

@nprofile…0jae
What version of arei do you use? What value (project-root (project-current)) returns?
We don't use github for development, it's only for mirroring. The primary forge for the project is sourcehut:
https://git.sr.ht/~abcdw/guile-ares-rs
https://lists.sr.ht/~abcdw/rde-discuss
For discussions and report please use rde-discuss mailing list.
@nprofile…ns9x

2025-08-07 14:03:43 UTC

- reply

@nprofile…9a3k @nprofile…a7ng @nprofile…0f54 @nprofile…vqt8
Ok, it seems the problem is on the charger side. The tablet also don't get enough power from it.
Maybe it's a damaged cable (will check it tomorrow) or in worst case scenario a problem with a power brick itself. Anyway, not a huge deal.
Thank you everyone for the help!

2025-08-07 14:00:51 UTC

- reply

@nprofile…0f54 x1 carbon 10

2025-08-07 13:51:02 UTC

- reply

@nprofile…0jae
((@ (ares server) run-nrepl-server)) creates .nrepl-port and writes a port number into it, it automatically discovered by arei in the root of the project directory.
Make sure you start ares with CWD equal to the project root.
@nprofile…ns9x

2025-08-07 12:41:17 UTC

- reply

@nprofile…9a3k @nprofile…a7ng can be an option actually. I'll get another cable to test it out. Thank you for the idea!

2025-08-07 12:33:39 UTC

- reply

@nprofile…vqt8 :blobcatgooglyshrug:

2025-08-07 12:32:53 UTC

- reply

@nprofile…a7ng Hm, the same issue is happening right now. No load, cool room :/

2025-08-07 12:31:42 UTC

- reply

@nprofile…r7j8
> Good move CO2/PM2.5 monitor.
Trying my best 🫡

2025-08-07 09:24:56 UTC

During the stream I noticed that my battery is discharging despite laptop's AC being plugged in.
After restart laptop stopped to boot. A few more attempts and 30 minutes later it somehow booted showed the message from picture, and upower showed the charge rate is 0 watt.
Went to the laptop service, they plugged their charger and it booted flawlessly and started to charge. I went to the cafe, plugged my charger and now it charges well again.
What the Schrödinger charger shenanigans?
https://cdn.fosstodon.org/media_attachments/files/114/986/734/804/976/894/original/2177693eba1618b3.png

2025-08-07 06:35:04 UTC

Coding in Scheme and for Scheme right now.
https://youtu.be/jWuL7L9jNDQ
#scheme #guile #lisp #live #livecoding #streaming #stream #coding #twitch

2025-08-07 06:34:10 UTC

Coding in Scheme and for Scheme right now.
https://youtu.be/jWuL7L9jNDQ
#scheme #guile #lisp

2025-08-07 05:28:16 UTC

After I spent the whole day researching the topic, I did following:
- Ordered Air Quality monitor from JP (CO2, PM2.5, PM10). ETA: 2 weeks.
- Ordered humidifier and simple hygrometer (humidity monitor) locally in Vietnam.
We have AC enabled the whole night and most of the day, so the air most likely is very dry. I will verify this hypothesis when hygrometer comes. Will return humidifier if I was wrong.
#AirQuality #health

2025-08-07 05:13:49 UTC

- reply

@nprofile…0jae
We are not done yet, much more is coming ;)
I have one more tiny tip on load paths: I would suggest to use different subdirectories for guile source code. Take a look at ares directory structure, we have src, dev, test and all of them serve different purpose and included in different scenarios.
If you add root project dir to the load path, a lot of unnecessary and sometimes unwanted things appears on load path, I would suggest to be more granular on this matter.
@nprofile…ns9x

2025-08-07 03:57:46 UTC

- reply

@nprofile…0jae You are very welcome!
Nice ares startup function. My suggestion is not to specify port, so it generated randomly, it becomes very handy, when you work on multiple scheme projects and each of them has it's own ares server running.
@nprofile…ns9x

2025-08-06 01:39:45 UTC

- reply

@nprofile…gk57 @DevWouter @stepheneb Thank you! Appreciate it.
I ordered Qingping Air Monitor Lite (it will take a couple weeks to arrive from Japan). I also plan to get xiaomi gigrometer to have a raw estimates of humidity to begin with, before Air Monitor arrives.
After I get measures I either ensure that it's airquality problem (and which one) or will exclude it.
Thank you for guiding and helping!

2025-08-06 01:24:17 UTC

- reply

@nprofile…gk57 I was also looking at Pro Gen 2, but I go for the Lite cause of price and compactness reasons (as I'm very restricted on the space in my backpack).
https://breathesafeair.com/qingping-air-monitor-lite-review
For the future home setup, I'm also considering AirGradient ONE.
https://breathesafeair.com/airgradient-one-review
it's #foss #opensource, it's repairable, it's precise and have all the basic sensors including VOC.

2025-08-05 16:00:53 UTC

- reply

@nprofile…ksdz 😄 Try make check -j16, it should speed up the things.
Also, to be fair, at the time of writing, I missed that some SRFI-64 test runners can filter tests by regexp. (However, I'm not sure if it's possible to correctly implement, because the side effects in between asserts will be triggered anyway I guess).

2025-08-05 12:07:48 UTC

My "Highly Interactive Testing for Uninterrupted Development Flow" paper is live on arxiv! 🥳
It's my first submitted paper, it's unaffiliated and unsupervised.
I've put a lot of effort into it and already got a few important insights on the design of the testing library and corresponding workflows.
I already aware of some weaknesses of my work, but hope you enjoy the reading!
https://arxiv.org/abs/2508.02176
#testing #guile #scheme #lisp #research #paper #ComputerScience #SoftwareEngineering
https://cdn.fosstodon.org/media_attachments/files/114/975/993/001/609/190/original/59a0c1758784db14.png

2025-08-05 11:41:28 UTC

I fell down the rabbit whole of air quality, and digging deeper for 5 hours already.
For the last months I got noticeably sick 3 times one after another with short breaks (I haven't been any seriously sick for 2+ years). I suspect, the primary cause is air quality in the rented apartment.
I temporary moved to hotel and now researching indoor air quality sensors and air purifiers.
I'm a newbie in the topic, materials and suggestions are appreciated.
#AirQuality #health #iaq #crboxes #AskFedi

2025-08-04 23:11:41 UTC

- reply

@nprofile…m4ns 👌

2025-08-04 08:27:34 UTC

- reply

@nprofile…m4ns Why? Use it with cape, they synergize well, I don't see reasons not to use cape with completion-preview-mode.
The reason to switch from corfu is the unobtrusive UI, completion candidates remains the same. This is the cool part about usage of builtin emacs completion APIs: you can have corfu+cape+otherCAPFs, you can substitute them with completion-preview-mode/vertico&consult-completion-in-region+cape or whatever combination you would like.

2025-08-04 07:05:17 UTC

I'm trying to publish a preprint of my paper for ICFP-2025 on arxiv.org. I need an endorsement to submit it to cs.SE category.
Can someone help me with that?
To endorse me, you need to have at least 3 articles published in cs.* categories for the last 5 years.
https://arxiv.org/auth/need-endorsement.php?tapir_dest=https%3A%2F%2Farxiv.org%2Fsubmit%2F6678057%2Fstart&category_id=cs.SE
#academia #cs #arxiv #paper #plt #SoftwareEngineering #AskFedi

2025-08-01 23:58:30 UTC

- reply

@nprofile…44t9 cape is just a capf source, so you can use cape with completion-preview-mode by adding any cape-* to completion-at-point-functions.
if you use cape interactively then it will use completion-in-region-function (which is consult-completion-in-region for me (which calls vertico), but can be different in other setups).

2025-08-01 13:10:40 UTC

We with @nprofile…ns9x had a lot of fun with Ares/Arei lately and finally made 0.9.6 release.
Now ares works with Guile 3.0.9, which means you don't need guile-next and all related shamanic rituals anymore.
We added a sick stack viewer (arei-debug-mode), new ares-nrepl CLI, nrepl server's standalone mode, and did a lot of small, but important changes.
Full announce and links to releases:
https://lists.sr.ht/~abcdw/rde-announce/%3C87ms8jqpsp.fsf@xn--no-cja.eu%3E
Kudos to Noé for the release and his very active work before it!
#guile #scheme #emacs

2025-07-31 23:42:03 UTC

- reply

@nprofile…m4ns Yes, completion-preview uses capf.

2025-07-31 06:02:04 UTC

- reply

@nprofile…lys3 @nprofile…dg4j @nprofile…m4ns @nprofile…8mw2 @nprofile…2sk2 consult-completion-in-region+vertico+orderless,
when there are multiple candidates I either use the first one or bring a vertico for more advanced interactive filtering and selecting.
Actually, completion-preview-complete automatically brings completion-in-region-function, when there are multiple candidates, but oftentimes I just do completion-preview-insert.

2025-07-30 23:14:26 UTC

- reply

@nprofile…kgqq Popup is too obtrusive + I rarely need multiple candidates and if I need it's better to have them in vertico, where orderless filtering is available.
Also, it's not very performant and reliable, when you type fast, so it either getting in the way or don't show early enough to be quickly useful.

2025-07-30 23:05:16 UTC

- reply

@nprofile…dg4j @nprofile…lys3 @nprofile…m4ns @nprofile…8mw2 @nprofile…2sk2
The thing is:
1. I rarely need a list of candidates, I need just one most relevant.
2. In the rare case where I need multiple candidates at the same time and advanced filtering vertico+orderless works much better than corfu.
So, with proper candidates sorting I bet most of the people will be satisfied with one most relevant candidate. And in cases, where it's not enough fallback to featureful vertico is much more comfortable to work with.

2025-07-30 22:57:26 UTC

- reply

@nprofile…yg9s I thought about it :) but I use completion quite often, especially dabbrev. It saves a lot of keystrokes.

2025-07-30 22:52:28 UTC

- reply

@nprofile…8mw2 Depends on the point of view. Functionality-wise corfu-candidate-overlay and completion-preview-mode are closer, that's right, but I use completion-preview-mode instead of corfu, not corfu-candidate-overlay :)

2025-07-30 22:50:24 UTC

- reply

@nprofile…gkqv Are the CAPF is in place?
Alternatively try it in elisp mode.

2025-07-30 13:46:53 UTC

I ditched corfu (completion popup) for completion-preview-mode a couple of months ago and very happy with this change.
I did a bit of configuration and polishing, but at the end got a fast, reliable, unobtrusive and extremely handy tool.
Do anyone still use company or corfu?
P.S. To be more precise completion-preview-mode+vertico.
#emacs
https://cdn.fosstodon.org/media_attachments/files/114/942/484/736/757/129/original/a51034dea476dd1b.png

2025-07-27 08:56:20 UTC

Today somebody shouted me out on the streets of Da Nang (Vitenam). It was a girl I met in Tbilisi (Georgia), she noticed my stride and tried to catch up with me.
What are the odds, what a small planet to live 😄

2025-07-27 08:01:49 UTC

- reply

@nprofile…hcpm
Taking latest installer probably won't help, as user won't have ~/.config/guix/current profile.
You can read more on related topic in @nprofile…w908's blog post: https://wolfsden.cz/blog/post/what-goes-into-guix-shaped-hole.html
If you can describe your use case in more details, I may give more hints.
@nprofile…zj4h @nprofile…g398

2025-07-27 07:57:26 UTC

- reply

@nprofile…hcpm Sorry Daniel, it was a reply to Khleedril, I had to move you nick name to the bottom to make it clear :)
@nprofile…zj4h @nprofile…g398

2025-07-26 12:22:01 UTC

- reply

@nprofile…zj4h @nprofile…g398 @nprofile…hcpm Making people feel guilty is a questionable tactics. Making people feel bad for their passionate probably unpaid work for the sake of common benefit is twice as questionable.
Reminding about existing problems and the fact they affect you is ok.
Helping to fix the problems is nice and respectable.
https://cdn.fosstodon.org/media_attachments/files/114/919/498/175/957/002/original/eacb79ae73409bea.png

2025-07-26 12:13:27 UTC

- reply

@nprofile…g398 @nprofile…hcpm One of the things that takes a lot of time on initial pull is commit authorization. Every commit is signed with one of pgp keys from the keyring branch. it's hard to verify 200k signatures quickly.

2025-07-26 12:08:45 UTC

- reply

@nprofile…hcpm Yes, you can do guix pull/time-machine locally and `guix deploy` to all the necessary hosts as many operating-systems as necessary.

2025-07-26 05:14:06 UTC

- reply

@nprofile…hcpm It's. A couple years ago I was teaching a lisp course in a summer school (and was using guix+rde for setting up a dev environment) and guix pull almost screwed up the first day of practice. The speed of initial guix pull is an area, where guix can be improved a lot.
https://lalambda.school/
The good thing is that consequent runs of guix pull are usually much faster, so most of the time it doesn't hit that hard (and this is also probably one of the reasons why this doesn't get fixed).

2025-07-24 07:29:35 UTC

One step closer to publishing my first paper I guess
https://cdn.fosstodon.org/media_attachments/files/114/906/997/927/568/606/original/4b3b1b90e98fc6a2.png

2025-07-20 10:26:02 UTC

Recently, I've received my first donation from @nprofile…klwf for suitbl, an interactive testing library for Scheme.
Their support allows me to allocate a lot of time to the development of the library. I still need to finish a few more parts before I can recommend it for adoption, but you already can take a sneak peek at the library & its usage here:
https://git.sr.ht/~abcdw/guile-ares-rs/tree/master/item/src/guile/ares/suitbl.scm
https://git.sr.ht/~abcdw/guile-ares-rs/tree/master/item/test/guile/ares/suitbl-test.scm
Kudos to @nprofile…klwf for backing great FOSS projects in general and me in particular :D
#guile #scheme #foss

2025-07-18 13:21:14 UTC

- Did you know that guile metacommands are comming to Arei soon?
- That we already have an incredibly useful guile stack traces viewer?
- That Ares now works with stable version of guile and doesn't require guile next?
No? We got you covered:
https://youtu.be/VUnY1LY4Las
https://git.sr.ht/~abcdw/guile-ares-rs
https://git.sr.ht/~abcdw/emacs-arei
Join the discussion:
https://lists.sr.ht/~abcdw/rde-discuss
#guile #scheme #repl #guix

2025-07-17 09:58:29 UTC

Starting meetup in a few minutes, Guile Debugger progress report and all that :)
https://trop.in/rde/meetup

2025-07-16 13:40:10 UTC

Today I had the best Health Care experience in my life.
I came to the hospital in Danang (nice and modern), got the basic assessment, visited a doctor, did X-ray and blood test. Came for results and the second appointment one hour later, got prescribed medications.
And all that (including medications) costed me less than 50 USD (no insurance or anything else, just plain price) and less than 2 hours (most of which I spent in cafe working on the paper).

2025-06-01 08:12:37 UTC

I found non-intrusive, simple, and surprisingly powerful tool for web analytics.
https://trop.in/blog/no-js-no-bs-ethical-web-analytics

2025-05-31 07:23:21 UTC

I want a language with serializable content-addressable continuations.

2025-05-25 05:55:52 UTC

This is a picture I would like to pop up every time I think about #ssh tunnels, which flags should I use and in which order specify hosts and ports.
https://iximiuz.com/en/posts/ssh-tunnels/
https://cdn.fosstodon.org/media_attachments/files/114/566/916/790/820/850/original/0e95c50800f2f060.png

2025-05-17 13:04:36 UTC

New GC in Guile coming soon :partyparrot:
https://wingolog.org/archives/2025/05/15/guile-on-whippet-waypoint-goodbye-bdw-gc