bennofs

23 ms·

181.
by bennofs 9y ago
Well, reproducible builds doesn't necessarily mean that it stays reproducible when you turn on debug info.
182.
by bennofs 9y ago
And alacritty ( https://github.com/jwilm/alacritty ) would be interesting to see as well.
183.
by bennofs 9y ago
Python has/had a terrible packaging story though. As you said, dependencies weren't really documented. Rust, on the other hand, documents all dependencies in Cargo.toml. And dependencies can easily be parsed from Cargo.toml withou
184.
by bennofs 9y ago
strace - to see what a program is doing / where exactly something is failing if the error message is bad ltrace - same as above, if strace is not enough perf trace - if you don't know the exact process to strace upfront https:&#
185.
by bennofs 9y ago
This technique is used to at least some extent in the Haskell world as well. Library changes are sometimes judged by the amount of breakage that they cause (often, Stackage or a subset thereof is used for these tests as a set of "commo
186.
by bennofs 9y ago
Transforming a statement using a series of equavilence transforms into an always true statement isn't a valid proof? After all, you've shown that the original statement is the same as a true statement. Isn't that a valid proo
187.
by bennofs 9y ago
I believe that this meaning is even intentional, the original author of nix (Eelco Dolstra) is from the Netherlands. The name comes from the fact that by default, nothing is available in build environments in nix.
188.
by bennofs 9y ago
for your first point., what about `builtins.fetchTarball` and `builtins.fetchurl` (`fetchgit` is in nix unstable afaik)
189.
by bennofs 10y ago
Minifying also speeds up decompression, because less data has to be produced by the decompressor. Compression and minifying are really different optimizations, as the minification does not need to be reversed. So each one has benefits.
190.
by bennofs 10y ago
Does anyone know what's up with that chrome plugin for searching? Feels weird to me that it would require a plugin.
191.
by bennofs 10y ago
I've got a weird problem at my home where WiFi connection on my laptop gets really bad as soon as some particular other laptop connects to the WiFi. Reconnecting fixes the issue. Any idea what might cause this or how to gather more inf
192.
by bennofs 10y ago
A possibility is to use a different representation for graphs, such as adjacency matrices, which are much easier to work with the borrow checker. Or just use RefCell, deferring the borrow checking until runtime. Another strategy could be to
193.
Attention to detail: the close tab behaviour in Google Chrome (2009)(theinvisibl.com)
1 points by bennofs 10y ago|0 comments
194.
by bennofs 10y ago
Even better in combination with the `:/grep` syntax that allows you to specify the commit by grepping the commit messages, prefering more recent commits: `git commit --all --fixup ':/implement some feat'`.
195.
by bennofs 10y ago
I agree that you cannot 100% prevent phishing, but I think that the case presented here is slightly different: the "evil URL" is only contained in a parameter to an request to another URL. I don't think that the typical use
196.
by bennofs 10y ago
> Provably correct software is possible. Even then, the software is provably correct according to some specification, which can still have bugs. No technology can fully prevent logic bugs.
197.
by bennofs 10y ago
I would suggest it, there is not much that has changed about the core of nix/nixpkgs, the nix language is quite stable and most changes have been additions rather than changing existing features.
198.
by bennofs 10y ago
No, that is not what `propagatedBuildInputs` is for. `propagatedBuildInputs` should be used very sparingly, in most cases wrappers are the better solution. For example, consider if every package that contained bash scripts would put bash
199.
by bennofs 10y ago
cargo build --color always | less -R should work with recent cargo, alternativly `cargo rustc --color always -- --color always 2>&1 | less -R` works as well.
200.
by bennofs 10y ago
Doesn't the `snapshot.json` file protect against "not being aware of the revocation"? Since `snapshot.json` can be trusted to be up-to-date (due to being included by hash in `timestamp.json`), and `snapshot.json` has a hash o
201.
by bennofs 10y ago
From " 1.5.2. Goals for specific attacks to protect against" from the TUF spec: Git protects against: * Arbitrary installation attacks. (Because metadata is signed) * Extraneous dependencies attacks. (Because metadata is
202.
by bennofs 10y ago
Can you share what your different requirements that are not supported by TUF are?
203.
by bennofs 10y ago
Hackage/Cabal also has at least a partial implementation of TUF.
204.
by bennofs 10y ago
Improving Linux desktop security beyond "if you PWN one program, you PWN the whole desktop session" is going to be hard. X11 has no separation, so talking about this really only makes sense when using Wayland, which is no where ne
205.
by bennofs 10y ago
Why is blacklisting not safe, assuming you contextually blacklist?
206.
by bennofs 10y ago
Not that I know much about it, but http://www.purescript.org certainly looks like a kind of "Coffeescript for Haskell”? Or is that language too different from JS for that purpose? The that might just be because Haskell is q
207.
by bennofs 10y ago
Doesn't python3 have both bytes and str, the equavilent of ByteString and Text?
208.
by bennofs 10y ago
How can there be a punishment for not having perfect memory and remembering everything you ever created? That does not make sense to me, you'd have to prove that he actually knew that he created it and is intentionally lying to warran
209.
by bennofs 10y ago
Did anyone else find it surprising the the number of total requests (45334) is so much higher than the number of unique total requests (17289)? It is more than twice the number of unique requests! Possible explainations: * Perhaps many of
210.
by bennofs 10y ago
Doesn't `git blame --first-parent` work for that? From my quick tests, it seems like it shows the merge commit if you have such a structure (`--first-parent` also works for `git log` etc)

More ›