krcz

8 ms·

31.
by krcz 6y ago
I liked this PDF that starts with using modular arithmetic to prove knowledge of polynomial, using bilinear EC pairings to make it self and then, finally, encoding computations as polynomials: https://arxiv.org/pdf/1906
32.
by krcz 6y ago
The more randomness, the more information bits you need to encode the observed outcome. But I can see where your dissonance comes from: you probably parsed "information" as "information I already have about the system",
33.
by krcz 6y ago
I don't think that's going to happen and I hope that's not going to happen. DOM provides good abstraction of UI elements, which helps with accessibility, scrolling behaviour with the same feel as OS, standard text utils like
34.
by krcz 6y ago
While there is no direct equivalent, kujon seem to be pretty similar. (For non-Polish people, kujon is a derogative term for someone having good grades, coming with a stereotype that such person spends all their time learning, not doing any
35.
by krcz 6y ago
It is not COVID tracking specific, is it? So no change here either, I guess. And it seems you can turn it off as well: https://news.ycombinator.com/item?id=22856030 , first comment.
36.
by krcz 6y ago
While it is important to keep Apple and Google under scrutiny and demand transparency, this blogpost is mostly FUD based on silent assumptions contradicting descriptions of the protocol and implementation. > ensuring that all users of a
37.
by krcz 6y ago
Sure: * TON blog: https://ton-telegram.net/news/telegram-and-sec-asked-to-spee... * nice summary of how US securities law affected TON (from October 2019): https://davidgerard.co.uk/blockchain/2019
38.
by krcz 6y ago
Telegram was on a good path to become WeChat replacement, with its Telegram Open Network blockchain an Gram cryptocurrency coming and plans to add wide range of services including decentralized storage, web pages and payment channels. But n
39.
by krcz 7y ago
Why wouldn't it? Phones used to be trackable based on WiFi MAC address, now it is randomized. General drive is towards avoiding tracking, I don't see any reason why would it change.
40.
by krcz 7y ago
You need just one key per day, 15-minutes ids can be generated based on this. Bloom filter might be still useful though.
41.
by krcz 7y ago
> So first obvious caveat is that this is "private" (or at least not worse than BTLE), until the moment you test positive. > At that point all of your BTLE mac addrs over the previous period become linkable. Linkable over
42.
by krcz 7y ago
Don't these providers need to be registered somewhere? It should be easy to reach them and provide with either code generator software or even printed one-time codes for database addition.
43.
by krcz 7y ago
You can use changing IDs and publish ID history (or ID generator seed) for confirmed cases.
44.
by krcz 7y ago
Just extrapolation of the trend from plot my friend has prepared: https://covid.matemaciek.com/ - I won't be surprised if the number of confirmed cases in the USA reaches 300k in a week and overtakes cumulative number
45.
by krcz 7y ago
The USA started later and seems to have quicker growth rate. There is still time to catch up.
46.
by krcz 7y ago
It's about anchoring your knowledge/trust. If you start with zero data, you're saying that it's enough to just fetch that record. How to do that? You need to query full nodes specifically for the block that contains your
47.
by krcz 7y ago
But in order to prove that to someone that doesn't have full history, they would have to synchronize it, by downloading all the data and verifying all the transitions. With Merkle tree (identified with its root hash, just as blockchain
48.
by krcz 7y ago
The clue is in "all transitions" part. If you have n blocks adding values, you have to verify O(n) blocks on average to check, that the value is in the chain leading to the current head. With Merkle tree you just need a path from
49.
by krcz 7y ago
You still need one hash for every non-leaf node, so 30-40 hashes of 256 bits each. What this algorithm saves is 30-40 indices, which is 11 bits each for a 1000-leaf tree. Even aligning to 16 bits it's doesn't seem a great optimiza
50.
by krcz 7y ago
My two cents: 1. That seems to work for complete binary Merkle trees only. 2. Authors mention "significantly reducing the size of multiproofs" while not providing any data. Assuming using 256-bit hashes, a tree with 2^63 leafs wou
51.
by krcz 7y ago
But in order to make it work you would need all the programs to start using the CLR. It's all of nothing. And if one of languages stops being supported - e.g. not receiving bindings for new libraries - you need to rewrite whole codebas
52.
by krcz 7y ago
Thank you, Haxe definitely has its place on my list of things to check. What worries me however is that there are no examples of output code on their webpage.
53.
by krcz 7y ago
That might not be easy, for the same reason you can easily transform vector graphics into raster one but not the other way around or output of decompilers doesn't look nice: you are losing information during the translation process. Yo
54.
by krcz 7y ago
On the other hand most spoken languages use similar underlying concepts (with some exceptions, e.g. translation to language without subjective direction terms like "left" or "right" might be tricky). Programming language
55.
by krcz 7y ago
While it seems that their transpiler supports just simple JSON-like expressions with support for constructors for non-native literals (like big integers) and I don't think it could generalize into arbitrary code translation, I still ap
56.
by krcz 7y ago
I have something similar in mind: I want to have homoiconicity but with typed data underneath (instead of just untyped lists) in order to add some structure and let compiler help you with macros. That plus advanced type system with gradual
57.
by krcz 7y ago
Spark uses off heap memory via JNI in order to avoid JVM memory management drawbacks. It hides it behind a heavy abstraction, which makes it plausible to use such solution for data processing pipelines, for the smaller applications not so m
58.
by krcz 7y ago
Game Theory can bring some understanding here: the situation is similar to the Prisoner's dilemma [1]. If no one reduces emissions, everyone will suffer high costs. If everyone reduces emissions, no additional costs appear. But if ever
59.
by krcz 7y ago
I'm wondering how much could be gained if one used all possible optimizations: e.g. by analyzing the data flow graph - expressed using DSL - and generating native node programs, using CPU thread pinning and user space network stack (li
60.
by krcz 7y ago
It's worth to point that "3% probability we're just seeing a pattern by accident" is only right when you understand it as "in the world here our hypothesis is wrong the same experiment would give such pattern in 3%

More ›