Hacker News: loglog

New comment by loglog in "How to convert between wealth and income tax"

loglog — Fri, 22 May 2026 22:10:59 +0000

This claim is plain malicious. Of course falling asset prices would be excellent for the median person, since they would be less extremely priced out of everywhere. This is one of the central benefits of a wealth tax.

New comment by loglog in "A more efficient implementation of Shor's algorithm"

loglog — Thu, 14 May 2026 07:38:36 +0000

> For that kind of implementation, ...

This is the key point, what is the meaning of "zero knowledge" here? It seems that you need to know something about the implementation, even if it is not the full implementation. Compare this to a zero knowledge proof that you have, say, a factorization gadget, which works by you running the gadget on adversarial input, thus convincing the adversary that you can factor any of their integers. That discloses no implementation details of your factorization gadget, which can be an efficient classical algorithm, a quantum computer, or a phone line to God.

New comment by loglog in "If AI writes your code, why use Python?"

loglog — Tue, 12 May 2026 15:31:16 +0000

The list of tools that Pythonheads present as a definite solution to their problems changes every year, yet the results are still far behind Rust/Scala/Kotlin/C#.

New comment by loglog in "Poland is now among the 20 largest economies"

loglog — Sat, 09 May 2026 09:09:21 +0000

Surpassing DB's punctuality is the first large-scale example of the "Overtaking without catching up" East German slogan coming true.

New comment by loglog in "The Disappearance of the Public Bench"

loglog — Fri, 08 May 2026 20:07:11 +0000

The "fix everything" button is abolishing zoning laws, and its aggregate cost is negative. Aggregate cost is not the issue preventing problems from being solved.

New comment by loglog in "Mojo 1.0 Beta"

loglog — Fri, 08 May 2026 19:46:24 +0000

> on top of a well designed language constructed over past language design experience

While I believe that Chris Lattner is a great compiler designer, his language design record has been less stellar. Swift bidirectional type inference for instance feels like it was implemented because they had a compiler algorithm that they wanted to use, rather than a genuine need, and is just a completely avoidable problem. Trying to make a HPC language that is also Python compatible was doomed from the start. Hopefully the damage from going into this direction will remain limited.

New comment by loglog in "Mojo 1.0 Beta"

loglog — Fri, 08 May 2026 19:36:45 +0000

Mojo is NOT Python compatible (although they initially wanted it to be). So they got all downsides without the upsides.

New comment by loglog in "A more efficient implementation of Shor's algorithm"

loglog — Sun, 03 May 2026 13:26:53 +0000

How is it possible to provide a zero knowledge proof that their circuit works for large problem instances if there is no efficient way to run or simulate the circuit with the required instance size?

New comment by loglog in "“Why not just use Lean?”"

loglog — Mon, 27 Apr 2026 17:56:26 +0000

"I believe that almost anything that has been formalised today in any system could have been formalised in AUTOMATH. Its main drawbacks were its notation, which really was horrible, and its complete lack of automation. Proofs were long and unreadable." That's like saying that anything that could be programmed today in your modern language of choice could have been programmed 50 years ago in assembly. Technically yes, economically no.

New comment by loglog in "F-35 is built for the wrong war"

loglog — Mon, 20 Apr 2026 23:13:20 +0000

There are videos on the internet of drones being shot down with an assault rifle out of a 50 year old training plane, 1914 style.

New comment by loglog in "F-35 is built for the wrong war"

loglog — Mon, 20 Apr 2026 23:02:04 +0000

A Bundeswehr worth of equipment is so little nowadays that Bundeswehr itself lost several Bundeswehrs worth of equipment while being at peace for the last few decades.

New comment by loglog in "Why Japan has such good railways"

loglog — Sun, 19 Apr 2026 09:45:02 +0000

Americans are very comfortable with eminent domain, as long as it is applied to brown people.

New comment by loglog in "Why Japan has such good railways"

loglog — Sun, 19 Apr 2026 09:39:03 +0000

This makes sense, because parking a car does take a similar amount of space as a studio apartment.

New comment by loglog in "High-Level Rust: Getting 80% of the Benefits with 20% of the Pain"

loglog — Sun, 12 Apr 2026 08:22:35 +0000

1. Java is mentioned in their comparison table. They just don't use it much. 2. There is really no reason to include Java in the search for your preferred language, since Kotlin is strictly better along every relevant axis.

New comment by loglog in "Union types in C# 15"

loglog — Thu, 09 Apr 2026 20:11:22 +0000

That's a very low bar. Any language feels consistent compared to C++.

New comment by loglog in "Electrical transformer manufacturing is throttling the electrified future"

loglog — Sun, 05 Apr 2026 10:12:08 +0000

On a national scale, keeping a stock of transformers is peanuts. For this to be viable, they only need to be interchangeable, not identical.

New comment by loglog in "LinkedIn uses 2.4 GB RAM across two tabs"

loglog — Sun, 29 Mar 2026 19:04:40 +0000

I recommend to block the Linkedin feed with uBlock.

New comment by loglog in "You are not your job"

loglog — Sun, 22 Mar 2026 17:22:41 +0000

Traveling? Lake home? I am glad to go to work just to not listen to my wife how we are so poor and cannot have nice things.

New comment by loglog in "Tech employment now significantly worse than the 2008 or 2020 recessions"

loglog — Sat, 07 Mar 2026 10:41:01 +0000

> how many people here have actually worked at an early stage startup in a lead role

Obviously very few, because these roles are impossible to get into. What else did you expect?

New comment by loglog in "I verified my LinkedIn identity. Here's what I handed over"

loglog — Sat, 21 Feb 2026 16:37:00 +0000

Operator of the LinkedIn Website:

LinkedIn Ireland Unlimited Company Wilton Place, Dublin 2, Ireland