Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Poland
- Tweets 7,699
- Following 668
- Followers 2,884
- Likes 5,968
"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."
piped.video/watch?v=QABiQFWw…
1
1
202
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
12
5,324
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!
piped.video/watch?v=IeLcBXaI…
3
42
2,682
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
"Careful review" 🫠
If ever using Airbnb, record the whole place the moment you enter apartment.
The owner can claim you destroyed the place, and @Airbnb does nothing to got your back (even if you are their long - time user).
Truely disappointed.
8
31
My daughter has an English vocab exam soon.
Instead of flashcards, I built her a small terminal app.
Rust + ratatui.
Clean TUI, zero distractions.
Not a "startup idea" - just software solving a real problem.
Still one of the most satisfying ways to code.
Rust keeps delivering.
2
13
854
If you are in your 30s or 40s and you are now paying for YouTube Premium, Spotify Premium, Claude, OpenApi, Netflix... Pay the freaking license for WinRar you've used in the 90s!
Now is the time!
10
977
My "Choreographing Distributed Systems: A Functional Approach" is already online!
piped.video/EVtl67Ni1Ms?si=0CMv…
1
10
697
I gave talk today at @LambdaDays "Choreographing Distributed Systems: A Functional Approach"
This was fun!
2
26
798
"What Every Programmer Should Know about How CPUs Work" by @mattgodbolt
piped.video/-HNpim5x-IE?si=LAZi…
2
355
"Strongly Typed Financial Software" by @snoyberg at @rustikonconf
I was really looking forward to this!
piped.video/watch?v=WcpoVSeJ…
1
5
33
1,337
It is a joke with the longest setup in history, crafted by the Stanford Artificial Intelligence Lab in 1970.
1
3
214
This image haunts me till this day. Thumbs up, simlies, a notion of a success... Almost as if they've invented something...
This picture was taken in May 2024, the day the European Council approved the final version of the European Union’s AI Act.
You can feel that they believe they've actually created something. That they brought value. Imagine living with such delusion.🤦
1
1
241
The "'Seeing Like a Programmer' – Resiliency, Limits, And Moral Hazards In Software Engineering" by @chriskrycho should have been a keynote at @lambda_conf
The proof of that is in the conversation happening right now after his talk!
Bravo Chris!
1
3
12
1,096
@AirCanada are we gonna fly around the whole globe to finally once and for all disprove flat earth conspiracy or what's going on?
Do we even have enough fuel for a 22h consistent flight? 😂
1
111
This is an uncanny valley on a brand new level piped.video/watch?v=29ECwExc…
1
329
No matter what I do, this little town in the mountains always finds a way to hunt me down. Even when I'm reading a freaking book about self-improvement. Should I just move? 🙃
2
8
920
