Viewing profile — joshlk

Some of the Lean proofs are 50k lines - is that normal?

What's a good reference to learn about Wavelet Matrices?

Asking a silly question… what piece of kernel code do you find the most awe-inspiring or impressive?

The top claim is that it's "Incredibly Fast" but I can't find any performance benchmarks. Can anyone find a link?

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.o…

Yes

Rust can be used in an embedded environment and also offers asynchronous execution built into the language

What your describing is social Darwinism, an argument used by fascist.

> [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.

What do you do in the summer when the homes don’t want the heat?

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 compu…

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 metr…

According to Stackoverflow trends, Julia’s popularity is decreasing and very small https://trends.stackoverflow.co/?tags=julia

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…

Other than bandwidth, is there any other performance differences between Cloudflare and GitHub Pages?

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 t…

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.

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.

I’m not sure this holds as true if it’s the same team creating both implementations.

I found the advertisements the most interesting bit