HackerTrans
TopNewTrendsCommentsPastAskShowJobs

sword_smith

no profile record

Submissions

[untitled]

1 points·by sword_smith·3 years ago·0 comments

[untitled]

1 points·by sword_smith·3 years ago·0 comments

[untitled]

1 points·by sword_smith·3 years ago·0 comments

Rust fails to create branch-free code

github.com
2 points·by sword_smith·4 years ago·0 comments

[untitled]

1 points·by sword_smith·4 years ago·0 comments

Speeding up STARK provers with multicircuits

neptune.cash
7 points·by sword_smith·4 years ago·1 comments

A STARK prover for Brainfuck

aszepieniec.github.io
2 points·by sword_smith·4 years ago·1 comments

In Defense of Proof of Work

neptune.cash
15 points·by sword_smith·4 years ago·24 comments

Minimizing Storage Using Merkle Mountain Ranges

neptune.cash
7 points·by sword_smith·4 years ago·1 comments

comments

sword_smith
·25 days ago·discuss
"anarcho-tyranny"
sword_smith
·25 days ago·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
·25 days ago·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
·25 days ago·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
·25 days ago·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
·25 days ago·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
·25 days ago·discuss
Lars was a corrupt cop? Are you just using "corrupt" to mean "someone I don't like"?
sword_smith
·2 years ago·discuss
the user "erk__" from this forum managed to get a copy: https://user.fm/files/v2-5bf26ed8f02e4cac68357e4ed895b3fc/Sl...
sword_smith
·3 years ago·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
·3 years ago·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
·4 years ago·discuss
Afraid of superintelligent AIs gone rogue? Let's start wargaming!
sword_smith
·4 years ago·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
·4 years ago·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
·4 years ago·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
·4 years ago·discuss
Or maybe somewhat similar to biological evolution: competition and cooperation.
sword_smith
·4 years ago·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
·4 years ago·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
·4 years ago·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
·4 years ago·discuss
> Ignore it -> Adjust existing systems -> Store it -> Use it for mining

That's just, like, your opinion, man.
sword_smith
·4 years ago·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?