joshlk

7 ms·

1.
by joshlk 2mo ago
Some of the Lean proofs are 50k lines - is that normal?
2.
Interactive KL Divergence Visualisation(robotchinwag.com)
1 points by joshlk 4mo ago|0 comments
3.
by joshlk 9mo ago
What's a good reference to learn about Wavelet Matrices?
4.
by joshlk 10mo ago
Asking a silly question… what piece of kernel code do you find the most awe-inspiring or impressive?
5.
by joshlk 10mo ago
The top claim is that it's "Incredibly Fast" but I can't find any performance benchmarks. Can anyone find a link?
6.
by joshlk 11mo ago
R-Trees are a good data structure to use in this case, enabling you to query a collection of intervals for overlap with another in O(log(n)) time. Wikipedia: https://en.wikipedia.org/wiki/R-tree
7.
by joshlk 1y ago
Yes
8.
by joshlk 1y ago
Rust can be used in an embedded environment and also offers asynchronous execution built into the language
9.
by joshlk 1y ago
What your describing is social Darwinism, an argument used by fascist.
10.
by joshlk 1y ago
> [numpy] stores everything in rows This isn't true. Pandas uses Numpy to store columns of data. Theres quite a few technical errors in the article.
11.
by joshlk 1y ago
What do you do in the summer when the homes don’t want the heat?
12.
by joshlk 2y ago
When using low precision formats like float8 you usually have to upscale the activations to BF16 before normalising. So the normalisation layers are proportionally using more compute when going to lower precision. Replacing these layers wou
13.
by joshlk 2y ago
It measures the proportion of questions for that language out of all languages. So, if there is a general decline in Stackoverflow questions, it’s already accounted for in the metric
14.
by joshlk 2y ago
According to Stackoverflow trends, Julia’s popularity is decreasing and very small https://trends.stackoverflow.co/?tags=julia
15.
by joshlk 2y ago
Can you use to launch an Intel VM on Apple Silicone and visa versa? I’m interested in doing this so I can compile C++ applications for different architectures on MacOS. Do you know of any other “easy” methods?
16.
by joshlk 2y ago
Other than bandwidth, is there any other performance differences between Cloudflare and GitHub Pages?
17.
by joshlk 2y ago
Tensors used in deep learning are not the same as the definition used by Physicists - blame the DL community for this :). So DL tensors are just N-dimensional arrays of data, and there is no concept of covariance and contravariance of the d
18.
by joshlk 2y ago
Warp is great - I use it as my daily terminal. The best features are being able to edit commands, chunking the output into blocks and AI generated commands at your fingertips.
19.
Gradients of Matrix Multiplicaiton in Deep Learning(robotchinwag.com)
1 points by joshlk 2y ago|0 comments
20.
Exploiting Attacks on 1Password Mac(youtube.com)
2 points by joshlk 2y ago|0 comments
21.
by joshlk 2y ago
Would it be possible to move all the language developers to work on packaging? IMO the Python language is feature complete but the packaging system needs heart surgery.
22.
by joshlk 2y ago
I’m not sure this holds as true if it’s the same team creating both implementations.
23.
by joshlk 2y ago
I found the advertisements the most interesting bit
24.
How 2>&1 and file descriptors works(sebastianmarines.com)
2 points by joshlk 2y ago|0 comments
25.
by joshlk 2y ago
> I have never met a scientist who can resist the lure of fast-but-dangerous math This made me chuckle
26.
by joshlk 2y ago
Is this analogous to the Python 2 to 3 jump?
27.
by joshlk 2y ago
Why the large jump from Java 8 to 17?
28.
by joshlk 2y ago
That was fun. On another note, I dislike how “Zero-Knowledge Proofs” are called proofs. It’s not a proof. You iteratively increase your belief that the result is true, like in experimentation, but that’s not a proof.
29.
Demystifying Tensor Model Parallelism(robotchinwag.com)
2 points by joshlk 2y ago|0 comments
30.
The Tensor Calculus You Need for Deep Learning(robotchinwag.com)
3 points by joshlk 2y ago|0 comments

More ›