HackerTrans
TopNewTrendsCommentsPastAskShowJobs

sword_smith

no profile record

Submissions

[untitled]

1 points·by sword_smith·il y a 3 ans·0 comments

[untitled]

1 points·by sword_smith·il y a 3 ans·0 comments

[untitled]

1 points·by sword_smith·il y a 3 ans·0 comments

Rust fails to create branch-free code

github.com
2 points·by sword_smith·il y a 4 ans·0 comments

[untitled]

1 points·by sword_smith·il y a 4 ans·0 comments

Speeding up STARK provers with multicircuits

neptune.cash
7 points·by sword_smith·il y a 4 ans·1 comments

A STARK prover for Brainfuck

aszepieniec.github.io
2 points·by sword_smith·il y a 4 ans·1 comments

In Defense of Proof of Work

neptune.cash
15 points·by sword_smith·il y a 4 ans·24 comments

Minimizing Storage Using Merkle Mountain Ranges

neptune.cash
7 points·by sword_smith·il y a 4 ans·1 comments

comments

sword_smith
·il y a 25 jours·discuss
"anarcho-tyranny"
sword_smith
·il y a 25 jours·discuss
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
·il y a 25 jours·discuss
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
·il y a 25 jours·discuss
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
·il y a 25 jours·discuss
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
·il y a 25 jours·discuss
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
·il y a 25 jours·discuss
Lars was a corrupt cop? Are you just using "corrupt" to mean "someone I don't like"?
sword_smith
·il y a 2 ans·discuss
the user "erk__" from this forum managed to get a copy: https://user.fm/files/v2-5bf26ed8f02e4cac68357e4ed895b3fc/Sl...
sword_smith
·il y a 3 ans·discuss
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
·il y a 3 ans·discuss
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
·il y a 4 ans·discuss
Afraid of superintelligent AIs gone rogue? Let's start wargaming!
sword_smith
·il y a 4 ans·discuss
You might want to generate this code with the latest trick for evaluating multivariate polynomials: https://news.ycombinator.com/item?id=33740808
sword_smith
·il y a 4 ans·discuss
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
·il y a 4 ans·discuss
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
·il y a 4 ans·discuss
Or maybe somewhat similar to biological evolution: competition and cooperation.
sword_smith
·il y a 4 ans·discuss
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
·il y a 4 ans·discuss
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
·il y a 4 ans·discuss
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
·il y a 4 ans·discuss
> Ignore it -> Adjust existing systems -> Store it -> Use it for mining

That's just, like, your opinion, man.
sword_smith
·il y a 4 ans·discuss
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?