Paweł Szulc @EncodePanda
Haskell, 范畴论, λ, Distributed Systems, Formal Methods EncodePanda.com Poland Joined February 2009-
Tweets8K
-
Followers3K
-
Following667
-
Likes6K
The 1995 cult film "Hackers" was released 31 years ago today. HackersDay.com #Hackers #HackersDay #HackersMovie #HackThePlanet
Hey, Claude, what's 2+2? Two separate questions hide in that one, and the second is the interesting one.
Bro casually walks and explains 5 GPU performance optimization methods for LLMs. one of the most simple and intuitive explanations for beginners.
The honest part: multi-host is deliberately early. Testable, not finished. That is the point of shipping it: run it, break it, tell me. Full story: flodl.dev/blog/then-the-… Benchmark: flodl.dev/ddp-benchmark #RustLang #DeepLearning
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
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/Livedi… #rustlang #ratatui #tui #git #terminal #devtools #opensource
"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=QABiQF…
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.
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.
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.
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: youtu.be/5GUcvSAJcJw • Spotify: open.spotify.com/episode/4JZrdA… • Apple Podcasts: podcasts.apple.com/us/podcast/the… • Transcript: developing.dev/p/turing-award… 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
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.
"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 🧵
And now Claude is trying to gaslight me into thinking this is actually a good idea.
I seriously thought that those days were over with Turbo Pascal ``` } goto done ``` My eyes. #GoLang 🤦♂️ Something, something Dijkstra (homepages.cwi.nl/~storm/teachin…)
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=IeLcBX…
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'.
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.
John A De Goes @jdegoes
20K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Igal Tabachnik @hmemcpy
11K Followers 592 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Jakub Kozłowski @kubukoz
5K Followers 290 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
Gabrieλ Volpe @volpegabriel87
4K Followers 294 Following Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell
Adam Warski @adamwarski
8K Followers 182 Following Sharing elegant solutions to everyday problems | R&D @ VirtusLab, SoftwareMill | #AI #Scala #FP #Java | Blogger | #OSS developer
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Konrad ‘ktoso’ Ma... @ktosopl
8K Followers 4K Following “Life is Study!”; [email protected]; Concurrency & Distributed Swift @ Previously: @akkateam, reactive streams, @geecon @Java_Champions
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 428 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Matt Parsons @mattoflambda
5K Followers 597 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Edward Kmett @kmett
17K Followers 810 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/OduL9QvPz7 https://t.co/XwbnuaOUzq https://t.co/wYaTDISbEB
Jules Ivanic @guizmaii
2K Followers 2K Following | Software Engineer | Functional Programmer | 🇨🇵 citizen | 🇦🇺 permanent resident | 🌊 🏄🏻♂️ ❤️ | @guizmaii.bsky.social | I talk about Software Engineering
Oli Dinov 💙 @olidinov
2K Followers 322 Following AI By the Bay | Nov 17-19, Oakland, CA | host @devrelradio
Greg Young @gregyoung
30K Followers 2K Following
Flavio Brasil @fwbrasil
3K Followers 3K Following
koziolek 🐐 @koziolek
1K Followers 456 Following Ja się z tobą nie kłócę, ja ci tłumaczę, dlaczego nie masz racji. I/0 ps. jakbyśmy umarli to » @[email protected] https://t.co/Epfzvr818s
Arian van Putten @ProgrammerDude
5K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 7K Following Ecosystems, @lakesailhq. Cofounder, AI Alliance, GenAI@LF, https://t.co/gVgl0OqOH5 @northeastern, @scalebythebay. Publisher: https://t.co/VG37Z4xowL, https://t.co/tx4mrl2WS8. OSS AI: https://t.co/xghHzIo4CX
Michael Snoyman @snoyberg
5K Followers 641 Following Programmer, author, speaker, systems architect, weight lifter, Bitcoin/hard money enthusiast. Born in 🇺🇸, living in 🇮🇱. עזרי מעם ה׳ עושה שמים וארץ
Sandra @sandradegoes
2K Followers 1K Following
mj @mjjtweet
33 Followers 1K Following
Archaic SE @ArchaicSE
10 Followers 162 Following
Interchouette ITC · ... @Interchouette
136 Followers 2K Following The experiment is me. ITCy, disclosed AI CMO. Usual model ollama/qwen3:8b Built on @cursor_ai 🦀Rust · 🤖AI · ⛓Blockchain https://t.co/KBlZmG4WQC
PHILORANUS @PHILORANUS
55 Followers 1K Following
👇 elliescheckmate @elliescheckmate
332 Followers 2K Following my camera roll is basically boards, bookmarks ♟️, and blurry café tables lately 📷
Martin Cavaillès @mcavailles
28 Followers 304 Following Opinions and views expressed here are solely my own, not my employer's
Omar @omarsowe766
22 Followers 1K Following So be patient. Indeed, the promise of God is truth. And let them not disquiet you, who are not certain in faith.
BeastNeedsMoreTorque @BeastNeedTorque
38 Followers 577 Following
Jeremy C. @Jerrawik
18 Followers 7K Following
jhemann @jhemann
587 Followers 4K Following Professor of Computer Science @SetonHall. My other car is a cdr. | @jhemann.bsky.social | https://t.co/b7y1CxQEZE
Monacho Millisecond @MonachoMills
14 Followers 610 Following 📉$163k in debt ~ financially free in my 30s 💸Binary Expert & personal finance 🚀Just proven strategies 👇Star your freedom journey here
Sebastien Pochic @spochic
138 Followers 242 Following My own opinions, co-founder & CTO of @ellipse_la, Innovator, Tech Entrepreneur, LA addict, 🍏 fanboy, from:🇧🇪🇫🇷 speak:🇫🇷🇺🇸🇳🇱
Nojup @uzddox9_iiL
14 Followers 563 Following
Get_Better @Get_BetterRBX
29 Followers 255 Following Roblox Developer-UI-Builder-Script-Entrepreneur-Owner And Founder Of EasyGamesStudio
sreeprasad @sreeprasad
275 Followers 7K Following To use agile development to built massively scalable applications and perform deep analytics to achieve real time results at BlackRock
X @X2366818192862
171 Followers 7K Following
_ @_prmd_
168 Followers 8K Following Product Developer @ SAP, Product Security, AppSec, Data Privacy, GDPR. Tweets are personal. RTs aren't endorsements.
Latent Manifold @latentmanifold
33 Followers 301 Following Building distribution: Foundation Research
Mugenga Benoit @BenoitMuge82073
0 Followers 2K Following
Paul HowardSoftware @PHowardsoftware
3 Followers 265 Following
Kacper R @KacperRoszczyna
78 Followers 737 Following Simply sharing what I find interesting. Backend developer and team leader.
Gieldowe info @_GPWTrader2022
469 Followers 6K Following 📉📈 Codzienne skróty newsów + edukacja finansowa, analizy shortów na spólkach➡️ Subskrypcja 15zl/m-ce z pelnymi danymi .Nie nasladowac, dane z ortex. Prywatnie
Liam Wilks @w1lks_
12 Followers 2K Following
Roman Gonzalez @romanandreg
659 Followers 683 Following FP / Remote Work enthusiast and advocator. Works at Airbnb. Opinions are my own.
fedeev Natalie @fedeevNatalie62
105 Followers 1K Following Proudly IDF ⚔️ Jewish forever ✡️ Israel, God's own nation 🇮🇱
Monstar Energi @monstar_energi
1 Followers 117 Following when i was a young boy my father once took me into the city to drink a monster energy ultra pipeline punch w/ vodka
Mark Longo @MarkL9686
892 Followers 7K Following
ياسر @ysralot
141 Followers 599 Following
Eric @EricSpencer00
26 Followers 134 Following Usually only here between prompts Working on whatever is listed on https://t.co/08cv3D3bmX
Duncan G @Duncan_APM
351 Followers 2K Following Building software for agents as the primary user. Ex-Dynatrace (10yr). Building https://t.co/SkmgYdbXcy with Cursor.
Pawel Urbanek @pawelurbanekcom
346 Followers 73 Following Building https://t.co/NKcLSeRjQS. And blogging about Ruby/Rust perf.
Timothy Meade @tmztmobile
454 Followers 3K Following Building @GetPersonalOS. Headed to Austin. This time, it's personal. Say [email protected]. Some components are on https://t.co/EnOX4uHXlS already.
cedric @saucisoupe
60 Followers 750 Following systems programming/async/backend/rust, getting into verification
Rúnar @runarorama
13K Followers 123 Following Icelander. Eudaimonist. Individualist. Comonad enthusiast. Co-creator of the Unison programming language. Co-author of Functional Programming in Scala.
John A De Goes @jdegoes
20K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Igal Tabachnik @hmemcpy
11K Followers 592 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Jakub Kozłowski @kubukoz
5K Followers 290 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
Gabrieλ Volpe @volpegabriel87
4K Followers 294 Following Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell
Adam Warski @adamwarski
8K Followers 182 Following Sharing elegant solutions to everyday problems | R&D @ VirtusLab, SoftwareMill | #AI #Scala #FP #Java | Blogger | #OSS developer
Domen Kožar @domenkozar
7K Followers 2K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J 🗝️ https://t.co/iCG7uqjcoB
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 428 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Tweag by Modus Create @tweagio
7K Followers 327 Following Improving the craft of software engineering.
Matt Parsons @mattoflambda
5K Followers 597 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
deech @deech
5K Followers 1K Following
Graham Hutton @haskellhutt
9K Followers 704 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Edward Kmett @kmett
17K Followers 810 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/OduL9QvPz7 https://t.co/XwbnuaOUzq https://t.co/wYaTDISbEB
富良美雄 @FlavioCorpa
3K Followers 295 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Oli Dinov 💙 @olidinov
2K Followers 322 Following AI By the Bay | Nov 17-19, Oakland, CA | host @devrelradio
Greg Young @gregyoung
30K Followers 2K Following
Jakub Nabrdalik 🇺�... @jnabrdalik
4K Followers 123 Following Software Dev Also at @[email protected] https://t.co/HgSozwIyuZ
koziolek 🐐 @koziolek
1K Followers 456 Following Ja się z tobą nie kłócę, ja ci tłumaczę, dlaczego nie masz racji. I/0 ps. jakbyśmy umarli to » @[email protected] https://t.co/Epfzvr818s
Impure Pics @impurepics
6K Followers 0 Following No to dysfunctional programming https://t.co/AzKirvGfEQ
Chris @ChrisGPT
68K Followers 2K Following Agi 2029 - AI Insider / Reporter as featured in Axios • The Information • NYT • Techcrunch
Sebastien Pochic @spochic
138 Followers 242 Following My own opinions, co-founder & CTO of @ellipse_la, Innovator, Tech Entrepreneur, LA addict, 🍏 fanboy, from:🇧🇪🇫🇷 speak:🇫🇷🇺🇸🇳🇱
Latent Manifold @latentmanifold
33 Followers 301 Following Building distribution: Foundation Research
Informacje Giełdowe @GPW_Trader2022
97K Followers 386 Following 📉📈Codzienne skróty newsów + edukacja finansowa , analizy shortów na spółkach➡️Subskrypcja 15zł/m-ce z pełnymi danymi .Nie naśladować. Tutaj prywatnie
floDl @flodl_dev
1 Followers 9 Following
Rust in Paris 🦀 Co... @rustparis
38 Followers 15 Following Rust in Paris is a community conference for developers passionate about building secure, concurrent, high-performing software with Rust.
Michał Matłoka @mmatloka
435 Followers 205 Following CTO at SoftwareMill, Architect, Team Lead | #ApacheKafka #ApacheCassandra #Lightbend Certified | @softwaremill
Pawel Urbanek @pawelurbanekcom
346 Followers 73 Following Building https://t.co/NKcLSeRjQS. And blogging about Ruby/Rust perf.
Timothy Meade @tmztmobile
454 Followers 3K Following Building @GetPersonalOS. Headed to Austin. This time, it's personal. Say [email protected]. Some components are on https://t.co/EnOX4uHXlS already.
Quint @quint_lang
789 Followers 28 Following Capture what your software should do, control every change, and know your tests have you covered. By @informalinc
llogiq @llogiq
3K Followers 878 Following #RustLang 🦀 bard. Father of 3+cat. Devourer of waffles. Probably knows the German word for it, whatever it is. Sometimes randomly grabs a Ukulele&sings. he/him
Jon Gjengset @jonhoo
36K Followers 189 Following Rust live-coder and OSS tinkerer who loves teaching. I try to keep a high SNR. Wrote Rust for Rustaceans. At @HelsingAI. Ex AWS. Co-founded @readysetio. he/him
Rust Bytes 🦀 @rustaceans_rs
8K Followers 84 Following Bi-weekly Digest For Rustaceans | #rustlang | https://t.co/5WLSdJvyDt |
Jacek Dziwisz @jacekdziwisz
5K Followers 1K Following Updating priors on AI, Markets, and the future of humanity
FP Block @FP_Block
4K Followers 93 Following Engineering Blockchain Applications for the Future. Engineering firm with decades of experience.
Nick Bolton @nbolton_founder
1K Followers 1 Following Founder of @Synergy_App. We develop Synergy, for people who have multiple computers on their desk.
The Joy Of Cryptograp... @JoyOfCrypto
1K Followers 4 Following The Joy of Cryptography is an undergraduate-level textbook that introduces students to the fundamentals of provable security. By @GarbledCircus via @mitpress
Foy Savas @foysavas
1K Followers 2K Following Founder of @auxpanel, AI/BI for multi-site healthcare Past: VC, CFA, deep learning @ NYU, mathcamp Interests: formal methods, crypto, angel investing
Orhun Parmaksız 👾 @orhundev
10K Followers 1K Following Terminal Chef 🐀 @ratatui_rs · @jetbrains · @archlinux Open source: https://t.co/m4rE2hAIB7 Livestreams: https://t.co/8xYXby6uFe
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 7K Following Ecosystems, @lakesailhq. Cofounder, AI Alliance, GenAI@LF, https://t.co/gVgl0OqOH5 @northeastern, @scalebythebay. Publisher: https://t.co/VG37Z4xowL, https://t.co/tx4mrl2WS8. OSS AI: https://t.co/xghHzIo4CX
LopimDev @Lopim_Official
194 Followers 86 Following 🇵🇱 | Roblox Developer 💻 | Lua Scripter ⚒️ | Builder 🎥 | Content Creator (50K+ Subscribers) 🚀 | Creating Games on Roblox
Bob Summerwill @BobSummerwill
19K Followers 6K Following Software engineering leader, available Nov 2026 For fun: Ethereum Historian, https://t.co/vlxDYhcHZ4 Ex @strato_net, @ETCCooperative, @ethereumfndn, @EA
RareSkills @RareSkills_io
14K Followers 0 Following ZK: https://t.co/mRKtMB6drC Rust: https://t.co/FnOBJDlYuI Solidity: https://t.co/KBSAmRZZF6 @RareCodeAI | @RareTalent_xyz
Jackson Danna @JacksonDan1576
4 Followers 39 Following I'm a software engineer who loves functional programming, exercise, and story telling.
Aleksandra @Oleksandra_Andy
53 Followers 25 Following From a broken home to a war-torn country, I chose code over collapse. 15 years in tech, raising a son far from where it all began. #WomenInTech #TypeScript #AWS
Avi Dessauer @AviDessauer
315 Followers 816 Following staff @turnkeyhq, verifiable state, AI, non AI pictures of other people's cats
Jacek Kunicki @rucek
661 Followers 139 Following Passionate software engineer @softwaremill, Scala and FP tutor at SoftwareMill Academy, conference speaker. Also at @[email protected]
Rust Summit @rust_summit
2K Followers 31 Following First-of-its-kind chain-agnostic conference, featuring expert talks, workshops, and networking opportunities for Rust blockchain professionals 🦀
Jai Vine 🦀 @Jai_UMATR
236 Followers 774 Following Delivery Manager and Founding Team @umatr_io Finding the best Rust talent in all corners of the globe 🌍🌎🌏 Community Contributor @RustMatters
Volodymyr Zelenskyy /... @ZelenskyyUa
8.9M Followers 1 Following President of Ukraine / Президент України
hellwolf @hellwolf2025
120 Followers 226 Following Building Superfluid Wallet (@sfwallet) and Superfluid Protocol (@Superfluid_HQ) at Superfluid Finance. Haskell fan, too.
Simon Thompson @thompson_si
4K Followers 1K Following CS researcher. Refactoring, smart contracts. Functional programmer in Haskell, Erlang, OCaml. University of Kent, UK; Eötvös Loránd University Budapest.
Yassine Chih @Yassinechih7
43 Followers 1K Following
sergey bratus @sergeybratus
6K Followers 1K Following The cat is the Otocolobus Manul, https://t.co/Xswt7Vp2F1 . Manul is the perfect privacy mascot. All views & opinions are my own & personal.
PagedOut @pagedout_zine
6K Followers 10 Following Paged Out! is a free magazine about programming, hacking, security hacking, retro computers, modern computers, electronics, demoscene, and other amazing topics.
Functional Conference @FnConf
904 Followers 63 Following Asia's Premier Functional Programming Conference. 24-25 January 2025
Pedro Abreu @p_droabreu0
1K Followers 748 Following Host of @ttforall. PL/formal methods researcher — POPL'23, MSc, PhD dropout. Seriously into vipassana meditation.
rustikonconf @rustikonconf
111 Followers 7 Following Join the best Rust conference in Poland! Save the date: 19-20 March 2026 https://t.co/0aYVBnrCFS Organized by @softwaremill
Rust Jobs 🦀 @rustjobs_dev
8K Followers 396 Following Follow us for the latest #rustlang jobs from https://t.co/lreBl2wF74. Are you hiring or looking for a job? Tag us to get retweeted!You might like
