curling_grad

5 ms·

1.
by curling_grad 2y ago
They are running on Google's Nest Hub devices[0], so I guess this counts as a release? [0] https://www.theverge.com/2021/8/18/22630245/google-fuchsia-o...
2.
by curling_grad 2y ago
I'd assume that the value intended for public exponent is used as private key exponent. Typically, public key exponent is very small compared to private key exponent. This means that the private key exponent is very small in their sche
3.
by curling_grad 2y ago
Standard ciphers such as AES and SHA comes into my mind. Some processors even have dedicated hardware instructions speed up computations for such ciphers.
4.
Butterick's Practical Typography(practicaltypography.com)
12 points by curling_grad 2y ago|1 comments
5.
Monocle: Optics Library for Scala(optics.dev)
106 points by curling_grad 2y ago|69 comments
6.
What is the Strict Aliasing Rule and Why do we care?(gist.github.com)
1 points by curling_grad 2y ago|0 comments
7.
RepoQL: A Python library designed for querying Git repositories(github.com)
1 points by curling_grad 3y ago|0 comments
8.
by curling_grad 3y ago
LLVM's Kaleidoscope tutorial[0] is a nice starting point. [0]: https://llvm.org/docs/tutorial/
9.
by curling_grad 3y ago
> Metal on Windows would not help much because the GPU hardware is what's different. Apple shipped Intel Macs with Intel/AMD GPUs until quite recently, so hardware might not matter significantly.
10.
by curling_grad 3y ago
Actually, OpenAI did a research[0] on solving some hard math problems by integrating language model and Lean theorem prover some time ago. [0]: https://openai.com/research/formal-math
11.
IWYU: A tool for use with Clang to analyze includes in C and C++ source files(include-what-you-use.org)
3 points by curling_grad 3y ago|0 comments
12.
Csmith, a random generator of C programs(github.com)
2 points by curling_grad 3y ago|0 comments
13.
Smashing the state machine: the true potential of web race conditions(portswigger.net)
8 points by curling_grad 3y ago|0 comments
14.
by curling_grad 3y ago
> I am not sure that the runtime efficiency of the compiler binary is that important. If the compiler is for JIT, then efficiency will be important.
15.
Bazel Mystery: an interactive way to learn Bazel(github.com)
2 points by curling_grad 3y ago|0 comments
16.
Video tutorials for the Coq proof assistant(math.andrej.com)
5 points by curling_grad 3y ago|0 comments
17.
Dynamic Languages Strike Back (2008)(steve-yegge.blogspot.com)
47 points by curling_grad 3y ago|45 comments
18.
by curling_grad 3y ago
I think WASM will be the mainstream for frontend before that happens... But you never can't predict the future!
19.
by curling_grad 3y ago
If I remember correctly, the chips in D-Wave machines are for specific problems (optimization problems mostly), so it seems very unlikely they can run the quantum circuits proposed in the article.
20.
by curling_grad 3y ago
Kind of irony that there is no Korean language option...
21.
Why don't we define “imaginary” numbers for every “impossibility”? (2012)(math.stackexchange.com)
116 points by curling_grad 3y ago|94 comments
22.
HabitLab: Change Your Online Habits(habitlab.github.io)
1 points by curling_grad 3y ago|0 comments
23.
Penrose: Create beautiful diagrams just by typing math notation in plain text(penrose.cs.cmu.edu)
3 points by curling_grad 3y ago|0 comments
24.
Principal component analysis can negatively impact science(deeplearning.ai)
1 points by curling_grad 4y ago|1 comments
25.
SVG Viewing and Diffing in GitHub (2014)(github.blog)
1 points by curling_grad 4y ago|0 comments
26.
After SLS, what is the next rocket building project for NASA?(space.stackexchange.com)
2 points by curling_grad 4y ago|0 comments
27.
See No Eval: Runtime Dynamic Code Execution in Objective-C (2021)(codecolor.ist)
2 points by curling_grad 4y ago|0 comments
28.
Game of Low Latency(jabperf.com)
2 points by curling_grad 4y ago|0 comments
29.
Chimera at FOSDEM 2023 and the path towards alpha(chimera-linux.org)
2 points by curling_grad 4y ago|0 comments
30.
Chimera Linux(chimera-linux.org)
3 points by curling_grad 4y ago|0 comments

More ›