Hacker News: bennofs

New comment by bennofs in "Arch Linux Now Has a Bit-for-Bit Reproducible Docker Image"

bennofs — Thu, 23 Apr 2026 10:04:16 +0000

Both Debian and Ubuntu provide snapshot mirrors where you can specify a date to get the package lists as they looked at that time.

New comment by bennofs in "First Successful Lightning Triggering and Guiding Using a Drone"

bennofs — Thu, 24 Apr 2025 08:49:06 +0000

8MWh is equivalent to a few hours of electricity generation of a wind turbine.

New comment by bennofs in "Git clone –depth 2 is vastly better than –depth 1 if you want to Git push later"

bennofs — Wed, 12 Feb 2025 11:59:22 +0000

One major downside is that it becomes really hard to do transactions, especially across multiple files. If you store mostly immutable data though like git (where except the refs every object is immutable, mutating creates a new object) it can work nicely.

New comment by bennofs in "Uv's killer feature is making ad-hoc environments easy"

bennofs — Mon, 13 Jan 2025 12:04:21 +0000

I for one enjoy the convenience of automatically installing python versions. Yes I know how to do it manually. Yes it is possible to install multiple versions. But that does not mean I want to do it every time, just to test how things behave in different python versions. For that, it's also okay if it does not install the most performant version of the interpreter.

New comment by bennofs in "I am rich and have no idea what to do"

bennofs — Fri, 03 Jan 2025 06:46:45 +0000

The limit could depend on a lot of other things. In theory, it's possible that you are paying 100% of revenue on debt service yet still the best option is to take on more debt. This is if you believe that investing the money raised via additional debt provides returns that outweigh the increase in debt service costs. So in that situation, additional debt can even lower the debt service / income ratio.

So this is meant to illustrate that the limit on debt is more a function of the concrete circumstances. In this line of argumentation, debt is not limited by a mathematical formula that just takes GDP and similar statistics as input.

New comment by bennofs in "Translation of Rust's core and alloc crates to Coq for formal verification"

bennofs — Thu, 16 May 2024 07:06:16 +0000

My argument is that you typically also check other properties, like properties describing what your program should do. These other properties likely wouldn't be satisfied by a nop program, and hopefully the same is true for many subtle issues.

New comment by bennofs in "Translation of Rust's core and alloc crates to Coq for formal verification"

bennofs — Wed, 15 May 2024 08:38:05 +0000

Yes, that is a limitation. But this limitation is not too bad.

In many cases, a bug in the translation simply makes the proof impossible. Somebody then investigates why the proof does not go through and finds the bug in the translation.

We only have a problem if the bug in the translation specificially cancels a bug in the original code. If there is no systematic risk, it is quite unlikely that two bugs cancel each other in this way.

New comment by bennofs in "Sweden’s incoming cabinet says new nuclear reactors will be built"

bennofs — Sat, 15 Oct 2022 11:31:27 +0000

Do you know if redispatch costs are included as part of your transmission costs and how much they are? Because if they are, then investing into the transmission lines can decrease transmission costs since the providers need to pay less for redispatch.

New comment by bennofs in "Does QE Cause Wealth Inequality?"

bennofs — Tue, 16 Nov 2021 18:12:19 +0000

I am no economist but couldn't it be that raising pay in few sectors does not cause inflation? I would think that depends on what the people receiving more money spend it on. If they only spend it on things where we have no bottleneck and there is still excess capacity, how would that create inflation? Inflation should only happen if the increased paycheck is used to compete for scarce resources/products. So I think predicting inflation requires a more detailed analysis, especially you need to have a cycle of increased prices and pay.

New comment by bennofs in "Ode to a Streaming ByteString"

bennofs — Wed, 27 Oct 2021 18:53:23 +0000

How does rust do bounds checking for slice accesses if the length is not stored?

New comment by bennofs in "Why bugs might feel “impossible”"

bennofs — Tue, 15 Jun 2021 21:19:25 +0000

JVM also has jstack and other tools like jprofd to introspect running vms.

New comment by bennofs in "Kolmogorov Complexity: Extensions and Applications"

bennofs — Wed, 05 May 2021 06:46:14 +0000

Construct a TM which enumerates all possible variable assignments and checks if the SAT problem is satisfied then halts if so. You can construct this TM in polynomial time, and it halts exactly if the SAT problem is satisfiable. So this is a polynomial reduction from SAT to the halting problem.

New comment by bennofs in "Test for lists in Cython"

bennofs — Mon, 19 Apr 2021 17:38:24 +0000

But it breaks down if you have cross-language cycles, because no garbage collector of either language will see the full cycle.

New comment by bennofs in "Norwegian experts say blood clots were caused by the AstraZeneca Covid vaccine"

bennofs — Thu, 18 Mar 2021 14:08:51 +0000

Maybe I've missed it, but I didn't find anything in the article about whether the vaccine does need to be discontinued or not. In any case, being clear about what side effects are possible and researching them to get a better understanding is a requirement in my opinion.

New comment by bennofs in "We Don’t Use Docker"

bennofs — Tue, 16 Mar 2021 11:52:15 +0000

Well, turning a static binary into a docker image is basically just adding some metadata on how to run it. Whereas turning an image into a static binary is much harder, so it makes sense the world standarized on the more flexible format.

New comment by bennofs in "We Don’t Use Docker"

bennofs — Tue, 16 Mar 2021 11:49:58 +0000

> User, process, and filesystem namespacing. System call filtering. Ensuring even if there is a remote exec exploit there is no bash or anything else in the container for an attacker to use.

All of these are supported by systemd out of the box. You can use `SystemCallFilter=...`, and various options to restrict the file system (like `ProtectHome` and `ProtectSystem`) plus tons of other linux kernel features (capabilities, no new privileges).

New comment by bennofs in "Telegram is booming but needs advertisers and $700M soon"

bennofs — Mon, 15 Mar 2021 16:49:08 +0000

Last I tried, telegram desktop on Linux didn't support e2e encrypted chats which is sad.

New comment by bennofs in "Common Nginx misconfigurations that leave your web server open to attack"

bennofs — Thu, 25 Feb 2021 08:45:22 +0000

Though deprecated, https://github.com/yandex/gixy is a nice checker for these kind of issues.

From an Economics without Capitalism to Markets without Capitalism [video]

bennofs — Mon, 22 Feb 2021 12:31:18 +0000

Article URL: https://www.youtube.com/watch?v=9aK4OztueuE

Comments URL: https://news.ycombinator.com/item?id=26223737

Points: 2

# Comments: 0

New comment by bennofs in "Nano is what Bitcoin hoped to be"

bennofs — Sat, 20 Feb 2021 16:45:45 +0000

For some cryptocurrencies, a 51% attack would only be able to halt the network (prevent new transactions) but wouldn't be able to cause a double spend or other safety failures.