SkidanovAlex

5 ms·

1.
by SkidanovAlex 28d ago
It is the latter. If you are certain your theorem is stated correctly, and you believe that the Lean kernel against which you validate is correct, your proof is correct. This is how the theorem for FLT looks in the particular proof we discu
2.
by SkidanovAlex 6mo ago
Given your description, it is very likely that you actually only completed the act 1 of the game. The "jump scare" is not the end.
3.
by SkidanovAlex 1y ago
Isn't the first example (with the cartoon) in text mode?
4.
by SkidanovAlex 1y ago
The most important aspect of blockchain that is relevant here is that your counterparty half a world away and you both agree that you trust the state of this blockchain, and thus can transact on it. For business running the same code on the
5.
by SkidanovAlex 1y ago
MS Paint though is "either real or a Good Clone :)", because you can zoom to 12x by clicking one-pixel-wide line below 8x.
6.
by SkidanovAlex 2y ago
While I believe that the city should share the schema, and that the city is effectively argues for security through obscurity, I disagree with the main premise of the article: that knowing SQL schema doesn't help the attacker. If I und
7.
by SkidanovAlex 2y ago
Would help a lot if somewhere at the very top it explained what tree calculus is (may be extend the animation of the addition example to first show what the t is) It took me a while on the website to understand what it was all about. As it
8.
by SkidanovAlex 4y ago
There's an outstanding episode of Black Mirror called Crocodile, that explores this idea.
9.
by SkidanovAlex 4y ago
USS Calister is also a very good episode with the same premise.
10.
by SkidanovAlex 6y ago
Watch Black Mirror episode called Metalhead.
11.
by SkidanovAlex 6y ago
Who decides that the videos in Russia are factual, while the videos in the US are not?
12.
A vulnerability in Solana that allowed nodes accept arbitrary state as canonical(reading.supply)
2 points by SkidanovAlex 6y ago|0 comments
13.
by SkidanovAlex 7y ago
I'm the first author of the paper, happy to answer any questions
14.
by SkidanovAlex 8y ago
If anyone used both rust and go, are there any big advantages of go over rust (besides simplicity)?
15.
by SkidanovAlex 8y ago
Exactly. Similarly, Google quality is in big part due to invaluable information of what URLs were clicked for what queries. If duckduckgo had access to that information, their quality would've been way higher, and there's no reaso
16.
by SkidanovAlex 8y ago
The advise I give to all the YC companies is: prepare for the investor day as much as you prepare to the demo day. The investor day can save you a lot of time fundraising later if you close few people on the spot, so make sure to be ready f
17.
by SkidanovAlex 8y ago
Love the "into the ether" pun
18.
by SkidanovAlex 8y ago
Since there's no barrier to start a startup, there will always be companies at which the growth will be slow. A good startup with strong engineering team and fast shipping cycle will provide with way more learning opportunities than FA
19.
by SkidanovAlex 8y ago
While P(Russian|ICPC Winner) is high, P(ICPC Winner|Russian) is still pretty low :) Also, Illia is Ukrainian, not Russian, but it's nitpicking. ICPC is a great way to start your career if you were unfortunate enough to get born in a no
20.
by SkidanovAlex 8y ago
"unlikely to cover what you would have made if you joined Google instead." refers to what you would have made if you joined Google few years ago, not at its early days
21.
Dan Robinson with an Indepth Overview of Interledger Protocol [video](youtube.com)
3 points by SkidanovAlex 8y ago|0 comments
22.
by SkidanovAlex 8y ago
Congrats again on a stellar performance! My 2 cents: back in a day when I was going to Angelhacks frequently, we would show up early and go through all the sponsor booths. The idea was to find a sponsor that is relatively small (and thus re
23.
Tech Deep Dives with Ethereum, Cosmos, Solana, Ontology, Loom Network, Harmony(medium.com)
4 points by SkidanovAlex 8y ago|0 comments
24.
Justin Drake with Tech Deep Dive into Ethereum Serenity Design [video](youtube.com)
5 points by SkidanovAlex 8y ago|0 comments
25.
by SkidanovAlex 8y ago
You don't need to go to top 100. Two Bitcoin forks that are scams are in Top 10 right now.
26.
by SkidanovAlex 8y ago
That is somewhat similar to what Vlad Zamfir's sharding is doing ( https://medium.com/nearprotocol/so-what-exactly-is-vlads-sha... ) For a given transaction you'd only need to verify log(n) chains, but the prob
27.
by SkidanovAlex 8y ago
Alex from Near is here, the author of the post. Would be happy to answer any questions.
28.
The authoritative guide to Blockchain Sharding, part 1(medium.com)
4 points by SkidanovAlex 8y ago|0 comments
29.
So What Exactly Is Vlad Zamfir’s Blockchain Sharding PoC Doing?(medium.com)
4 points by SkidanovAlex 8y ago|1 comments
30.
by SkidanovAlex 8y ago
> To use SQL, even an in memory one, in such use case is not going to work. Have an index on the score and select with ORDER BY ... LIMIT?

More ›