tracnar

5 ms·

1.
by tracnar 6d ago
To give an example, this it of course not true: > Only a limited set of frequencies is used in music. All these frequencies (that exist in music) can be played by a piano.
2.
by tracnar 1mo ago
Another way would be to enforce a copy, adding the metadata, at the boundary with fil-C, right? Of course that makes the FFI way less useful...
3.
by tracnar 4mo ago
It also supports .tar but that's probably not very commonly used.
4.
by tracnar 6mo ago
Haha indeed. At work suddenly documentation and APIs are important, but it's all for/behind "skills". Before it was always "sure, that would be nice"... I do welcome the improvements to doc and APIs this brings
5.
by tracnar 6mo ago
Could you have a heuristics based on the input size and the pattern to decide what to use?
6.
by tracnar 8mo ago
They do, but the US can still force them to hand over data that's in EU. (This was confirmed by Microsoft France officials.)
7.
by tracnar 9mo ago
At least in Belgium it's quite common for a lot of students to fail the first year (partly due to the difficulty, partly due to partying instead of studying). But it's not like it's really free, the tuition is cheap but the a
8.
by tracnar 9mo ago
If you're porting a library, you can use the original implementation as an 'oracle' for your tests. Which means you only need a way to write/generate inputs, then verify the output matches the original implementation. It
9.
by tracnar 9mo ago
Indeed, the Tcl implementation does this so e.g. `set d [dict] ; dict set d key value` can modify d in place instead of creating a copy (since everything is immutable).
10.
by tracnar 10mo ago
You could use this funky tool from oss-rebuild which proxies registries so they return the state they were at a past date: https://github.com/google/oss-rebuild/tree/main/cmd/timewarp
11.
by tracnar 10mo ago
There's Hedy if you want to try a text based programming language for kids: https://www.hedy.org/
12.
by tracnar 11mo ago
What actually happens if you remove read permissions on the /nix/store directory? Do things still work? I suppose I'll need to try!
13.
by tracnar 11mo ago
I wish a Python package manager would support patching dependencies, like e.g. Cargo allows: https://doc.rust-lang.org/cargo/reference/overriding-depende... It's much cleaner than monkey patching, and it will
14.
by tracnar 11mo ago
Don't you need to wait for some kind of delimiter (like ",", "]", "}", newline, EOF) before parsing something else than a string?
15.
by tracnar 1y ago
For optimizing the module finding, using a custom import hook was indeed what I had in mind!
16.
by tracnar 1y ago
While I see the usefulness of lazy imports, it always seemed a bit backward to me for the importer to ask for lazy import, especially if you make it an import keyword rather than a Python flag. Instead I'd expect the modules to declare
17.
by tracnar 1y ago
I've always thought it would be great for the government to provide a free domain name for every citizen. There's really not much you can do without DNS.
18.
by tracnar 1y ago
For logic in Python this project looks pretty neat, it encodes facts as typed objects and rules as functions, then allows you to run the model using a solver like soufflé: https://py-typedlogic.github.io/ I haven't fou
19.
by tracnar 1y ago
I was always surprised that NixOS doesn't have a better story there, the main install instructions are to do manual partitioning, generate a config, edit it, etc. What I had expected at first would be that you'd write the config f
20.
by tracnar 1y ago
I was also thinking about this use case when reading the announcement. Let's say you have a bunch of parquet files already (on local FS, HTTPS, S3, ...) that you can assume are immutable (or maybe append-only). It would be great if you
21.
by tracnar 1y ago
True, I believe I mostly worked around that limitation by splitting off quoted from unquoted code into separate commands. So in your example "[cmd $bar]" would be in a separate unquoted command, probably putting it in a temporary
22.
by tracnar 1y ago
I implemented something very similar a while ago, it's indeed too bad it's not built-in. I don't think you need such a "quasiquote" function, [list {*}$args] can escape a single command, and then it's a matter
23.
by tracnar 1y ago
That's actually how the nix package manager works, normal users can 'install', or even build, packages. It works because the installation does not really have any side effects beyond using some resources (disk space, network,
24.
by tracnar 1y ago
Agreed. Also if you can generate your configuration at build time, it matters much less whether you use a Turing complete language or not. It then allows you to enforce limitations you care about, like e.g. forbidding network access, or mak
25.
by tracnar 1y ago
Or go even further and you get yaml?
26.
by tracnar 1y ago
Interesting! A use case I could see for using builtins would be to gradually rewrite a bash script in some other language, as otherwise you have to do it through subprocess which can be slow and inconvenient.
27.
by tracnar 1y ago
Nice! I tried using XQuery (superset of XPath 3) for a while through the BaseX implementation. It's pretty nice, but you have to face XML problems like namespaces, document order, attributes vs nodes, you don't know if you can hav
28.
by tracnar 2y ago
The unison programming language does foray into a truly distributed programming language: https://www.unison-lang.org/
29.
by tracnar 2y ago
Ok great, I indeed just tried, I might just have been confused last time! Maybe you could mention in the doc that a module can be a "package"? (Even though I suppose a package is also a module, I always find the Python terminology
30.
by tracnar 2y ago
When I tried it, it seemed like you really need to list all modules in `tach.toml`. What I wanted was to work at a coarser package level. For example if you have the modules `foo.a`, `foo.b`, `bar.a`, and `bar.b`, I'd like a rule that

More ›