Email or username:

Password:

Forgot your password?
591 posts total
Andrew Tropin

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

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).

guix.gnu.org/manual/devel/en/h

David Wilson

@abcdw Nice! It is pretty convenient building derivations at the REPL.

The one thing I really need to figure out is how to quickly open the output file or folder of a build in Emacs so that I can inspect it without copy/pasting the path.

Probably not that hard to do, just needs a few moments to try it!

Andrew Tropin

I haven't used youtube without adblocker for years, wow, how fucked up this feels - seeing the advertisement all over the place.

Andrew Tropin

Published a roadmap for rde project and very excited about it.

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

If you don't know much about #rde yet, read release announce and try live ISO:

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

Andrew Tropin

I finally got better, had a full night of sleep and even ate something. Time to work a little I guess.

Andrew Tropin

Having a hard time figuring out an error:

ice-9/boot-9.scm:1685:16: In procedure raise-exception:
error: #{% <feature> rtd}#: unbound variable

The same code works completely correct, when launched inside guix home reconfigure, but fails in geiser repl.

Andrew Tropin

I succesfully compiled it in standalone guile repl.

GUILE_LOAD_PATHS with auto compilation, ~/.cache/guile vs compiled path directories and obscure error messages are not making it easy to track down the root of the problem.

Andrew Tropin

It seems a few hours of sleep I had in the last few days is not enough to feel peachy. Will take a small nap.

Andrew Tropin

Throw to key `match-error' with args `("match" "no matching pattern" ("SHELL" . #<file-append #<package bash@5.1.8 gnu/packages/bash.scm:124 7fabb6762dc0> "/bin/bash">))'

It seems the problem comes from narrowing scope of match to only booleans, strings and literal-strings, let's expand it for file-likes.

There is no anchors for lines in cgit's diffs, but the full diff is here: git.savannah.gnu.org/cgit/guix

Andrew Tropin

To recompile the sources I use

make make-go

to run tests

make check TESTS="tests/guix-home.sh"

If there is no ABI breaking changes in new commits the recompilation is quite fast.

#guix

Andrew Tropin

A few people already mentioned to me that the change to environment-variables related code in Guix I reviewed recently contains some backward incompatibilities.

The fix should be easy. Will start from pulling latest commit, building it and writing a test to make it easier to check that the fix is working and prevent possible regression in the future.

Andrew Tropin

Second day without sleep and food. No, I'm not arrested and not being tortured, just a little bit sick.

Andrew Tropin

I'm mostly interested in statistics about live coding/hacking/tech, but I suspect it is similiar for all topics. Boosts are very appreciated.

P.S. If you like some live coding streamers share link(s) to their channel with me, please.

#youtube #twitch #owncast #peertube

Anonymous poll

Poll

youtube
13
50%
twitch
11
42.3%
owncast
2
7.7%
other (please write the name)
0
0%
26 people voted.
Voting ended 11 Jan 2023 at 10:21.
dgr

@abcdw not watching a lot of live coding. Sadly youtube is still the best experience on my phone but I'm willing to follow links if I know about them

David Wilson

@abcdw I watch streams on YouTube, but I'm very interested in streaming primarily from my own server, possibly Peertube or Owncast. Probably not super easy to package and host either of those with Guix, though

Andrew Tropin

Sometimes I get asked: Why do you work on free and open source software if you don't get payed for it?

Today I realized that most of those people spend half (or at least big part) of their life on social networks literally working on big corps without any payments and in addition to that without any goal.

I don't want to look cool here, I just realized how sad it is and share my thoughts.

Andrew Tropin

I don't remember when it started, but messages, announces and replies we write in #rde project contains We instead of I even in situations where I could work as well. It's actually a future-proof even if one is an only developer on the project yet and this is why:

un.curl.dev/project/we

BTW, uncurl is a good reading, summing up many aspects of #foss #floss projects development and can be interesting or even helpful for contributors, users, maintainers and even bystanders.

Andrew Tropin

More than half an year ago I deleted my account in VK (russian facebook analog), and yesterday I got email that deletion is complete.

The part of life memories is gone with it: contacts, photos, messages, funny pics, but I don't smell regret, it always felt as a walled garden (as many other social nets), which tries to vendor lock you, devour your time, isolate from the rest of the web, but my world is far beyond those artificial limits.

VK is dead, Long live decentralized web!

#fediverse

Pavel Korytov :emacs: :guix:

@abcdw Hehe, I don't feel regret deleting an account there precisely because a part of my life is gone with it, at least somewhat.

Maybe someday I'll run some NLP on the messages dump. It's 395342 messages in total, of which 145542 were sent by me.

Andrew Tropin

Have you ever thought about AI/NN as not a very accurate compression algorithm?

Matthias

@abcdw yes. There is a whole line of thought that goes in this direction, also including our human cognitive process of understanding the world. Can't give you a single reference because I saw this in plenty of articles/books without any of them focusing exclusively on it. Curious to hear if anyone has a good one. Compression, interpolation, extrapolation, modelling, generalization are all very very closely related.

Andrew Tropin

How much tempting to have convenience at the price of freedom.

Matt J.

@abcdw

How amusing to think we have freedom.

Andres Moreno

@abcdw

If the question is about, for instance, Emacs vs. VSCode, then consider: the cider repl bogs down with long lines, which one needs when looking at tables with quite a few columns.

VSCode: no problem.

Solution: keep Emacs and use Clerk to display tables. Annoying.

If the question is wi-fi drivers for Guix for intel wifi, then very annoyed that non-guix is a pariah.

Haven't made the leap to Guix yet for this reason.

Andrew Tropin

I removed google account from my phone, made a factory reset, and now I look for a few more privacy-friendly apps alternatives, preferably available in f-droid, tell me what you use.

1. Maps (I often use bookmarks, routes with time estimates and transport data)
2. Calendar
3. Keyboard
4. Radio/Music
5. Audio book player
6. Photo backup/syncronization tool/service

#degoogle #foss #floss

I removed google account from my phone, made a factory reset, and now I look for a few more privacy-friendly apps alternatives, preferably available in f-droid, tell me what you use.

1. Maps (I often use bookmarks, routes with time estimates and transport data)
2. Calendar
3. Keyboard
4. Radio/Music
5. Audio book player
6. Photo backup/syncronization tool/service

Show previous comments
Primetime

@abcdw
What alternative Android distro/ROM did you switch to? I use #LineageOS.

1. Magic Earth (via Aurora store)
2. Simple Calendar, F-droid
3. AnySoftKeyboard, F-droid
4. Music player from F-droid, music library on device.
5. -
6. Syncthing, F-droid

tommy

@abcdw

Maps, definitively OsmAnd
it is very feature rich. Therefore you might need a bit patience. But the (offline available) Point of Interests are a killer feature. Also I like the navigation, especially in the mountains, where you see what slope is ahead of you.
Also public transport (stops and lines) is covered quite well, too.

lollonero

@abcdw as calendar i use etar calendar.

How did you go about backing up your user data? That’s my main fear in finally installing an alternative rom and is mostly omitted in tutorials

Andrew Tropin

I had an old gmail acc, that was used for various registration and confirmation tasks for almost 2 decades and mostly never for composing emails, but recently, smtp and imap access to it disappeared.

Ok, I'll keep you as a reverse proxy forwarding incoming messages to one of my actual mail boxes for a while, but won't spent any more minute to workaround your proprietary buggy behavior. And hack off with your "security" enchancements, my dear privacy-respecting bigcorp.

#degoogle

Andrew Tropin

I can't stop reading profiles when a new account follows me. I read every of them, have a mercy, don't be so interesting, people!

#fediverse

Andrew Tropin

#tropin IRC channel on Libera.Chat quite actively discuss #rde, and it was discussing it for a couple last weeks even before release. 25-30 people is online.

Feels good, the project is growing I guess.

web.libera.chat/gamja/#tropin

Go Up