tracnar

6 ms·

31.
by tracnar 2y ago
> I agree that "reproducible builds" now means something different, but that isn't exactly the fault of Nix advocates. I guess a new term for "being able to repeat the same build steps with the same inputs" is ne
32.
by tracnar 2y ago
To be clear I did not make CrossHair. I was also looking into it to turn normal python functions into some kind of constraints. But as you point out in your article it cannot really work through python imperative statements like conditions
33.
by tracnar 2y ago
This is exactly what the CrossHair library does: https://github.com/pschanely/CrossHair It also overloads other methods to provide kind of symbolic objects.
34.
by tracnar 2y ago
I thought it was 2 years warranty across Europe now?
35.
by tracnar 3y ago
What I've been doing for now is to pre-build the container to include the Nix environment in the nix store. I still run nix in the CI so I only have to rebuild the container from time to time, when the env has changed a lot. It's
36.
by tracnar 3y ago
For things in nixpkgs, the files will be mirrored on the nix cache. For your own stuff you could set up your own cache or use a service like cachix. There is also a nix option to set up a generic mirror which looks up files by hash, but I&#
37.
by tracnar 3y ago
I wasn't, they look interesting thank you, I'll try it out! Indeed the browser is the most important, even though it would be nice to have something generic for any app.
38.
by tracnar 3y ago
Looks good! I've been thinking about building something similar but as a desktop app (and maybe browser extension) which would work with whatever text you have on the screen. It seems doable by (ab)using the OS accessibility APIs. I fi
39.
by tracnar 3y ago
It seems to stem from the Python packaging story being driven by PyPA, rather than the Python foundation, which appears reluctant to pick a packaging solution and ship it with CPython. setuptools was kind of an in-between, it was included i
40.
by tracnar 3y ago
It's not yet as far as the Guix stage0, but there was an interesting talk about bootstrapping nix from TinyCC at NixCon: https://media.ccc.de/v/nixcon-2023-34402-bootstrapping-nix-a...
41.
by tracnar 3y ago
SQL is called relational because it's based on relational algebra [1]. Although in practice it only loosely follows that theory. [1] https://en.m.wikipedia.org/wiki/Relational_algebra
42.
by tracnar 3y ago
He later in the post shows invariants which cannot be verified as assertions within the system (e.g. as a process within a distributed application), because they rely on having an omniscient view of the system (e.g. access the state of all
43.
by tracnar 3y ago
I'm talking about replacing the battery as a whole, currently there are many form factors and you can't be sure you'll be able to get a new battery when the performance of the original one starts to degrade. If manufacturers
44.
by tracnar 3y ago
Standardising the batteries so the connector imposes a certain level of safety would seem like a better solution than making it harder to repair. You can also discourage e.g. self made batteries through insurance policies like you do for ca
45.
by tracnar 3y ago
He answered that in a comment: https://stgraber.org/2023/08/24/stable-linux-mainline-builds...
46.
by tracnar 3y ago
The syntax is restricted so the toml content can be extracted without actually parsing the Python file, a regex is enough.
47.
by tracnar 3y ago
Indeed, on top of stacktraces it would be great to have 'value traces' (with functional programming I suppose those would be the same). Especially in testing, what's important are the inputs with the system under test.
48.
by tracnar 3y ago
Nice. The GitLab caching API is basically saving and restoring a folder, so if you allow pointing to a local folder instead of the GitHub API you should be good!
49.
by tracnar 3y ago
I thought that this option solved this problem? https://nixos.org/manual/nix/stable/command-ref/conf-file.ht... But with the myriad of fetch* functions maybe it only applies to some.
50.
by tracnar 4y ago
I find Debian-based distros have much more customizations compared to more upstream based distros like Fedora and Arch Linux.
51.
by tracnar 4y ago
Linux surprisingly allows you to exec a program with argc == 0, so you also want to check for that... https://lwn.net/Articles/882799/
52.
by tracnar 4y ago
Having a database separates the view from the model. If you want to modify the generated HTML, it's much easier with the comments being separate from the HTML itself.
53.
by tracnar 4y ago
I wonder if a type system could track nondeterminism and prevent it. E.g. you couldn't just loop over a set, you'd have to order it, or apply a commutative operation. It would fit well into concurrency too, where nondeterminism is
54.
by tracnar 4y ago
Built over UDP rather than directly over IP. Introducing a new layer 4 protocol on the internet is not realistic for the foreseeable future.
55.
by tracnar 4y ago
The work on MPTCP started before QUIC. One big difference is that MPTCP puts a lot of effort to look like TCP to avoid being affected by middleboxes (firewall, NAT, proxies, ...). QUIC uses UDP which is more often blocked or throttled, thou
56.
by tracnar 4y ago
MPTCP is an extension of TCP and is "drop-in". But AFAIK making it opt-in was a concession to get it upstreamed in Linux, understandably as this is a risky change. There are different ways to enable it on unmodified applications,
57.
by tracnar 4y ago
Great, curious to see what you discover!
58.
by tracnar 4y ago
Nice fix. I wonder if using virtiofs would be more performant: https://virtio-fs.gitlab.io/
59.
by tracnar 4y ago
pip freeze might not work with platform-specific dependencies, you will only get the platform dependencies from who ran "pip freeze". So you might end up with "linux-only==1.2.3" in your requirements.txt which won't
60.
by tracnar 4y ago
It's a thing with the nix package manager: https://github.com/clhodapp/nix-runner

More ›