Andrew Tropin @abcdw@fosstodon.org
Hack on operating systems and programming languages.
Improving tooling for GNU Guix.
74830A276C328EC2 at keys.openpgp.org
Joined Mar 2019
Accidentially migrated to org roam v2, when update guix channel.
Seems migration went well and I would say I like v2 implementation a little more than v1. Now it's simplier, more flexible, have a better UI.
BTW, @daviwil made an introductionary video for people, who not yet familiar with org roam.
https://youtu.be/AyhPmypHDEw
https://yewtu.be/AyhPmypHDEw
Emacs-Elements channel also made a talk on v2:
Andrew Tropin
boosted
@abcdw It's not directly about *implementing* CRDTs, but I recently read this interesting post by an engineer who worked on Google Wave talking about lessons learned on OT and CRDTs: https://josephg.com/blog/crdts-are-the-future/ and it has some more links to follow.
Recently I read the article about local-first software. It's not very techy, but have some good reasons explaining why you should develop software in such a way.
https://www.inkandswitch.com/local-first.html
Also, it havily advertises CRDTs. If you have experience implementing such data structures or found and read good article on the topic, please share it with me)
Came back from trip and already at home, but will skip a stream today, will talk in 2 weeks)
Andrew Tropin
boosted
Wondering where you can buy DRM-free ebooks?
Got you covered!
Here's a list of almost 300 DRM-free ebook, digital comic, magazine, and RPG bookshops. SHould be plenty to get you stared, right?
Happy Reading,
^Kevin 👍
The dired trick from Protesilaos' video:
`C-u s` in dired buffer allows to set ls switches and immediately update the content.
For example -R will show all subdirectories the same way as `dired-maybe-insert-subdir` do for one dir, changing some other switches will provide different output format.
I use it rarely, but sometimes it's handy. Read `man ls` for more information.
Andrew Tropin
boosted
Today I've learned that bad one room apartment in Moscow costs ten times more than one room apartment anywhere in Finland. To be honest I wish to be there someday only because they have better bike infrastructure.
Andrew Tropin
boosted
Package pages of hpcguix-web, the web interface to browse #Guix packages, now shows channels and links to source code. Handy!
I'm on the trip right now and rarely have a stable connection. Quite happy that it's easy to work offline on Guix and rde projects.
The documentation is available in info format and easily accessible from emacs. I can do review, prepare replies to reviews/other messages and look up discussions with my mail client.
I do all the neccessary stuff completely offline and send the results, when I have a network.
Andrew Tropin
boosted
Pharo 9.0 is released, and there's a ton in this release: https://github.com/pharo-project/pharo-changelogs/blob/master/Pharo90ChangeLogs.md
The community is growing and the tooling is improving at a really impressive rate. Pharo is increasingly its own language too, the way Racket separated from Scheme.
One of the greatest talks I've ever heard. Excellent speaking skills, wonderful way to present, good thoughts on language construction approaches.
Many of the ideas are applicable not only in language construction or programming, but in many fields with long-living projects.
I can highly recommend it to almost everyone with any background. Watch at least to the first punch line ~9 minutes.
mpv https://youtu.be/lw6TaiXzHAE
mpv https://yewtu.be/lw6TaiXzHAE
Nice overview of the current state of computing performance, its bottlenecks and some guesses about where it can go in the future.
It covers almost everything from processing units to storage and network devices.
This is how my wakeboard workouts looked like in the first half of the summer. 🤙
How do you spend your spare time? How often do you leave your computing environment?
Have you ever tried to send patches via email? Why people do it? Pull Requests are broken by design?
Today will talk about different git workflows, their pros and cons and tooling involved.
Andrew Tropin
boosted
https://fairuseify.ml/ - oh i love this hot take on the github copilot machine learning fair use debate
Andrew Tropin
boosted
okay.
i've unearthed the US patent for the standard Symbolics 3600 LISP Machine
it's here: http://bitsavers.org/pdf/symbolics/patents/4887235_3600_patent.pdf
it contains the full hardware description and, ironically, spends most of the time documenting the LISP Machine kernel, as if the hardware is seemingly not the most tremendous discovery, which gives me goose bumps...
anyway, some important things to note:
>garbage collection implemented in hardware
>type checking implemented in hardware
>kernel traps implemented in hardware (i think x86 does this as well, i forget)
i've unearthed the US patent for the standard Symbolics 3600 LISP Machine
it's here: http://bitsavers.org/pdf/symbolics/patents/4887235_3600_patent.pdf
it contains the full hardware description and, ironically, spends most of the time documenting the LISP Machine kernel, as if the hardware is seemingly not the most tremendous discovery, which gives me goose bumps...
anyway, some important things to note:
>garbage collection implemented in hardware
>type checking implemented in hardware
>kernel traps implemented in hardware (i think x86 does this as well, i forget)
A brief talk on emails and mailing lists handling with Emacs. Tomorrow 15:00 UTC.
Prepare your questions, Toot them and Boost the post)
To make guix search and other commands not to throw "WARNING: terminal is not fully functional", I set PAGER environment variable in my eshell to empty value.
(add-hook 'eshell-mode-hook (lambda () (setenv "PAGER" "")))
My other eshell settings:
https://git.sr.ht/~abcdw/rde/tree/e0b49054ccc1a624c09cfa456fa0885731de8f1b/rde/features/emacs.scm#L404
Andrew Tropin
boosted
Homomrphic encryption is a cool technology, it allows to transform data without decrypting it. Pretty excited about possible use cases.
Hack on operating systems and programming languages.
Improving tooling for GNU Guix.
74830A276C328EC2 at keys.openpgp.org
Joined Mar 2019
