Email or username:

Password:

Forgot your password?
552 posts total
Andrew Tropin

there's a demo video: https://www.youtube.com/watch?v=d28Dih-BBUw

I'm looking forward to trying it out; apparently it's still a fairly new project (first commit in March) but I think it has the potential to be huge by picking just the right slice of the problem to solve

Andrew Tropin

@technomancy That's very nice! Looks really handy. Much simplier than both emailing patch series and sending PRs.

Use of RSS is quite nice too.

Andrew Tropin

it's been hard being someone who's not a fan of the github monopoly and having to pick between gitlab (please don't), codeberg (they do a good job at copying github but I think we can do better) and sourcehut (super fast and efficient but they want you to use email to collaborate)

I just came across the idea of "patch requests": https://pr.pico.sh/

the idea is that instead of attaching your patch to an email, you ssh it to a service that tracks patches submitted; review on the patches is just done by submitting follow-up patches that put comments into the code; successive fixes that address the reviewer's issues delete the comments and then it's ready to go; you run a single ssh command to get a patch you can pipe directly to git am

when a patch is pushed it updates an RSS file you point your HTTP server at

no account needed, no client software to install; everything is spare and minimal but smooth

it's been hard being someone who's not a fan of the github monopoly and having to pick between gitlab (please don't), codeberg (they do a good job at copying github but I think we can do better) and sourcehut (super fast and efficient but they want you to use email to collaborate)

I just came across the idea of "patch requests": https://pr.pico.sh/

technomancy (turbonerd aspect)

there's a demo video: https://www.youtube.com/watch?v=d28Dih-BBUw

I'm looking forward to trying it out; apparently it's still a fairly new project (first commit in March) but I think it has the potential to be huge by picking just the right slice of the problem to solve

Andrew Tropin

Trying to load js code with bigint literals in typescript project, most horrible and dissatisfying programming experience I've had in years. I already spent a few days debugging it and thought that I localized the issue, but we are still not here. Updating javascript parser in transitive dependencies is not enough.

#javascript #typescript

Andrew Tropin

The problems is in the hardcoded javascript standard version in call to parser in one of the bundler plugins, which in case a transitive dependency of another package, which provides dev tooling.

github.com/calvinmetcalf/rollu

Andrew Tropin

I have a dilemma: I can buy a used thinkpad x13s ARM laptop for 400$.

Pros:
- Lightweight, fanless, energy efficient.
- Fresh and not falling appart like my current one :)
- Can explore and improve the state of Linux ecosystem for RISC architectures.
- Good price.

Cons:
- No proper sleep, no KVM, PipeWire problems.
- I'm not sure that I can use it as my primary work machine => will need to maintain and carry two laptops during my trips.
- Migration/setup costs.

#arm #thinkpad #aarch64 #linux

I have a dilemma: I can buy a used thinkpad x13s ARM laptop for 400$.

Pros:
- Lightweight, fanless, energy efficient.
- Fresh and not falling appart like my current one :)
- Can explore and improve the state of Linux ecosystem for RISC architectures.
- Good price.

Cons:
- No proper sleep, no KVM, PipeWire problems.
- I'm not sure that I can use it as my primary work machine => will need to maintain and carry two laptops during my trips.
- Migration/setup costs.

Show previous comments
Andrew Tropin

Another important thing about x13s on my mind: to change keyboard to japanese one, which will really help with my RSI.

It will require some modification of chassis and will cause the loss of guarantee, but it's not that scary as for 2-3k$ laptops.

#diy #laptop #thinkpad

wunk

@abcdw I currently have the Thinkpad X13S and use it as a primary work machine if you have any questions. It's been great for my use-case. Especially for the battery life and size and such. I use Windows on it and do C++ projects on it and some Vulkan development and use VSCode to do remote-dev to my Linux server as well and basic media consumption if that aligns in any way with what you intend to use it for.
elk.zone/mastodon.social/@Wunk

ThinkPad-Museum

@abcdw Nice! Is this a private auction or a reseller? I've been trying to get a X13s (preferably with ISO-UK or ISO-DE) for a long time but it's just ridiciously hard to get for a fair price.
Most shops still sell them for more than 1k EUR/USD - in this case getting the brandnew T14s G6 with the Snapdragon X1 Elite makes more sense.

I've just had a chat with @mart_w last week who is running #NixOS on his X13s. Some things are still somewhat broken, but it has become his daily driver.

@abcdw Nice! Is this a private auction or a reseller? I've been trying to get a X13s (preferably with ISO-UK or ISO-DE) for a long time but it's just ridiciously hard to get for a fair price.
Most shops still sell them for more than 1k EUR/USD - in this case getting the brandnew T14s G6 with the Snapdragon X1 Elite makes more sense.

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!

Go Up