zeotroph

5 ms·

1.
by zeotroph 2y ago
There is third, pytype (by google), which I found pretty good but it rarely gets mentioned. However, like the others it is slow, so I hope this one is fast and supports all the pytype features (especially being able to type-check un-annotat
2.
by zeotroph 2y ago
Looking at the nice demo, I think just defaulting to asking for confirmation if there is ambiguity, instead of dazzling the user with `mergiraf solve` magic would help; there is already a `merigraf review`. Then, a confirm prompt, an option
3.
by zeotroph 2y ago
Ah, more complex than I thought: "venvstacks allows you to package Python applications and all their dependencies into a portable, deterministic format, without needing to include copies of these large Python frameworks in every applic
4.
by zeotroph 2y ago
And with just 3 layers: Runtime, Framework, Application. But at least you are not switching tools, and it presumably would prevent you from installing LARGE_v1.1, and then installing TINY_v2.2 in a later layer, which however upgrades LARGE
5.
by zeotroph 2y ago
That's just a `git pull --rebase` away (or set pull to never merge but rebase), and all the non-merged commits are rebased onto the new upstream, and while doing the rebase the already-merged commit is dropped. The next git push origin
6.
by zeotroph 2y ago
> Developers just aren't very good at doing this. GitHub provided a way to contribute, but also to avoid learning to rebase, thus making it more welcoming to devs who only know about commit and pull - that is what made it so popular
7.
by zeotroph 2y ago
> [GitLab] you can mark the PR to depend on another How much user interaction does that require, and how is this visualized in the review UI? Gerrit creates this dependency with a single `git push`.
8.
by zeotroph 2y ago
Attention Set <3 - that alone is worth another post. Gerrit really is one of the best kept dev secrets, and if you never had the luck of seeing it in person at a company where you worked at, well... Makes me wonder what other git or dev-
9.
by zeotroph 2y ago
And just visually, GitHub wastes so much vertical space, so even trying to place what belong to which patchset becomes hard.
10.
by zeotroph 2y ago
There is one thing I miss on Gerrit when you push a stack of commits: A central place to talk about the whole of the stack, not just individual commits. This "big picture", but still technical stuff, too often happens in the issue
11.
by zeotroph 2y ago
That's exactly what Gerrit can do. When you push an x-b-c-d-e chain, these show up stacked in the UI, but you can easily cherry-pick b onto main (see that the CI passes, and the usual review), and rebase everything on top of that. If i
12.
by zeotroph 2y ago
Right, for Graphite $20/dev/month is nothing (I wonder if Enterprise is less or more more than that...), considering an ounce of review (prevention) is worth a pound of bugfixes (cure). And when you can not get corporate to switch
13.
by zeotroph 2y ago
From my interaction with the free part of GitHub, "diff soup" describes it very well. Does the paid version do anything better? What about GitLab, can this get near Gerrit? And then there are the external services which try to mak
14.
by zeotroph 2y ago
> if car companies where the ones liable for fixing your car Sidenote: this one of the ideas behind Ida Aukens (controversial, and I would say misunderstood) "You will own nothing and be happy": One way to make companies liab
15.
by zeotroph 2y ago
There is also the rarely mentioned pytype from Google, written in Python. And pyright from Microsoft is written in Typescript, pyre at Facebook in OCaml. Last time I checked, these had better type inference algorithms (Hindley-Milner?) than
16.
by zeotroph 2y ago
That only seems to work on btrfs, XFS, (and maybe now or very soon) ZFS and bcachefs: "[duperemove] simply finds candidates for dedupe and submits them to the Linux kernel FIDEDUPERANGE ioctl." [1] (aka BTRFS_IOC_FILE_EXTENT_SAME)
17.
by zeotroph 2y ago
> just say `arc diff` instead of `git push`. "just" - I bounced off Phabricator because I couldn't use native git tooling, and what mapped to where wasn't clear to me. The pure git approach of git-pr is the exact oppo
18.
by zeotroph 2y ago
Good to hear, Gerrit does a lot of things right, see "stacked diffs" (or the realization that GitHub lacks these) now becoming more popular. And the patchset model is one important aspect of that, especially being able to see the
19.
by zeotroph 2y ago
How do you envision pushing/reviewing a branch of 3 cleanly separated commits (say: write failing test, fix code, refactor) into a repo with a fast-forward/no-merge policy? The end result should of course be 3 commits, but review
20.
by zeotroph 2y ago
I discovered CRIU in this video below (1h) "Container Migration and CRIU Details with Adrian Reber (Red Hat)", it has a live demo and the details about how much "user space" it really is. Here with the RH podman fork of
21.
by zeotroph 2y ago
"Numerous others" which also support MFA, have some (Web)-UI and are also open source? I only know of DefGuard[1], which aspires to do a lot more. 1: https://github.com/DefGuard/defguard discussed at https
22.
by zeotroph 2y ago
Whoa, the line "Every save is uploaded, automatically [by default]" needs to qualify the non-default options. Can a company policy demand that? I hope there is a protocol-level, client-side opt-out for that, otherwise this VCS wil
23.
by zeotroph 2y ago
Firefox View slowly getting more features, nice. I hope one day it supports the very real use case of using/abusing browser tabs as bookmarks. I know I am not the only one who keeps lots of windows with currently almost 100 tabs open.
24.
by zeotroph 3y ago
I was wondering why this material is so bad, it seems to be because it is mostly silica crystals. Without the resin holding it in place such a material wouldn't be possible. 90–93%: 99.9% pure silica in grits and powder form constitute
25.
by zeotroph 3y ago
If I may ask, is this mirrorfs available somewhere? The demofs from nfsserve seems to create and server a pure in-memory fs tree if I read the sources correctly.
26.
by zeotroph 3y ago
As someone who keeps tabs open forever (as better bookmarks), resulting in tens of windows with each tens of tabs, I finally settled on Tab Session Manager [1] which allows me to "stash" these Windows and restore them later. It se
27.
by zeotroph 3y ago
And while it is there it has > 20x the impact of CO2. Just don't dump organic waste into landfills.
28.
by zeotroph 3y ago
Also Compressed earth blocks, which use only very little cement, should be used more. Or Cross laminated timber, great for long-term sequestering of carbon. https://en.wikipedia.org/wiki/Compressed_earth_block https:&
29.
by zeotroph 3y ago
...which releases methane (CH4) into the atmosphere since it is in an anaerobic atmosphere. And then the cycle is no longer the neutral CO2 -> coffee bean -> CO2 but it added CH4 to the atmosphere which heats the planet. Ideally all b
30.
by zeotroph 4y ago
Indeed, it is less raid0 but creating a raid0 and then building a raidz on top of it. Say you have `1, 1, 2, 2` sized devices. A raidz requires them all to be equally sized which can be done by first adding `1 + 1 = 2` and then creating a z

More ›