Email or username:

Password:

Forgot your password?
588 posts total
Andrew Tropin

Did you know that there is a new substitute and CI server for Guix?

TLDR: North American based Guix Substitute Server, cuirass.genenetwork.org
brought by @rekahsoft, Arun Isaac and @pjotrprins

lists.gnu.org/archive/html/gui

#guix

Vagrant Cascadian

@abcdw @rekahsoft @pjotrprins

I am really excited what this demonstrates for #ReproducibleBuilds in #Guix both for a third reference point...

But also that you can enable the build farm without trusting it, relying on the signatures from the more established servers, and download the bit-for-bit identical binaries from the "untrusted" one.

Which is not to say there is any reason in particular not to trust the new build farm... just that you do not have to trust it for it to be useful!

Andrew Tropin

TIL about very nice micro service called forwarddomain.net/

It allows to make a redirect from your domain to a particular web page using only DNS records. No webserver of VPS setup is needed.

#til #domain #dns

Andrew Tropin

Booting Guix/RDE on Proxmox-based VPS (not succeed yet).

I started with rescue in-ram debian system and tried to write qcow2 image to sda:

modprobe nbd

qemu-nbd -c /dev/nbd1 cloud-rde.qcow2

dd if=/dev/nbd1 of=/dev/sda status=progress

What am I missing 🤔

Felix Lechner

@abcdw Why qcow? I installed Guix on Letbox and Linode with gdisk and GRUB.

Andrew Tropin

Ok, the problem was in missing virtio_scsi initrd module, thank you to @daviwil for help! :)

Hippo 🍉

@abcdw this is cool! Having it as a plugin on the XMPP server itself would be more stable than an external bridge :xmpp:

Andrew Tropin

How to install 100000 packages in Guix?

Answering this question in the latest video and giving some tips on packaging for Guix, using community channels, Distrobox, Flatpak and Nix.

youtu.be/UsY00oWBgJw

#distrobox #flatpak #podman #docker #guix #nix

Andrew Tropin

🗞️ Exciting news! The 2nd issue of RDE Monthly is out now!

Featuring updates on 7 new releases like GNU Guile 3.0.10 and Guile Llama, 2 announcements, insightful articles on reproducible research, Terraform workflows, Scheme FFI and much more. Plus, catch the latest videos and recordings of streams and meetups from our community.

Stay informed, stay engaged!

lists.sr.ht/~abcdw/rde-monthly

#Guix #Guile #RDE #Scheme #FOSS #OpenSource

🗞️ Exciting news! The 2nd issue of RDE Monthly is out now!

Featuring updates on 7 new releases like GNU Guile 3.0.10 and Guile Llama, 2 announcements, insightful articles on reproducible research, Terraform workflows, Scheme FFI and much more. Plus, catch the latest videos and recordings of streams and meetups from our community.

Andrew Tropin

LDAP for Rocket Scientists is a great source of information about LDAP Schemas, ObjectClasses, Attributes, DITs and stuff.

zytrax.com/books/ldap/

and with this blog series it seems I'm covered for the basics:

possiblelossofprecision.net/?p

#ldap

kris

@abcdw Everytime i've looked at LDAP for any personal/friend setups i'm instantly overwhelmed. Is this really a technology we want to save? What alternatives have you considered?

Felix Lechner

@abcdw Hi, with my upcoming Guile-PAM you can write your LDAP queries in GNU Guile. codeberg.org/lechner/guile-pam

Andrew Tropin

Guile bindings for Sway. Can handle nested keymaps, have which-key like interface, allows to listen for sway events and much more.

github.com/ebeem/guile-swayer

#guile #sway #scheme #lisp #wayland

Ivan Molodetskikh

Apparently there's a cool Pango flag that enables subpixel glyph positioning which makes things scale smoother and improves kerning! Thanks Benjamin (the GTK maintainer) for the suggestion

Andrew Tropin

Yay! New Guile release!

Custom ports, Wisp, bunch of bug fixes and much more in Guile 3.0.10!

lists.gnu.org/archive/html/gui

P.S. That means, we are even closer to Arei 1.0 release than ever before! :)

#guile #scheme #lisp

Andrew Tropin

Share your cool xmpp group chats with me, please!

I want to try out xmpp ecosystem.

#xmpp #jabber

Ji Fu

@abcdw the only XMPP group chat I was in was one I was told was a Christian one, it didn't take long to realize it was actually a far-right antisemitic circle jerk.

Wilko :emacs: :guix:​

@abcdw there’s guix(at)chat.disroot.org & with biboumi (an IRC gateway => biboumi.louiz.org) there’s also a convenient way to join and use IRC rooms from XMPP clients.

Andrew Tropin

Today I catched a very tricky bug with RDE mail setup cause of which I didn't get a few emails in my work inbox.

Now I think I got all of them, but if I still didn't respond to your message, feel free to ping me :)

git.sr.ht/~abcdw/rde/commit/8b

#notmuch #mail #rde

Andrew Tropin

Hi Fediverse, we are NLnet. We support people and organizations who contribute to a free and open internet. We offer small and medium grants to projects that help fix the internet through open hardware, open software, open standards, open science and open data.
We're the lead of @NGIZero a coalition which runs several funding programmes for people who build free and open source technologies for the Next Generation Internet. (Made possible with financial support from the European Commission).
We've been stealthily present in the Fediverse behind the NGIZero handle but have now finally set up our NLnet instance. With special thanks to @nlnetlabs for their patience :).
Another way we've been involved is we've funded many fantastic ActivityPub related projects. See the image for a visual overview.

Happy to be here and looking forward to meet you in this pleasant space.


#introduction

Hi Fediverse, we are NLnet. We support people and organizations who contribute to a free and open internet. We offer small and medium grants to projects that help fix the internet through open hardware, open software, open standards, open science and open data.
We're the lead of @NGIZero a coalition which runs several funding programmes for people who build free and open source technologies for the Next Generation Internet. (Made possible with financial support from the European Commission).
We've...

Show previous comments
Mirko Hernandez

@flatwhatson @nlnet Reading the s48 refmanual I notice that the numeric types use double and long, and booleans use char. Could this be configurable in a future implementation?, pre-scheme could be an awesome meta programming tool but the current scheme48 implementation seems too restrictive.

Jamie Jennings

@flatwhatson I am delighted to see that this effort exists! In the early 90’s I built robots that booted to s48. Jonathan Rees made scheme work brilliantly. In the late 90’s I set up a new group of robots with Kelsey’s Kali scheme. On one of my visits to NEC, I asked Richard about pre-scheme.

I think jar called it “a compiler only one person could run”, so I didn’t feel too bad that I couldn’t get it running on my own.

But that’s a story for another day.

I wish you great success!

Andrew Tropin

I need a help with designing LDAP schema for community infrastructure project.

Are there any expirienced LDAP administrators over here? Preferably with 389ds experience.

I want to have a quick talk, but would really appreciate links to good documentation/courses/videos too.

#ldap #openldap #keycloak #389directoryserver #389ds #admin #SysAdmin #DevOps #administrator #suse #fedora #redhat

Andrew Tropin

There is so much value in the good documentation.

I really appreciate, when project provide nice, clean and helpful docs, it makes your life times easier.

I'm not very good at it ATM.

Andrew Tropin

Wanna be confused by a bit of Guile Scheme?

99% of people can't give the right answer to this question:
Why primitive-eval and compile to value work differently?

paste.sr.ht/~abcdw/e0c96bdbae4

#guile #scheme

insep

@abcdw something something lexical scopes? i have no idea how guile works and can't even find documentation for compile :P

Andrew Tropin

Wow, Framework Computer @frameworkcomputer just announced a RISC-V mainboard for their 13" laptop chassis:

frame.work/blog/introducing-a-

This is an exciting step forward for high-quality open hardware laptops!

Go Up