Paweł Szulc @EncodePanda
Haskell, 范畴论, λ, Distributed Systems, Formal Methods EncodePanda.com Poland Joined February 2009-
Tweets8K
-
Followers3K
-
Following669
-
Likes6K
"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…)
My oldest son started creating templates to develop your own games in Robolox. If your kids spend endless hours doomscrolling, consider introducing them to game development in Roblox. My son can help!
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.
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 [email protected] is waiting!
Write-up: flodl.dev/blog/huggingfa… Tutorial: flodl.dev/guide/flodl-hf Crate: crates.io/crates/flodl-hf Repo: github.com/fab2s/floDl Feedback and PRs welcome.
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.
@jdegoes Have you seen this x.com/i/status/20382…
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.
Learning reverse engineering and hungry for some real-world tips and tricks? Check out this article by Amnesia ("Reverse Engineering Cryptography Code"). This is a solid overview with multiple approaches to the topic.
🚨 BREAKING: Someone just built the exact tool Andrej Karpathy said someone should build. 48 hours after Karpathy posted his LLM Knowledge Bases workflow, this showed up on GitHub. It's called Graphify. One command. Any folder. Full knowledge graph. Point it at any folder. Run /graphify inside Claude Code. Walk away. Here is what comes out the other side: -> A navigable knowledge graph of everything in that folder -> An Obsidian vault with backlinked articles -> A wiki that starts at index. md and maps every concept cluster -> Plain English Q&A over your entire codebase or research folder You can ask it things like: "What calls this function?" "What connects these two concepts?" "What are the most important nodes in this project?" No vector database. No setup. No config files. The token efficiency number is what got me: 71.5x fewer tokens per query compared to reading raw files. That is not a small improvement. That is a completely different paradigm for how AI agents reason over large codebases. What it supports: -> Code in 13 programming languages -> PDFs -> Images via Claude Vision -> Markdown files Install in one line: pip install graphify && graphify install Then type /graphify in Claude Code and point it at anything. Karpathy asked. Someone delivered in 48 hours. That is the pace of 2026. Open Source. Free.
@kerckhove_ts Have you used Skills to instruct Claude how to behave? Or even without skills, you can say in a prompt how to approach the investigation (write test first that will fail). Or did you just say "Investigate" and act surprised that it literally did the simplest thing possible? :)
@flodl_dev Please tell me this is not an April's Fool joke!
OMG my new favorite channel! youtube.com/@computablesec… Just watch @computablesecrets amazing videos about computability and complexity!
I want to speak & read Mandarin. I’m willing to invest meaningfully to do it efficiently. What are the best options?
🚨 BREAKING: GPT 5.4 rates the Claude Code codebase 6.5/10 💀 "This is not junior spaghetti. This is staff-engineer spaghetti: performance-aware, feature-flagged, telemetry-instrumented, surgically optimized spaghetti" 😭
Last year I could not make it :( This year I'm going to be there 100%! Lambda World is an amazing conference and you should join me as well!
Last day to purchase your early camaron tickets and submit a proposal to our Call For Papers! lambda.world @CFP_Bot @WikiCFP #FunctionalProgramming
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 571 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Jakub Kozłowski @kubukoz
5K Followers 291 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
Gabrieλ Volpe @volpegabriel87
4K Followers 295 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: Reactive Streams (TCK), @akkateam, @geecon @Java_Champions
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 423 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 814 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
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
koziolek 🐐 @koziolek
1K Followers 449 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
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 8K Following OSS AI Leader. Head of Community, @lakesailhq. Cofounder, AI Alliance, GenAI Commons. Run @scalebythebay: https://t.co/VG37Z4xWmj. Join https://t.co/1CPrpnFzAs!
Michael Snoyman @snoyberg
6K Followers 642 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Sandra @sandradegoes
2K Followers 1K Following
Get_Better @Get_BetterRBX
18 Followers 184 Following Roblox Developer-UI-Builder-Script-Entrepreneur-Owner And Founder Of EasyGamesStudio
sreeprasad @sreeprasad
265 Followers 6K Following To use agile development to built massively scalable applications and perform deep analytics to achieve real time results at BlackRock
X @X2366818192862
101 Followers 5K Following
_ @_prmd_
142 Followers 4K Following Product Developer @ SAP, Product Security, AppSec, Data Privacy, GDPR. Tweets are personal. RTs aren't endorsements.
Sulav Gairhe @510Sulove
9 Followers 174 Following I'm a dedicated Blockchain developer working on Rust and learning to specialize in Protocol Engineering. Web3 is the Future!
Mugenga Benoit @BenoitMuge82073
0 Followers 2K Following
Paul HowardSoftware @PHowardsoftware
1 Followers 231 Following
Kacper R @KacperRoszczyna
76 Followers 728 Following Simply sharing what I find interesting. Backend developer and team leader.
FA @dydx77
487 Followers 7K Following Global AI 🌍 | Energy | Space 🌍 | Party lover 🎉 | Travel ✈️ | Tech Insight
Gieldowe info @_GPWTrader2022
414 Followers 5K 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 963 Following
Roman Gonzalez @romanandreg
651 Followers 673 Following FP / Remote Work enthusiast and advocator. Works at Airbnb. Opinions are my own.
fedeev Natalie @fedeevNatalie62
99 Followers 1K Following Proudly IDF ⚔️ Jewish forever ✡️ Israel, God's own nation 🇮🇱
Monstar Energi @monstar_energi
0 Followers 115 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
881 Followers 8K Following
ياسر @ysralot
139 Followers 509 Following
Eric Spencer @EricSpencer00
6 Followers 64 Following Usually only here between prompts building https://t.co/ipMuxVvnuk
Duncan G @Duncan_APM
363 Followers 2K Following Building software for agents as the primary user. Ex-Dynatrace (10yr). Building https://t.co/SkmgYdbXcy with Cursor.
Pawel Urbanek @_pawurb
306 Followers 64 Following Building https://t.co/NKcLSeQM1k. And blogging about Ruby/Rust perf.
Timothy Meade @tmztmobile
446 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
41 Followers 591 Following sovereign is he who decides on the exception computers are cool
Bill Carlson @coacoas
227 Followers 931 Following
Otherwise @otherwise000000
0 Followers 61 Following
Jacek Dziwisz (e/acc) @jacekdziwisz
1K Followers 1K Following Updating priors on AI, Markets, and the future of humanity
MikeyG @MikeGRighteous
292 Followers 4K Following A prodigy by ghetto standards. Distributed systems wizard. Hedonic treadmill set to MAX.🚀 راحت عليك يا حلو . خبير في كل شيئ
Joe Black @0xjoeblack
80 Followers 2K Following
Garrett Walker @garrlker
399 Followers 7K Following Sr Developer @1Password Not a former @HouseofCards POTUS Former @tresjs_dev maintainer
ardeco @sixfeetoverhead
0 Followers 5K Following
AG @observerNorth99
43 Followers 5K Following
anh nguyen @anhnguyen116224
1 Followers 566 Following
Manchaary Bahylaj �... @manchaary12
319 Followers 5K Following I pressed blue button Человек человеку - человек. Ауф. Fix your hearts or die. We let the souls torment us. ⬋⬋⬋ on 🦋
DeployIT - DLowCode @DeployIT_
120 Followers 1K Following 💼 Software for finance and more 📌 Proprietary DLowCode platform 🚀 Flexible custom development + fast low-code ⚡ BPMN (Camunda), drag & drop, rules in Excel
Damba Barra @DambaBarra83014
187 Followers 2K Following Bismillah 💨i am from Gambia West Africa God bless good 💤🤲🏿
Ashish @JaryalJii
9 Followers 361 Following
Bob Summerwill @BobSummerwill
19K Followers 6K Following Head of Ecosystem, @strato_net | Historian, https://t.co/vlxDYhca9w | (Formerly @POWSummit, @ETCCooperative, @EntEthAlliance, @ConsenSys, @ethereumfndn, @EA)
Rúnar @runarorama
13K Followers 117 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 571 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Jakub Kozłowski @kubukoz
5K Followers 291 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
Gabrieλ Volpe @volpegabriel87
4K Followers 295 Following Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell
Erik Meijer @headinthebox
36K Followers 0 Following
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
6K Followers 2K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVh 🗝️ https://t.co/iCG7uqjKe9
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 423 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Tweag by Modus Create @tweagio
7K Followers 304 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 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Edward Kmett @kmett
17K Followers 814 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Flavio @FlavioCorpa
2K Followers 249 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 124 Following Software Dev Also at @[email protected] https://t.co/HgSozwIyuZ
koziolek 🐐 @koziolek
1K Followers 449 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
Informacje Giełdowe @GPW_Trader2022
92K Followers 384 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ć, dane z ortex. Prywatnie
fab2s @flodl_dev
1 Followers 2 Following
Rust in Paris 🦀 Co... @rustparis
36 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
431 Followers 206 Following CTO at SoftwareMill, Architect, Team Lead | #ApacheKafka #ApacheCassandra #Lightbend Certified | @softwaremill
Pawel Urbanek @_pawurb
306 Followers 64 Following Building https://t.co/NKcLSeQM1k. And blogging about Ruby/Rust perf.
Timothy Meade @tmztmobile
446 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
557 Followers 21 Following Executable specs for reliable systems. Understand what you're building, drive AI with precision, and verify its output. By @informalinc
llogiq @llogiq
3K Followers 877 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
Jacek Dziwisz (e/acc) @jacekdziwisz
1K Followers 1K Following Updating priors on AI, Markets, and the future of humanity
FP Block @FP_Block
5K Followers 94 Following Engineering Blockchain Applications for the Future. Engineering firm with decades of experience.
Nick Bolton @nbolton_founder
1K Followers 39 Following Founder-CEO/CTO of @Symless. We develop @Synergy_App, for people who have multiple computers. Currently inventing new products...
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 Interests: formal methods, AI as mimicry, lawful crypto. Past: SaaS founder, tech author, big data VC, deep learning visitor @ NYU
Orhun Parmaksız 👾 @orhundev
9K Followers 1K Following Terminal Chef @ratatui_rs 🐀 Rust Developer Advocate @jetbrains Arch maintainer btw GitHub: https://t.co/m4rE2hBgqF YouTube: https://t.co/8xYXby72uM
Chris @ChrissGPT
46K Followers 1K Following Agi 2029 - AI Insider / Reporter as featured in The Information • NYT • Techcrunch
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 8K Following OSS AI Leader. Head of Community, @lakesailhq. Cofounder, AI Alliance, GenAI Commons. Run @scalebythebay: https://t.co/VG37Z4xWmj. Join https://t.co/1CPrpnFzAs!
Lopim Official @Lopim_Official
74 Followers 51 Following 🇵🇱 | Roblox Developer 💻 | Lua Scripter ⚒️ | Builder 🎥 | Content Creator (50K+ Subscribers) 🚀 | Creating Games on Roblox
Bob Summerwill @BobSummerwill
19K Followers 6K Following Head of Ecosystem, @strato_net | Historian, https://t.co/vlxDYhca9w | (Formerly @POWSummit, @ETCCooperative, @EntEthAlliance, @ConsenSys, @ethereumfndn, @EA)
Kieren James-Lubin @kjameslubin
1K Followers 1K Following Building @strato_net | CEO @BlockApps https://t.co/5D1TqCExTX https://t.co/P9ERy9DnrJ https://t.co/niy8C32aah
RareSkills @RareSkills_io
15K 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 38 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
298 Followers 1K Following Rust, AI, non AI pictures of other people's cats
Jacek Kunicki @rucek
665 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 30 Following First-of-its-kind chain-agnostic conference, featuring expert talks, workshops, and networking opportunities for Rust blockchain professionals 🦀
Jai Vine 🦀 @Jai_UMATR
233 Followers 762 Following Delivery Manager and Founding Team @umatr_io Finding the best Rust talent in all corners of the globe 🌍🌎🌏 Community Contributor @RustMatters
chreke @therealchreke
776 Followers 1K Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
Volodymyr Zelenskyy /... @ZelenskyyUa
8.5M Followers 1 Following President of Ukraine / Президент України
hellwolf @hellwolf2025
116 Followers 220 Following Co-founder of @Superfluid_HQ. Building and using @yolc_dev for Ethereum and Superfluid. Love to hang around in the Haskell community, 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
42 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
909 Followers 63 Following Asia's Premier Functional Programming Conference. 24-25 January 2025
Pedro Abreu @p_droabreu0
1K Followers 723 Following Host of @ttforall, MSc in PL, PhD dropout. I like to meditate
Type Theory Forall @ttforall
4K Followers 323 Following Your favorite type theory podcast! Check our merch store! https://t.co/qiQYj4pnqx
rustikonconf @rustikonconf
107 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 392 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
