@yminsky
@HeapSmasher Our priority when building Docker for Mac (now Docker Desktop) was to make it feel transparent / like a native process even though Linux ran in a VM. Maybe this worked too well! I wrote about the history of our use of microVMs here: dave.recoil.org/docker-has-alw…View quoted post on X
developer.nvidia.com Accelerating Mamba-2 with High-Performance Forward Pass Kernels in NVIDIA CUDA Tile | NVIDIA... NVIDIA CUDA Tile (cuTile) is a Python-based DSL and parallel programming model for NVIDIA GPUs that automatically leverages advanced hardware capabilities to deliver peak performance for tile-level… Some news: I’m stoked to be joining the new Formal Methods team at Jane Street! Now is an amazing time for formal methods, with AI both empowering them and making them more necessary than ever. This is going to be fun!View quoted post on X
So the log_softmax bug arxiv.org/abs/2610.31642 that's been making the rounds. TorchLean also had the same problem (fixed in github.com/lean-dojo/Torc…). How come? This example is pretty illustrative of the proper mindset you need when working on formal verification. 🧵View quoted post on X
Inspired by oxcaml's zero_alloc, I've been working on a tool to help clamp down on heap allocations in Golang.
github.com/theconsensusla…View quoted post on X
