Replying to
@HalvarFlake@mastodon.social this is actually very inspiring! We can still “view the pyramids” 2500 years later, I don’t think the Empire State Building will last that long
Remote
rudi
@rudi@hachyderm.io
mastodon 4.7.3CS researcher at University of Oslo. Mostly reading, rarely writing, hope that's ok
0 Followers
0 Following
10 Posts
Joined September 08, 2024
@jackdaniel@functional.cafe congrats! Let me briefly mention that some lobsters posters can be sticklers for “self-promotion” but a bit of discussing on other people’s stories keeps them at bay :P
Replying to
@ethersync careful when doing any repository write operations at the same time though, I messed up some git repos that I kept synced via Dropbox
Replying to
@ethersync every git command returned an error, including git reflog. Some editor plugins did stuff at the same time, and I guess the repo got a mix of files from both sides. Can’t remember specifics though, and syncthing seems more well-behaved and didn’t give me unrecoverable trouble so far
Apropos of nothing:
> The repo settings. These can be edited with `jj config edit --repo`, or found with `jj config path --repo`. For security reasons, they are not located inside the repo.
> The workspace settings. These can be edited with `jj config edit --workspace`, or found with `jj config path --workspace`. For security reasons, they are not located inside the workspace.
(https://www.jj-vcs.dev/latest/config/#config-files-and-toml)
Replying to
@simoncozens that’s called a “megamerge” in jujutsu (hope you’re not annoyed by being recommended another tool). Also jj absorb moves changes from tip into the correct branch
Replying to
@adamgreenfield how would that book compare to @debcha ‘s “How Infrastructure Works”? (Which is patiently waiting on top of my pile)
Replying to
Replying to on tldr.nettime.org
@tante@tldr.nettime.org we’re democratizing coding! That will be 20$ per month, please