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

Andrew Tropin

@abcdw@fosstodon.org
mastodon 4.7.3
  • Open on fosstodon.org

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

0 Followers
0 Following
24 Posts
Joined March 26, 2019
Site:
https://trop.in
Git:
https://sr.ht/~abcdw/
OpenPGP:
D963A5A38A803D524461F91474830A276C328EC2
Tools:
:guix: :emacs: :wayland: :sway: :lisp:
Open post
Andrew Tropin @abcdw@fosstodon.org
· 2mo ago
Yesterday, during a social ride, I talked with a guy who was working in Borland back in the days (~30 years ago). He mentioned that Open Source killed a lot of software business at that time. Our talk reminded me that often it's better to pay for Free and Open Source Software despite it being free (as in a free beer). https://trop.in/blog/pay-for-software-that-respects-you #foss #floss #opensource #linux #grapheneos #fdroid #mastodon
trop.in
68
1
30
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago

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

codeberg.org
63
12
31
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago

RE: @cwebber@social.coop

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 @nlnet@social.nlnet.nl and @NGIZero@mastodon.xyz

social.coop
52
5
23
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago

RE: @tarsius@fosstodon.org

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 @tarsius@fosstodon.org work is.

Thank you man!

#emacs #git

fosstodon.org

Jonas Bernoulli: "They've raised $17M to build what comes after Git…" - Fosstodon

44
2
34
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago

We published a new SRFI 269: Portable Test Definitions.

https://srfi.schemers.org/srfi-269/

We already got a very positive 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.

BTW, this huge work is possible thanks to @nlnet@social.nlnet.nl and funding they provide!

#srfi #guile #scheme #lisp #testing

srfi.schemers.org
16
0
14
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago

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

#guix

fosstodon.org
15
2
7
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago

RE: @Tutanota@mastodon.social

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.

mastodon.social
13
0
12
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago

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

fosstodon.org

Fosstodon

10
0
2
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago

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

11
0
2
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago

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

fosstodon.org
10
1
0
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago

For a FOSS developer I may have too much windows on my laptop.

7
1
1
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago

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

srfi-email.schemers.org
6
0
0
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago

I love deleting code :blobfoxcute:

4
2
0
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 7mo ago

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/%3C87342zkg9s.fsf@trop.in%3E

#guix #rde #guile #scheme #lisp

lists.sr.ht
5
0
6
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago

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

3
0
3
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago
Replying to
@dthompson@toot.cat It is, man, it is! :) It will save thousands of hours of human lives and cut off a lot of frustration.
2
0
0
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago

It's sad to see how runet from one of the biggest and brightest segments of the Internet became the most restricted one in just a dozen of years.

The worse situation is only in Northern Korea :/

https://www.cloudwards.net/internet-censorship/

#freedom #censorship #internet

cloudwards.net
2
0
3
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago
Replying to
@krans@mastodon.me.uk As for physical things, my pen is also quite stable :D From recent exceptionally useful things: Air Quality monitor, GaN charger, heart rate monitor strap, bicycle. Probably I'll sell the bicycle after Ironman race, but the rest fits in my back pack, so I can take them into further life with me.
1
0
0
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago
Replying to
@simendsjo@fosstodon.org Almost same here :D
1
0
0
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago
Replying to
@aleabdo Haha, I hope you had a fun and learned something :D
1
0
0
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago

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

#guix

fosstodon.org
1
1
2
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 6mo ago
Replying to
@governa@fosstodon.org heh
0
0
0
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago
Replying to
@krans@mastodon.me.uk 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.
0
3
0
0
Open post
Andrew Tropin @abcdw@fosstodon.org
· 5mo ago
Replying to
@krans@mastodon.me.uk That's good. I have quite steady setup as well, but try to swap a thing or two from time to time. Usually for some marginal gains. Some experiments are meh, but some are quite successful. Notable examples are Emacs, Guix, Scheme, Wayland, notmuch. jj is very recent one and still in progress, but seems on the way to settle in my primary toolbelt. They are far from perfect, but still one of the best available options at the moment.
0
1
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:35:05 UTC