Viewing profile — tgamblin

The more recent Lifschitz book is the easiest to learn from IMO: - https://www.cs.utexas.edu/~vl/teaching/378/ASP.pdf It starts with basics of using ASP and gives examples in cling…

I do for macOS and Linux :). Windows support is also coming along. There isn’t anything particularly special about the HPC world other than the need for many different configuratio…

> Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This …

Spack doesn't require any particular prefix... it has a deployment model like nix, and the store can go anywhere. Binary caches are relocatable.

It's disappointing that this response linked by OP was posted at all. And even more disappointing because context gets lost every time it shows up on HN. The linked email is from a…

> Maybe it's possible to have multiple _views_ of a filesystem, so via one API you "see" a flat namespace with hashed directories, and with another a conventional hierarchical one …

FWIW this is what Spack does , and it uses a store layout like nix/guix. here are some chunks of the spack install tree path. All you really need is the hash, but we provide a bit …

There is also `spack develop`, on which people are building hack/build/test loops. You can `spack develop` any package in spack, and easily build with a modified version of somethi…

This is stolen from @Theophite, sadly now banned: https://images.app.goo.gl/Rv5SK1qqWXZVNSZ56

> I can't count the number of times I've seen people say "md5 is fine for use case xyz" where in some counterintuitive way it wasn't fine. I can count many more times that people t…

Which part was hand-wavy/unreasonable? Do you think that dedicated MD5 hardware could become billions or even millions of times more efficient within a decade? If so, why?

The article mentions the key detail: MD5 is broken for cryptography (collisions) but not for second preimage attacks. I was hoping there would be some discussion of just how much m…

In Spack we rewrite strings in binaries, strings in text files (including shebangs), and RPATH/RUNPATH values. It's not hard to find store prefixes in binaries -- they have hashes …

Spack dev here. Yep it's mainly used in HPC, but we'd love to see more folks using in other areas. There is windows support now (in addition to linux and macOS), which I think was …

I’ve done exactly this to manage a test user identity separately from my main GitHub identity, for debugging GitHub apps. I didn’t clone separately, though. I added separate remote…

It looks like you can't search "all" anymore. But if you want the same effect you can hack the URL. Specifically: &type=all used to work, but isn't an option anymore &type=story&ty…

FWIW, we do something like this in Spack[1] with `spack config blame`. There are different YAML configs, they can be merged and override each other based on precedence, but we tell…