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

Poland
Based in Poland
Filter
Exclude
Time range
-
Minimum likes
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,315
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,681
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
333
OMG my new favorite channel! piped.video/@computablesecre… Just watch @computablesecrets amazing videos about computability and complexity!
3
398
I want to speak & read Mandarin. I’m willing to invest meaningfully to do it efficiently. What are the best options?
1
2
296
The cognitive dissonance - when you use Cloude Code daily, but refuse to try an open source product with .cloude in it🤷‍♂️ Because it's great when you use it, and shit when others do. Apparently, quality changes with ownership.
2
680
Blog post, video or did not happen :)
2
19
LOL. 8 min to my talk at @rustikonconf. I Just got a warning from my watch "Heart beat increased from your usual 65bpm to 135bpm". Crap. 😅
1
7
288
Wait, wait. What now? @rasbt have you seen this?
Holy shit... Microsoft open sourced an inference framework that runs a 100B parameter LLM on a single CPU. It's called BitNet. And it does what was supposed to be impossible. No GPU. No cloud. No $10K hardware setup. Just your laptop running a 100-billion parameter model at human reading speed. Here's how it works: Every other LLM stores weights in 32-bit or 16-bit floats. BitNet uses 1.58 bits. Weights are ternary just -1, 0, or +1. That's it. No floats. No expensive matrix math. Pure integer operations your CPU was already built for. The result: - 100B model runs on a single CPU at 5-7 tokens/second - 2.37x to 6.17x faster than llama.cpp on x86 - 82% lower energy consumption on x86 CPUs - 1.37x to 5.07x speedup on ARM (your MacBook) - Memory drops by 16-32x vs full-precision models The wildest part: Accuracy barely moves. BitNet b1.58 2B4T their flagship model was trained on 4 trillion tokens and benchmarks competitively against full-precision models of the same size. The quantization isn't destroying quality. It's just removing the bloat. What this actually means: - Run AI completely offline. Your data never leaves your machine - Deploy LLMs on phones, IoT devices, edge hardware - No more cloud API bills for inference - AI in regions with no reliable internet The model supports ARM and x86. Works on your MacBook, your Linux box, your Windows machine. 27.4K GitHub stars. 2.2K forks. Built by Microsoft Research. 100% Open Source. MIT License
1
1
13
4,178
Evaluation just dropped by one million.
Unison now has null pointers, so it's officially enterprise-ready share.unison-lang.org/@uniso…
4
684
Cooking @karpathy's iconic "The spelled-out intro to neural networks and backpropagation" in *Rust* for @rustikonconf
1
6
636
Replying to @AirbnbHelp
"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
Platonic is superb
Platonic is amazing. Come work with us on your next project. #haskell #AI #Screenplay #Novel
1
3
291
Replying to @EncodePanda @Airbnb
Does it mean that each time I'm using your service I have to photograph every corner of the apartment just in case owner makes false accusations and you just believe them blindly? Because if that's the case, I'm going to use a hotel next time.
7
5
387
Replying to @EncodePanda @Airbnb
The guy clearly tries to scam for money! * I reject * He reaches out to you * You ask me to pay * I appeal Your response "After carefully reviewing the evidence, we're upholding our decision to charge you for damage. Reason: we're upholding our decision to charge you"
3
3
397
Hey @Airbnb, question: * we arrived, apartment is freezingly cold * owner was "sorry, forgot to turn on heating" * we slept in full clothes (little kids not happy) * next day owner claims destroyed property (shower handle - and asks for $25)
1
2
699
How can you short a country?
Be me, Dutch investor Netherlands approved 36% unrealized gains tax WTF does that even mean Put $1,000 into stocks Year 1: • Stock goes to $2,000 • Government: "you made $1,000, pay $360 cash tax" • MFW I didn't sell anything • Forced to sell shares to pay • Everyone else forced to sell too • Mass panic selling • Stock crashes to $800 • I have $440 left after paying tax Year 2: • Stock recovers to $1,200 • Government: "you made $400, pay $144" • Forced selling again • Price drops to $900 • I have $756 left Year 3: • Stock at $1,000 • Government: "you made $100, pay $36"​ • Smart money has fled Netherlands • I have $964 in stock • MFW I paid $540 in taxes • MFW stock is back where it started (0% gain) • MFW I only have $460 left • Lost 54% on a stock that broke even MFW the government made more money off my investment than I did Government: "Thanks for the $540! 😊"
2
8
617
But can the author reverse a binary tree?
A drop-in, 5-20x faster, Rust-based experimental Homebrew alternative github.com/lucasgelfond/zero…
2
5
1,334
I was introduced to this article back in 2020 by a colleague. I've ignored it at a time. Boy, was that a mistake. It's such a marble! The intro itself is worth reading, even if you don't care about Rust at all. Highly recommend read. rust-unofficial.github.io/to…
1
12
136
11,666