Haskell, 范畴论, λ, Distributed Systems, Formal Methods

Poland
Joined February 2009
"I'm no royalist but your 84 seconds of interaction did more to humanise Charles than anything I've watched on TV over many decades." youtube.com/watch?v=QABiQFWw…
1
1
204
LOL @lexi_lambda, I'm arguing (sic!) with Claude about how ridiculously stupid function it has written in Go, and this just happened: I have not mentioned you once in that conversation.
1
2
13
5,709
And now Claude is trying to gaslight me into thinking this is actually a good idea.
183
Two months ago, I did a presentation "From Micrograd to coppergrad: Building Neural Networks and Backpropagation from Scratch in Rust" A bit of math, a bit of machine learning, a bit of Rust. Enjoy! youtube.com/watch?v=IeLcBXaI…
3
42
2,683
Poland Math Stronk
Physicist has written a fascinating big beautiful paper.Let’s not be afraid to call it what it is - groundbreaking. For hundreds of years, mathematics had dozens of “basic” functions: sine, cosine, logarithm, square root, exponential. You know these from school. Everyone does. Now it turns out that all of it is one single operator: E(x, y) = exp(x) - ln(y), and the constant 1. Sin, cos, π - everything follows from this neatly , just nest it properly. Nature hid the simplest possible description of reality. And it was just been found. The whole thing is beautiful and remarkable, here the word “groundbreaking” is not a marketing buzzword. For instance, instead of writing π or 3.14, one can now elegantly write E(E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(E(E(E(1,E(E(1,E(1,E(E(1,E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(E(1,E(E(1,1),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1)),1))),1)),1)),1)),1))),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1))),1))),1)),1)),1)),1),1),1))),1))),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1))),1))),1)),1)),1)),1) arxiv.org/abs/2603.21852
3
335
Cooking @karpathy's iconic "The spelled-out intro to neural networks and backpropagation" in *Rust* for @rustikonconf
1
6
636
I've published qrcode-generator-evcxr, which allows you to display QR codes as SVG images in Jupyter notebooks via the evcxr Rust kernel. crates.io/crates/qrcode-gene…
168
rustyjupyter - Nix flake template for a Jupyter Lab environment with a Rust kernel. Create Jupyter notebooks with Rust code snippets! github.com/EncodePanda/rusty…
1
154
ALLOCATOR SELECTION AND ITS IMPACT ON MEMORY FOOTPRINT [The Svix blog] <svix.com/blog/heap-fragmenta…> [The Kerkour article] <kerkour.com/rust-jemalloc> [The Magiroux post] <magiroux.com/rust-jemalloc-p…> [The PWY post] <pwy.io/posts/mimalloc-cigare…>
1
213
Demo project showing how to add observability to a Rust API using OpenTelemetry, Jaeger, Prometheus, and Grafana. github.com/EncodePanda/rust-… README generated with LLM ... 😅
1
1
362