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

Poland
/s/rabbitonweb/EncodePanda
6
9
Paweł Szulc retweeted
The 1995 cult film "Hackers" was released 31 years ago today. HackersDay.com #Hackers #HackersDay #HackersMovie #HackThePlanet
88
469
1,882
90,923
Hey, Claude, what's 2+2? Two separate questions hide in that one, and the second is the interesting one.
1
1
252
Bro casually walks and explains 5 GPU performance optimization methods for LLMs. one of the most simple and intuitive explanations for beginners.
Md Ismail Šojal 🕷️
40
388
4,816
296,631
This is an outstanding talk by Scott Meyers on hardware and CPU caches ..
YOUR CODE ISN'T SLOW BECAUSE OF YOUR ALGORITHM, IT'S SLOW BECAUSE OF A TINY CHUNK OF MEMORY YOU'VE NEVER ONCE THOUGHT ABOUT AND THIS MAN PROVES IT WITH TWO PROGRAMS THAT DO THE EXACT SAME WORK, WHERE ONE IS MASSIVELY FASTER 76 minutes from Scott Meyers -- the C++ authority whose "Effective C++" books a whole generation of engineers learned from. -> His point: the CPU is not waiting on math. It's waiting on memory. And it's starving far more often than you think. The cache is a scrap of ultra-fast memory near the core. Hit it and you fly. Miss it and the whole chip stalls, doing nothing, for what feels like forever. He shows the same loop, same data, just walked in a different order. One layout stays in cache. The other keeps missing. The gap is not small -- it's brutal. The kicker: your language, your fancy abstractions, none of it hides this. A "clean" data structure that scatters memory quietly wastes most of your machine. And it's the AI era's hidden tax too. Everyone rents oceans of compute, then leaves most of it stalled on cache misses nobody profiles. You thought fast code was about picking the right algorithm. This is the man showing it's really about how your data sits in memory. Save this. You'll never lay out a struct the same way ↓
2
9
204
17,283
Paweł Szulc retweeted
Watch git diff while the code is changing! 🤯 👁️ livediff — A real-time diff viewer for the terminal 💯 Watch file changes live as generators, formatters, migrations & refactors modify your code 🦀 Written in Rust & built with @ratatui_rs ⭐ GitHub: github.com/SoCkEt7/Livediff #rustlang #ratatui #tui #git #terminal #devtools #opensource
10
26
436
36,550
"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
199
Paweł Szulc retweeted
It's interesting how AI is constantly providing false information and incorrect statements about my area of expertise. Fortunately, it's very useful and always right about topics I know very little about.
86
643
8,073
149,919
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,311
Paweł Szulc retweeted
Gödel's incompleteness theorem is one of those things that math popularisers always talk about as a hugely important result. But according to @3blue1brown, it almost never comes up in practice. It's a weird pathology that nobody expects to matter for the big questions.
58
32
877
226,144
Paweł Szulc retweeted
Avi Wigderson is the only person in history to have won both a Turing Award (computer science) and Abel Prize (math). I interviewed him all about his field. We discussed: • His intuition on a proof of P vs NP • Why we use SAT solvers for most NP problems • Zero knowledge proofs and their impact • Quantum computation and implications • Math and computer science's relationship Where to watch: • YouTube: piped.video/5GUcvSAJcJw • Spotify: open.spotify.com/episode/4JZ… • Apple Podcasts: podcasts.apple.com/us/podcas… • Transcript: developing.dev/p/turing-awar… Thank you to this episode's sponsors for supporting my work: • WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at workos.com/ Timestamps: 00:00 - Intro 01:08 - P vs NP 14:51 - What if you relaxed correctness 25:38 - Why NP complete problems are equivalent 30:33 - Space vs time complexity 43:06 - Why people use SAT solvers 45:53 - Randomness is a resource 55:48 - Randomness depends on computational power 01:21:20 - Zero knowledge proofs and their significance 01:38:30 - Quantum computation and why it matters 01:56:24 - Math vs computer science 02:08:16 - Major breakthroughs and his experience 02:12:31 - Advice for his younger self 02:14:48 - Outro
20
313
1,919
260,451
Agent amnesia isn’t a feature - it’s an expensive habit. @modiqoai just dropped the cure with rote: turning one-shot agent explorations into permanent, deterministic flows that every future agent can reuse instantly. No more re-learning the same APIs. No hosted gateways. Just pure outcome maxxing. This is how agentic systems actually scale. Thread 👇is required reading w/ ☕
Grab a cup of coffee and give us 5 minutes. We’ll explain rote, the primitives behind it, and why agent amnesia is an expensive hobby. The goal is simple: outcomemaxx, not tokenmaxx.
2
4
15
2,720
Paweł Szulc retweeted
"There is no magical checkmark for software correctness." At Bug Bash 2026, @bugarela made the case for chasing confidence instead, and showed why the AI era raises the stakes. Here's a breakdown 🧵
2
8
22
1,266
I seriously thought that those days were over with Turbo Pascal ``` } goto done ``` My eyes. #GoLang 🤦‍♂️ Something, something Dijkstra (homepages.cwi.nl/~storm/teac…)
2
1
277
And now Claude is trying to gaslight me into thinking this is actually a good idea.
180
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
Paweł Szulc retweeted
Anthropic is deeply incompetent at building software that works reliably. Their users would be happier if they focused on the model and outsourced the tooling to engineers who go beyond 'vibe coding'.
33
13
336
16,238
Paweł Szulc retweeted
Sci-Hub is an evil website that pirated 85M+ research papers and made them freely available And now they've added AI to their database to make Sci-Bot. It answers your questions using latest, full-text articles. But DO NOT use it. We should all try to make billion-dollar academic publishers richer. I'm putting the link below so you know how to avoid it.
823
8,640
45,890
5,049,025
Paweł Szulc retweeted
Call For Pages is still open! We're calling all authors and artists who would like to be a part of Paged Out! Issue #9. Our email articles@pagedout.institute is waiting!
5
10
4,319