abcdw

abcdw, 8 months ago to guix

Guix for MacOS users:
https://gitlab.com/cnelson31/msg

It uses qemu under the hood, but it's better than complete absense of the guix :)

#guix #lisp #apple #mac #macos

abcdw, 8 months ago to guix

You can try a GNU Hurd kernel based operating system made with Guix in your browser:

https://gexp.no/blog/try-gnuhurd-in-the-browser.html

#gnu #hurd #guix #kernel #linux

abcdw, 10 months ago to guix

KDE on Guix System.

https://github.com/Z572/guix/tree/kde-5.108.0

#guix #kde #plasma

abcdw, 10 months ago (edited 10 months ago) to guix

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

abcdw, 9 months ago to Lisp

If you are into programming languages, learning Ocaml (or other ML dialect like StandardML) makes a lot of sense, it's helpful for reading papers, watching conference talks, understanding basics of type theory, going through PL courses and all other fancy stuff.

Here is a good introductionary course on OCaml and functional programming:

https://cs3110.github.io/textbook/cover.html

https://www.youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU

#ocaml #pl #lisp #fp #functionalprogramming #types #typetheory #semantics

abcdw, 9 months ago (edited 9 months ago) to foss

Through my life I have visited around 20 countries and I dream someday to write down my trips somewhere.

One of the tools I found for this matter is this nice FOSS web frontend on top of OpenStreetMaps:
https://leafletjs.com/

It doesn't mean I will go crafting some travel blog now, I just like to share cool FLOSS projects and technologies.

#foss #floss #js #web #map #openstreetmap

abcdw, 8 months ago (edited 8 months ago) to guix

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

abcdw, 16 days ago to DOOM

Doom as a process management utility.

https://www.cs.unm.edu/~dlchao/flake/doom/chi/chi.html

#doom #unix #linux #posix

abcdw, 1 month ago to scheme

There are a few cool commits landed on guix master today:

• chez-scheme: Update to 10.0.0.
• racket: Update to 8.12.
• chez-scheme: Bootstrap from source.
• Add librewolf.

https://git.savannah.gnu.org/cgit/guix.git/log/

#scheme #chez #racket #librewolf #firefox

abcdw, 2 months ago to scheme

Arei Guile IDE with go to definition functionality is available in Guix:
https://git.savannah.gnu.org/cgit/guix.git/commit/?id=507315643e

Learn how to use it in the README:
https://git.sr.ht/~abcdw/emacs-arei/

#guile #scheme #arei #nrepl #emacs

abcdw, 9 months ago (edited 9 months ago) to scheme

The explanation on what is happenning with #scheme language r7rs standard at the moment:
http://dpk.io/r7rswtf

The work on r7rs-large is tough, but I hope it will go through this hard times.

#guile #lisp #pl

abcdw, 4 months ago (edited 4 months ago) to guix

I'm happy to annouce RDE 0.5.0 release. We are the halfway towards 1.0.0 (:

The best distribution I've ever used so far, what else can I say?)

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

#guix #rde #linux #sway #emacs #guile #scheme #clojure #python #ocaml #lisp

abcdw, 4 months ago to til

Today I learned: if the scp (utility for copying files over SSH) process was interrupted, you can resume the transfer of the file(s) with rsync!

Especially handy with low-bandwidth and unstable connection.

Experimenting with almost forgotten old good stuff can have its own perks!

#TIL #scp #ssh #rsync

abcdw, 3 months ago to scheme

Implemented arei-goto-module function, it allows to jump to any module available in Guile Runtime.

I think curiosity + such kind of tooling is what empowers hackery.

#guile #scheme #nrepl #arei #emacs #guix

A demonstration of arei-goto-module function. It jumps to guix discovery first, after that it jumps to gnu packages emacs-xyz.

abcdw, 8 months ago to guix

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

#guix #rde #lisp #scheme

abcdw, 8 months ago to random

PlantUML is sick, it grew up so much since the last time I used it and now it looks really good.

Mind maps, sequence diagrams, BNFs, JSONs, regexps and whatever you want:
https://plantuml.com/

abcdw, 5 months ago to foss

I didn't share it anywhere publicly yet, but I already received around 2000€ of donations (including open collective and private) for the last couple of months.

It's a huge support, unbelievable and heartwarming experience. It gives me hope and time to keep doing what is important and right.

I still need more help, so please read this page: https://trop.in/support

It's NOT ONLY about the financial ways to support me, my FOSS work and projects we work on.

#foss #floss #donations #support

abcdw, 2 months ago (edited 2 months ago) to scheme

@krevedkokun implemented go to definition for Arei Guile IDE.

It will be available in new release.
https://git.sr.ht/~abcdw/emacs-arei/

"Backend" code is provided in Ares project, so other code editors can also benifit from it.
https://git.sr.ht/~abcdw/guile-ares-rs

#guile #scheme #nrepl #clojure #emacs #vim #vscode

abcdw, 5 months ago to scheme

Published my EmacsConf 2023 talk about new Guile Scheme IDE on my channel:

https://youtu.be/F-H3YQywr-4
https://diode.zone/w/15mVrxS2ywDny5NeENifTw

You can find Q&A in etherpad:
https://pad.emacsconf.org/2023-scheme

Feel free to ask more, anywhere you feel comfortable to.

#guile #scheme #ide #emacs #guix #rde #nrepl #clojure #lisp

abcdw, 5 months ago (edited 5 months ago) to scheme

Arei, Guile IDE for Emacs is available in Guix!

guix shell emacs-pgtk emacs-arei -- emacs

The respective RPC (nREPL) server can be started with:

guix shell guile-next guile-ares-rs -- \
guile -c '((@ (nrepl server) run-nrepl-server) #:port 7888)'

Try it out, give your feedback and boost the post if you enjoyed :)

#guile #scheme #lisp #guix #rde #nrepl #clojure #emacs

abcdw, 9 months ago to golang

Found a nice talk on concurrency. It has a very brief comparison of different concurrency models, like Erlang's Actors, Hoare's CSP, Go's goroutines, Clojure's core.async, Concurrent ML (aka Fibers in Guile).

Primary focus on Concurrent ML (but examples are in Scheme with type annotations ><).

https://youtu.be/pf4VbP5q3P0

#go #golang #clojure #lisp #guile #scheme #ocaml #concurrency #erlang

abcdw, 9 months ago to guix

A quick and practical WireGuard in Guix stream:

https://youtu.be/d02Ysd8bNso

#guix #wireguard #vpn #guile #scheme

abcdw, 1 month ago to random

There are some rumors, that a new guile release is comming soon! :)

It's especially important, because we use cutting edge (ice-9 textual-ports) in guile-ares-rs, backend for Arei Guile IDE:
https://git.sr.ht/~abcdw/guile-ares-rs
https://git.sr.ht/~abcdw/emacs-arei

That means everyone would be able to use it without relying on guile-next guix package and all the hussle associated with it.

#guile #schemel

abcdw, 6 months ago to guix

Guix Daemon will be implemented in Guile Scheme and Fibers!

@cbaines got funded by NLnet 🥳

https://guix.gnu.org/blog/2023/a-build-daemon-in-guile/

#guix #guile #scheme #lisp

abcdw, 24 days ago to scheme

We released Arei Guile IDE 0.9.4. It's already available in Guix.
https://git.sr.ht/~abcdw/emacs-arei/refs/0.9.4
https://git.sr.ht/~abcdw/guile-ares-rs/refs/0.9.4

It has eldoc and xref (go to definition) features, better completion and a few other improvements.

Big kudos to @krevedkokun for implementing them.

We are working hard towards 1.0, which will be even more exciting:
https://todo.sr.ht/~abcdw/tickets?search=label%3Amilestone-arei-1.0

#guile #scheme #lisp #guix