HackerTrans
トップ新着トレンドコメント過去質問紹介求人

sword_smith

no profile record

投稿

[untitled]

1 ポイント·投稿者 sword_smith·3 年前·0 コメント

[untitled]

1 ポイント·投稿者 sword_smith·3 年前·0 コメント

[untitled]

1 ポイント·投稿者 sword_smith·3 年前·0 コメント

Rust fails to create branch-free code

github.com
2 ポイント·投稿者 sword_smith·4 年前·0 コメント

[untitled]

1 ポイント·投稿者 sword_smith·4 年前·0 コメント

Speeding up STARK provers with multicircuits

neptune.cash
7 ポイント·投稿者 sword_smith·4 年前·1 コメント

A STARK prover for Brainfuck

aszepieniec.github.io
2 ポイント·投稿者 sword_smith·4 年前·1 コメント

In Defense of Proof of Work

neptune.cash
15 ポイント·投稿者 sword_smith·4 年前·24 コメント

Minimizing Storage Using Merkle Mountain Ranges

neptune.cash
7 ポイント·投稿者 sword_smith·4 年前·1 コメント

コメント

sword_smith
·25 日前·議論
"anarcho-tyranny"
sword_smith
·25 日前·議論
Your obfuscation carries no argumentative weight, as the uncertainty your obfuscation attempts to introduce might as well be used in the reverse: maybe the guy who made the original threat (that was not prosecuted) had a criminal record involving violent crimes whereas Lars' text obviously should be taken in the political, non-violent, activist context that is his modus operandi.
sword_smith
·25 日前·議論
Sure. If you accept that we give up on equality before the law, one might be prosecutable and the other not.

Some of us prefer not to give up on that though.
sword_smith
·25 日前·議論
Corruption is defined as "the abuse of entrusted power for private (usually financial) gain". Lars' case falls under the category of conscientious objection, as he's ideologically motivated. Pretty disgusting to frame that as corruption.
sword_smith
·25 日前·議論
That same prime minister supports the warrant-less use of medical records in police work and the ban of encryption through chat control. She wants to prevent the Danish population from having privacy, but demands it herself. Sorry, but that's not the Western way.
sword_smith
·25 日前·議論
Lars is good at exposing the hypocrisy of the Danish government. In a former case he, sent the exact same threatening text to a prosecutor as that prosecutor had received a police report from a third party about, and that the prosecutor refused to pursue. Lars got jail time for that. Rules for thee but not for me.
sword_smith
·25 日前·議論
Lars was a corrupt cop? Are you just using "corrupt" to mean "someone I don't like"?
sword_smith
·2 年前·議論
the user "erk__" from this forum managed to get a copy: https://user.fm/files/v2-5bf26ed8f02e4cac68357e4ed895b3fc/Sl...
sword_smith
·3 年前·議論
See-through blockchain's biggest problem might be that their coins are not fungible, as their history affect their current value. A protocol solution to this problem is to make their history opaque.
sword_smith
·3 年前·議論
Bitcoin's conception was immaculate and new blockchain projects can't hope to match that, yet alone beat it. But Bitcoin can be challenged on technical aspect. We identify four properties that Bitcoin is lacking:

- throughput scalability (is being fixed) - programmability (could be fixed) - privacy (could be fixed) - post-quantum security (can't be fixed)
sword_smith
·4 年前·議論
Afraid of superintelligent AIs gone rogue? Let's start wargaming!
sword_smith
·4 年前·議論
You might want to generate this code with the latest trick for evaluating multivariate polynomials: https://news.ycombinator.com/item?id=33740808
sword_smith
·4 年前·議論
Making a STARK prover fast enough to be feasible requires multiple algorithmical tricks. This article showcases the latest algorithm that was implemented as a part of speeding up Triton VM.
sword_smith
·4 年前·議論
Nice. I helped write the original Python implementation, so thanks for building this. STARK proof generation is definitely a good candidate for GPU acceleration.
sword_smith
·4 年前·議論
Or maybe somewhat similar to biological evolution: competition and cooperation.
sword_smith
·4 年前·議論
With a STARK prover the correct execution of a program can be validated in sub-linear time, faster than it would take to re-run the program.
sword_smith
·4 年前·議論
Worth noting is that this solution does not constrain the memory value of the last execution trace if the execution trace ends with a `>` or a `<`. Since this value cannot be output, you could argue that that's OK.

Building sound and complete STARKs are really an intricate affair! I have no doubt that we'll eventually get there though!
sword_smith
·4 年前·議論
Unfortunately this can add some overhead to the memory table though. I wonder if there's a better solution than the one proposed here. Not that it matters for Brainfuck too much, as it's a toy language, but it would be very relevant for bigger STARK VMs.
sword_smith
·4 年前·議論
> Ignore it -> Adjust existing systems -> Store it -> Use it for mining

That's just, like, your opinion, man.
sword_smith
·4 年前·議論
The current US inflation rate is 8.5 %. In Argentina its 55.1 %. Since the founding of the Federal Reserve in 1913, the dollar has lost 97-98 % of its value. How's that trust working out for you?