Masthash

#rde

Andrew Tropin
18 hours ago

Me, trying to explain how guile-nrepl utilizes guile-fibers for asyncronous interruptible evaluation.

BTW, I've commited and pushed all the recent local changes. It's not ready for everyday usage, but If you are curious and want to try it out type `make server` and use an nrepl client of your choice (monroe or rail for example).

https://git.sr.ht/~abcdw/guile-nrepl
https://github.com/Sasanidas/Rail

#guile #scheme #lisp #guix #emacs #rde

A sequence diagram of Evaluation Supervisor and explain it to me meme on the right.
Andrew Tropin
20 hours ago

Post about rde on lobste.rs, got a link to it in personal messages, IDK how to use it, so I will just share it :)

https://lobste.rs/s/xswrjc/rde_tools_for_managing_reproducible

#rde #guix #guile #scheme #lisp #emacs

Andrew Tropin
2 weeks ago

Guix and RDE on unixporn:

https://www.reddit.com/r/unixporn/comments/16ea0kh/dwlguile_elegant_weapons_for_a_morecivilized_age/

:guix: :emacs: :wayland: :lisp:

Kudos to screenshot author and rde co-maintainer: @migalmoreno

dwl-guile and dtoa-guile authors: @engstrand and Fredrik Engstrand

and thousands of people bringing all that beatiful software to us.

#guix #rde #guile #scheme #lisp #emacs

A screenshot of dwl-guile environment. Emacs window, terminal with ufetch, nyxt browser and bmenu.
Andrew Tropin
2 weeks ago

Be aware, rde causes dotfile bankruptcy!

#rde #emacs #guix #lisp #guile #scheme

A screenshot of them message in IRC saying:
after finding rde I've officially declared dotfile bankruptcy
Andrew Tropin
2 weeks ago

We develop rde on sourcehut, but there is a mirror on github and recently I realized that it has 185 stars already:
https://github.com/abcdw/rde

How many it is?

Do you know other small to medium sized projects, which only mirrors on github?

#guix #rde #lisp #scheme #guile

Andrew Tropin
3 weeks ago

A talk on guix and rde for @SeaGL conference is approved!

#guix #rde #lisp #scheme

Screenshot of email with acceptance of the talk.
Andrew Tropin
1 month ago

@migalmoreno collected a number of real-world rde configurations: https://git.sr.ht/~abcdw/rde#people-s-rde-configurations

Check out those nice approaches for maintaining your home and system configs with guix and rde.

#rde #guix #guile #lisp #nix #nixos

Andrew Tropin
2 months ago

One of the most popular distributions based on GNU Guix turned 3000 commits, wow!

https://sr.ht/~abcdw/rde/
https://github.com/abcdw/rde

#rde #guix #guile #scheme #linux #emacs

Andrew Tropin
2 months ago

We added Sway Notification Center to rde and slightly integrated it with Emacs.

It is keyboard controllable, has do not disturb mode, notifications are actionable.

Finally, I can do other things while waiting for compilation to complete and get back to work as soon as it finished.

https://git.sr.ht/~abcdw/rde/tree/fc2d39fd65c0969dc9ab4d997fd6d2ebde2f7569/src/rde/features/wm.scm#L882

https://git.sr.ht/~abcdw/rde/tree/fc2d39fd65c0969dc9ab4d997fd6d2ebde2f7569/src/rde/features/shellutils.scm#L87

https://github.com/ErikReider/SwayNotificationCenter

#rde #guix #emacs

Running compilation in right buffer of Emacs. Source code of feature-compile in left buffer.
Compilation finished and notification popup appeared for a few second
Notification Center panel on the right of the screen with notifications from IRC and compilation buffer.
Andrew Tropin
3 months ago

I'm preparing a dev environment for my modern lisps course for lalambda summer school and it's actually a pleasure. I constructed it in 30 lines of code and students only need to have guix installed, that's it.

#rde #guix #guile

Screenshot of rde config showing quite complete emacs configuration in 30 lines.
Andrew Tropin
3 months ago

Submitted an application for Sovereign Tech Fund 2023.

There are 3 primary directions of work, which all are aimed at improving Guile and Guix developers experience:
- State management API for rde and guix.
- nREPL implementation for Guile.
- deps.scm for convinient dependency, load-paths managment and better integration for language entities with CLI.

The description of the funding program: https://sovereigntechfund.de/images/challenges_announcement.pdf

The application itself: https://github.com/abcdw/notes/blob/f41c5f32/notes/20230627123133-sovereign_tech_fund_improve_foss_developer_tooling_challenge_2023.org#L1

#rde #guix #guile

Andrew Tropin
3 months ago

We have released a 0.4.0 version of rde and it has guixy, but graphical AF Live CD!

Announce: https://lists.sr.ht/~abcdw/rde-announce/%3C87pm5dt9ik.fsf%40trop.in%3E

Project web page: https://trop.in/rde/

ISO image: http://files.trop.in/rde/

#rde #guix #guile

Screenshot of qemu with rde live cd inside usual rde installation.
Andrew Tropin
3 months ago

@mianmoreno made a thread on real-world rde configurations examples. Don't hesitate to press reply to thread button and share your.

There is a config by authors of dwl-guile and a few more quite interesting ones.

https://lists.sr.ht/~abcdw/rde-devel/patches/42034

#rde #guix #guile #scheme #lisp

blake shaw
3 months ago

Something I think is interesting about #guix is that everyone uses it there own way. I use guix home for all of my day-to-day needs and guix shell for everything else, with only a few things I'm "auditioning" for guix home in my standard .guix-profile at any time, but thats completely different from how most guix users use guix, because even though its been 20 years since #nixos's debut, it remains quite novel and open to explore.

An interesting development of this has been the emergence of "guix distros" like #rde and #pantherX, which each provide their own spin with unique UX and tools for leveraging the many features of guix. Honestly, I think it seems like the only sane way to launch a #linux distribution today without corporate oversight, and guix is sure to continue to be a space from which creativity seems to pour.

Andrew Tropin
4 months ago

We added EXWM to rde, so if you want to try out rde, but don't want to switch to wayland yet - you have an option now! :)

https://lists.sr.ht/~abcdw/rde-devel/patches/39607

#rde #guix #wayland #emacs #exwm #sway

Andrew Tropin
4 months ago

Tonight a few friends sent me a message that #rde is on a front page of Hacker News. Is it something good?

https://news.ycombinator.com/item?id=36131210

https://trop.in/rde

#guix #nix #hn #hackernews #scheme #lisp #guile

Message in matrix about rde being on front page of hackernews
Andrew Tropin
5 months ago

rde Meetup #3 is [re]scheduled for May 27.

We plan to explore guile and rde future work plans, meow and modal editing, project documentation.

https://lists.sr.ht/~abcdw/rde-announce/%3C871qjmjaow.fsf%40trop.in%3E

Join IRC/matrix for more interesting talks:
https://trop.in/rde/manual#Chat

#rde #guix #guile #irc #matrix #meetup

Andrew Tropin
5 months ago

We plan a small online rde meetup on May 13 and here is a CFP:

https://lists.sr.ht/~abcdw/rde-discuss/%3C87o7n9rj0v.fsf%40trop.in%3E

Bring your own talks and questions on #emacs, #guix, #rde and related tools and workflows.

blake shaw
5 months ago

@monkey1

I use #rde to declare my entire init.el within my home-configuration.scm. it's not the most efficient (probably because I don't take advantage of any of the rde-specific features that provide greater feature modularity), but it's fun to have your entire personal computing setup in a single emacs-style file:
https://git.sr.ht/~reproducible/.guix/tree/trunk/item/home-configuration.scm#L363

Andrew Tropin
5 months ago

Today I received the first payment for the Free and Open Source Software work. It's of course is not a sustainable business yet, but a good step towards.

Ask me anything.

#foss #floss #rde #guix #lisp #scheme

Andrew Tropin
6 months ago

rde-flavored guix system service for Nginx.

Flexible, programmable and extendable.

Pretty, isn't it?

#guix #rde #nginx #guile #scheme #lisp

On the left is nginx configuration defined in scheme language, on the right is result of serialization of such configuration.
Andrew Tropin
6 months ago

In less than a hour we will start implementing nginx guix service. It is different from one provided in guix repo and I'll explain why.

https://youtu.be/cThkiy0ZBQQ
https://trop.in/stream

#guix #nginx #rde #guile #scheme #lisp

Andrew Tropin
6 months ago

One of the nice results for this week: 6 more people installed #guix and #rde Emacs.

https://git.sr.ht/~abcdw/veriyol-rde-config

Andrew Tropin
6 months ago

I still on a business trip in Turkey, have a few opportunities discussed, all of them related to lisp and Guix, we haven't signed any contracts yet, so will share the results later. Ask questions if you are curious about particular topic.

In the meanwhile, I do a stream tomorrow: https://trop.in/stream

Come and join the nice talk and live codding session.

#guix #rde #scheme #lisp

Andrew Tropin
6 months ago

Guix System for PinePhone Pro:

https://git.sr.ht/~abcdw/guix-pinephonepro

Wifi, sound, calls and all the stuff should work, however, I tested only wifi connectivity.

#guix #rde #linux #arm #arm64 #pinephone #pinephonepro #pine #pine64

Andrew Tropin
7 months ago

Ouch, I'm a little overwhelmed with a number of contributions to #rde for the last week. I read and replied only half of them, but there are more patches waiting for review in my backlog and guix-devel.

https://lists.sr.ht/~abcdw/rde-devel?page=1

It doesn't include commits going straight to the repo:
https://git.sr.ht/~abcdw/rde/log

Do anyone know how to solve scalability issues of Andrew?

Andrew Tropin
7 months ago

This week I go to Turkey for 2-3 weeks to negotiate a contract. It can become a first contract for our FOSS business.

It is a first step to make it sustainable and at the same time I really hope we won't trade an ethical aspect of it in any future.

#foss #floss #rde

Andrew Tropin
7 months ago

After a few years of rde development and contributions to Guix, I finally started to learn Scheme 😄

#rde #guix #scheme #guile

blake shaw
7 months ago

@SteveTux emacs all the way! and I use #guix-home with #rde from @abcdw to do my entire desktop environment, including #emacs, in a reproducible way in #guile

Andrew Tropin
7 months ago

Keep improving tooling for tests for guile scheme in Emacs, join me live: https://trop.in/stream

#guile #scheme #emacs #rde

Andrew Tropin
8 months ago

I really glad that conses (aka ardon) joined rde. He does a lot of valuable work of a high quality!

#guix #rde

Andrew Tropin
8 months ago

Exploring tree-sitter support built in Emacs 29:

mpv https://youtu.be/cGn-e-_0Hu8

https://trop.in/stream

#emacs #treesitter #guix #rde

Andrew Tropin
8 months ago

FOSS monetezation options, review and merge of patches for rde, scheme test runners on todays stream: https://trop.in/stream.

#guile #scheme #guix #rde #foss #floss #stream #streaming

Andrew Tropin
8 months ago

Today I recieved a message that somebody uses #rde project on steam deck. What is unexpected place to see rde on 🤔

Andrew Tropin
8 months ago

I plan to stream #guix and #rde development and related topics every working day for one month.

A little intimidated.

Andrew Tropin
8 months ago

I didn't write much code this week, but it still feels very productive. Wrote a plan for #rde, prepared ADR template, learned nginx deeper, drafted tests and tried to launch them in REPL for #guile and #guix.

But the most satisfying thing is that we got first commits pushed by a new rde co-maintainer conses! Congrats to him 🥳

Andrew Tropin
9 months ago

Thanks to @daviwil's stream I finally allocated time to start migration to more complete REPL-driven workflow for #guix and #rde development.

https://youtu.be/KNXOZtbfslY

It still requires a lot of work to make it really pleasant, but I already build store items for different parts of rde from repl rather than makefiles, which is a way faster (in terms of build time, the required amount of code is not that small yet).

https://guix.gnu.org/manual/devel/en/html_node/The-Store-Monad.html

Andrew Tropin
9 months ago

The first rde version is released! 🥳

A complete Emacs+Sway distribution.

Live image is available here:
http://files.trop.in/rde/

You can use it to try rde out, to install rde or Guix System from graphical environment.

The source code:
http://git.sr.ht/~abcdw/rde

Read the whole announcement here:
https://lists.sr.ht/~abcdw/rde-announce/%3C871qof9as5.fsf%40trop.in%3E

#rde #emacs #guix #sway

Andrew Tropin
9 months ago

Today I have a place to stream, so we talk about getting started with rde and structuring guix configuration.

https://youtu.be/7t301joOHlE

#rde #guix

Andrew Tropin
10 months ago

JavaScript and TypeScript in rde.

I addressed 8 months old patch from Demis, introducing feature-javascript to rde.

Now rde Emacs has TypeScript/JavaScript support.

Autocompletion, basic linting and refactoring are available thanks to eglot and typescript-lsp-server.

https://git.sr.ht/~abcdw/rde/commit/1d15f4484f677ac05b7da3da05f55eda6c76f65f

#rde #guix #javascript #typescript

Andrew Tropin
10 months ago

Second day of #emacsconf 2022 starts in half an hour.

I'm not only watching, but also participate as a speaker. Check out my talk on #rde Emacs.

https://emacsconf.org/2022/watch/

Andrew Tropin
10 months ago

Updated network-manager service in Guix, now it can be used with iwd backend for wireless connections and it's ridiculously faster this way.

Migrated rde to it.

#guix #rde

Bryan Paronto
10 months ago

After many satisfying hours of hacking, I’m starting to get my #rde -inspired #exwm + #emacs on top of #guix system dialed in. I think I made it harder on myself by trying to build on top of RDE’s patterns but I know it’s cleaner and more readable config for my efforts. I even managed to start packaging a few emacs packages along the way. This learning curve is high, but satisfying to get over the hump

Andrew Tropin
1 year ago

One of the best feelings about Guix System, Guix Home and rde is a feeling of persistence: when you solve your problem and know that this solution will survive for years or decades, will work on a new laptop or workstation and you won't need to do any extra installation steps or remember the hacks you did years ago.

Thanks the greatest minds for reproducibility! :guix:

#gnu #guix #rde #floss #foss

Andrew Tropin
1 year ago

Documented almost all #emacs configuration packages provided by #rde

Now it gives at least some idea about what settings and tweaks are baked in them.

Andrew Tropin
1 year ago

For some people ci.guix.gnu.org is not availiable, so I built a custom guix installation image with substitute server mirror.

More information and link to ISO is here:
https://trop.in/guix

#guix #rde

Andrew Tropin
1 year ago

In the meantime, I'am preparing the content for today's talk.

Using #rde and #guix for creating and managing per-project development environments:

mpv https://youtu.be/H4hyNgXswik

Andrew Tropin
1 year ago

Recently I worked on Clojure setup using #emacs, #guix and #rde, there are a lot of things to do, but we already have some results and a number of things to share, unfortunately, I'm too exhausted right now, so there won't be a stream today, also not sure about the next week too.