rencrisa

7 ms·

1.
by rencrisa 1mo ago
It may be for this theorem there's a succinct description, but still needs to be checked carefully. However, there are others that are non-trivial.
2.
by rencrisa 1mo ago
Even beyond cheating with sorries or kernel bugs, the lean encoded theorems (or specifications) must be checked by humans to see if they truly mirror the real theorem authentically.
3.
by rencrisa 1mo ago
It seems that a lot of folks misunderstand the guarantees that lean provides. I just want to state that having "lean proofs" that build (checks) does not mean the actual real theorems we care about hold. Ignoring lean kernel bugs,
4.
by rencrisa 1mo ago
I just want to state that having "lean proofs" that build does not mean the actual real theorems we care about hold. Ultimately a human has to verify the lean encoded theorem statements that the lean proofs are checked against. Fo
5.
by rencrisa 1mo ago
It seems that a lot of folks misunderstand the guarantees that lean provides. I just want to state that having "lean proofs" that build (checks) does not mean the actual real theorems we care about hold. Ignoring lean kernel bugs,
6.
A Guided Tour of Apple Vision Pro [video](youtube.com)
4 points by rencrisa 3y ago|1 comments
7.
Blockbuster Alzheimer's paper retracted by former Stanford president(stanforddaily.com)
73 points by rencrisa 3y ago|136 comments
8.
An Easy, Fast, Open One-Handed Keyboard System(artsey.io)
2 points by rencrisa 3y ago|0 comments
9.
Faster than Rust and C++: the PERFECT hash table [video](youtube.com)
3 points by rencrisa 3y ago|0 comments
10.
The zero-knowledge attack of the year might just have happened(zksecurity.xyz)
5 points by rencrisa 3y ago|0 comments
11.
by rencrisa 4y ago
> nowadays all PhD students generally take something called “Responsible Conduct of Research” I think that is a broad generalization. I never had to take an ethics in research course as a PhD student. > falsifying data, plagiarism, ho
12.
Getting Hacked and the Future of the Channel(youtube.com)
1 points by rencrisa 4y ago|2 comments
13.
by rencrisa 4y ago
A video documenting a food youtuber's experience of getting ransomware, and trying to recover access to their accounts. TLDW: Know someone at Google, and they can fill out an internal form.
14.
by rencrisa 4y ago
AES256 is still secure, assuming the encryption key has ~256 bits of entropy (32 random bytes). Assuming your master password is reasonably complex, hopefully the encryption key derived from your password has enough entropy. Despite this, I
15.
by rencrisa 4y ago
@utopcell do you have a reference for incremental FFT? I'm not sure if I understand what your implying. Given a polynomial f(X), obtaining f's evaluations over the n-th roots of unity takes O(nlogn) using FFT. Are you stating that
16.
by rencrisa 4y ago
I am in a CS PhD at a top 10 institution, and I've had a great time in my lab. My advisor has a saying "You can never make me do something I'm not interested in!" Thus, I've personally never worked on anything I did