Paweł Szulc @EncodePanda
Haskell, 范畴论, λ, Distributed Systems, Formal Methods EncodePanda.com Poland Joined February 2009-
Tweets8K
-
Followers3K
-
Following657
-
Likes6K
Turn PDF files into clean, LLM-ready data! ByteDance released Dolphin, a document parsing framework that converts PDFs into structured formats like Markdown, HTML, LaTeX, and JSON. 100% Open Source
Just found out that the 45 nm, 32 nm, 28 nm processes, etc., are all marketing terms unrelated to actual gate length. And it's been this way since 1997.
I've started working on the 2025 edition of "Hacking: The Art of Exploitation", a beginner-friendly guide to binary exploitation. Wish me luck! r1ru.github.io/posts/8/
Today is the new semester for @CMUDB's Intro to Database Systems! We're going harder into material than ever before. Projects are more challenging but you can use LLMs to help. We also have 10min talks each Wed from leading DB companies. Follow on YouTube: 15445.courses.cs.cmu.edu/fall2025
Highly recommend Building Bitcoin in Rust by @LukasHozda / @BraiinsMining (same thing) - a no-nonsense intro Rust book that builds an entire project (a bitcoin miner) from scratch. Best part? The PDF is free! braiins.com/books/building…
Thorsten Altenkirch delivers an excellent explanation of Gödel's Incompleteness Theorem on @Computerphile, including demonstrations with #LeanLang definitions! youtube.com/watch?v=IuX8QM…
Here's the first video in the series. I hope you'll like them! youtube.com/watch?v=hwL0Vv… Bonus content: you get to hear me play fiddle tunes!
This paper didn’t go viral but it should have. A tiny AI model called HRM just beat Claude 3.5 and Gemini. It doesn’t even use tokens. They said it was just a research preview. But it might be the first real shot at AGI. Here’s what really happened and why OpenAI should be…
I was cancelled in 2021 for something I didn't do. The impact this had on my life was devastating, but I've never had the courage to talk about it before. This is my story of the misery that cancellation brought to my career, my social life and my health. ↓↓↓
This is cool. AI outline for PDFs.
If you're getting into LLMs, PyTorch is essential. And lot of folks asked for beginner-friendly material, so I put this together: PyTorch in One Hour: From Tensors to Multi-GPU Training (sebastianraschka.com/teaching/pytor…) 📖 ~1h to read through 💡 Maybe the perfect weekend project!? I’ve…
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!
Don't you all love when a PR reads like a blog post? Good job Matt!
Don't you all love when a PR reads like a blog post? Good job Matt!
My "Choreographing Distributed Systems: A Functional Approach" is already online! youtu.be/EVtl67Ni1Ms?si…
Our Call for Papers has been extended until this Friday, June 20th! Submit your proposal to confeti.app #FunctionalProgramming
I gave talk today at @LambdaDays "Choreographing Distributed Systems: A Functional Approach" This was fun!
💻 From screen to shelf 📚 Paged Out! Issue #6 is now available in print-on-demand. Feel the paper between your fingers beside your rig. 📖✨ Order yours today: lulu.com/search?page=1&… #PagedOut #TechZine #PrintOnDemand
BREAKING: Apple just proved AI "reasoning" models like Claude, DeepSeek-R1, and o3-mini don't actually reason at all. They just memorize patterns really well. Here's what Apple discovered: (hint: we're not as close to AGI as the hype suggests)
Read 10 books by Asimov. Watch Ghost in the Shell (original anime movie). You can thank me later.
CS Lewis gave this advice to a young writer 65 years ago. The best part is most of these points are even more true and useful today than they were then

John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Igal Tabachnik @hmemcpy
11K Followers 532 Following Professional vibe coder. Scala / Rust 🦀 (btw) Will you halt this eclipse in me?
Jakub Kozłowski @kubukoz
5K Followers 298 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
∃ugene -Yokota 🥙... @eed3si9n
5K Followers 568 Following enjoys music, good food, coding, and talking about them. learning machines at employer. @scala_sbt core dev. mastodon: @[email protected]
Adam Warski @adamwarski
7K Followers 185 Following Sharing elegant solutions to everyday problems | R&D @ SoftwareMill | #Scala / functional programmer #FP | 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 3K Following “Life is Study!”; [email protected]; Concurrency & Distributed Swift @ Previously: Reactive Streams (TCK), @akkateam Actors, HTTP & Streams, @geecon
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Edward Kmett @kmett
16K Followers 822 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 328 Following AI By the Bay | Nov 17-19, Oakland, CA | host @devrelradio
Greg Young @gregyoung
29K Followers 2K Following
Flavio Brasil @fbrasisil
3K Followers 3K Following Principal eng @Nubank + working on https://t.co/1d2vug8xx7 he/him
koziolek 🐐 @koziolek
1K Followers 438 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
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 7K Following AI Community Architect @Neo4j. Chair, OSSci @NumFOCUS. Cofounder, AI Alliance, GenAI Commons. Run @scalebythebay: https://t.co/VG37Z4xowL. Join https://t.co/1CPrpnF1KU!
Michael Snoyman @snoyberg
6K Followers 569 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Sandra De Goes @sandradegoes
2K Followers 1K Following Saved by God’s Grace. Christian wife and mom. Homemaker and servant of Christ. Partnering with my husband @jdegoes in running our business.
Daniel Firth (Inspect... @locallycompact
1K Followers 783 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Devito Chase @chase_devi97756
49 Followers 139 Following
Dullen Ian @DullenI73517
3 Followers 21 Following
Haydt Dwight @HaydtD18174
1 Followers 14 Following
Yacano Barry @YacanoB87736
21 Followers 44 Following
Nitcher Son @NitcherSon48624
7 Followers 47 Following
Raymon Kachel @RKachel64183
1 Followers 11 Following
Wicka Josefa @WickaJ95022
14 Followers 47 Following
Odowd Sung @OSung67205
3 Followers 11 Following
Wan Deer @deer_wan31038
5 Followers 15 Following
Rory Meo @meo_rory96609
3 Followers 15 Following
Vaux Quinn @VauxQ31186
0 Followers 14 Following
Noyes Karl @KarlNoyes30
2 Followers 14 Following
Lucian Dayna @DaynaLucia49141
3 Followers 19 Following
Denny Gadlin @DGadlin95849
6 Followers 22 Following
Quink Robt @QRobt18045
9 Followers 45 Following
Davie Carrie @CarrieDavi99298
59 Followers 141 Following
Blair Asiello @BAsiello92822
45 Followers 106 Following
Aycox Devorah @AycoxDevor76589
41 Followers 109 Following
Duber Antony @AntonyDube45983
38 Followers 114 Following
Check Xenia @CheckXenia18568
40 Followers 137 Following
Cosby Agustin @CAgustin63939
8 Followers 50 Following
Buddy Obie @BuddyObie99515
27 Followers 78 Following
Capelo Brian @BrianCapel11464
43 Followers 129 Following
Bedre Lewis @BedreLewis31348
41 Followers 107 Following
Blair Asiello @BAsiello49535
44 Followers 111 Following
Kochis Arthur @ArthurKoch47173
63 Followers 123 Following
Binning Jonah @BinningJon48180
8 Followers 39 Following
Minnie Bator @BatorMinni86931
30 Followers 107 Following
Rais Arnoldo @ArnoldoRai32561
25 Followers 103 Following
Arlette Trube @ArletteTru68832
53 Followers 116 Following
baotran @baotran172270
26 Followers 38 Following
baonguyen @baonguyen620271
21 Followers 48 Following
anhvan @anhvan1423857
14 Followers 34 Following
anhgreen55877 @anhgreen5584260
8 Followers 38 Following
Burton Yoxall @BurtonY38721
25 Followers 71 Following
Burt Clausel @BurtClause57584
40 Followers 101 Following
Bodey Lilian @BodeyL16177
11 Followers 38 Following
Bidell Hedy @BHedy20757
11 Followers 43 Following
Boyce Cotant @BCotant19549
36 Followers 113 Following
Smrekar Jarod @JarodSmrek78933
10 Followers 99 Following
Omair Shahid @OmairShahid
844 Followers 7K Following Product of progressive public policy; raised by public libraries and public education that produced a passion for politics. and apparently alliteration
Michael Litchard @lambdafan
3 Followers 73 Following
chengjilai @chengjilai
26 Followers 966 Following
Hamzé 🦀 @Hamzeml
3K Followers 7K Following I write the bugs that future AIs will be paid to fix. AI Maximalist & Architect of Artisanal Technical Debt! Rust 🦀 supremacy!
Irfrorqoop @Irfrorqoop4339
30 Followers 1K Following
Rúnar @runarorama
12K Followers 106 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Igal Tabachnik @hmemcpy
11K Followers 532 Following Professional vibe coder. Scala / Rust 🦀 (btw) Will you halt this eclipse in me?
Jakub Kozłowski @kubukoz
5K Followers 298 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
∃ugene -Yokota 🥙... @eed3si9n
5K Followers 568 Following enjoys music, good food, coding, and talking about them. learning machines at employer. @scala_sbt core dev. mastodon: @[email protected]
Erik Meijer @headinthebox
31K Followers 2 Following
Adam Warski @adamwarski
7K Followers 185 Following Sharing elegant solutions to everyday problems | R&D @ SoftwareMill | #Scala / functional programmer #FP | Blogger | #OSS developer
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
deech @deech
5K Followers 1K Following
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 310 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Oli Dinov 💙 @olidinov
2K Followers 328 Following AI By the Bay | Nov 17-19, Oakland, CA | host @devrelradio
Greg Young @gregyoung
29K Followers 2K Following
Jakub Nabrdalik 🇺�... @jnabrdalik
4K Followers 125 Following Software Dev Also at @[email protected] https://t.co/HgSozwIyuZ
koziolek 🐐 @koziolek
1K Followers 438 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
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 7K Following AI Community Architect @Neo4j. Chair, OSSci @NumFOCUS. Cofounder, AI Alliance, GenAI Commons. Run @scalebythebay: https://t.co/VG37Z4xowL. Join https://t.co/1CPrpnF1KU!
Bob Summerwill @ TOKE... @BobSummerwill
18K Followers 6K Following Head of Ecosystem, @stratomercata #bitcoin #ethereum (Formerly @POWSummit, @ETCCooperative, @EntEthAlliance, @ConsenSys, @ethereumfndn, @EA, Sony Psygnosis)
Kieren James-Lubin @kjameslubin
995 Followers 915 Following President & CEO @BlockApps | builders of STRATO Mercata https://t.co/rr8uyWmd0a https://t.co/niy8C32aah
RareSkills @RareSkills_io
13K Followers 0 Following ZK: https://t.co/mRKtMB6drC Rust: https://t.co/FnOBJDlYuI Solidity: https://t.co/KBSAmRZZF6 @RareCodeAI | @RareTalent_xyz
STRATO Mercata @stratomercata
8K Followers 42 Following Easily earn on vaulted gold, silver & crypto. Get instant credit. Built by ETH veterans. Telegram: https://t.co/GNnByQBQzD
Jackson Danna @JacksonDan1576
5 Followers 38 Following I'm a software engineer who loves functional programming, exercise, and story telling.
Aleksandra @Oleksandra_Andy
55 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
285 Followers 862 Following Rust, AI, non AI pictures of other people's cats
Jacek Kunicki @rucek
671 Followers 140 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
245 Followers 742 Following Delivery Manager and Founding Team @umatr_io Finding the best Rust talent in all corners of the globe 🌍🌎🌏 Community Contributor @RustMatters
chreke @therealchreke
674 Followers 898 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
Volodymyr Zelenskyy /... @ZelenskyyUa
8.2M Followers 1 Following President of Ukraine / Президент України
hellwolf @hellwolf2025
115 Followers 211 Following Co-founder and CTO 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.
sergey bratus @sergeybratus
6K Followers 2K 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
5K Followers 9 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
921 Followers 64 Following Asia's Premier Functional Programming Conference. 24-25 January 2025
Type Theory Forall @ttforall
4K Followers 280 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
rustikonconf @rustikonconf
67 Followers 7 Following Join the best Rust conference in Poland! Save the date: 19-10 March 2026 https://t.co/0aYVBnrCFS Organized by @softwaremill
Rust Jobs 🦀 @rustjobs_dev
7K Followers 400 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!
Gabriela Moreira @bugarela
905 Followers 906 Following Building Quint at @informalinc | Born and living in Brazil 🇧🇷
ReasonField Lab by So... @ReasonFieldLab
48 Followers 16 Following Bridging the gap between science and business in #MachineLearning projects. Custom ML solutions & Science as a Services projects.
Andrej Karpathy @karpathy
1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
Sebastian Raschka @rasbt
358K Followers 1K Following ML/AI researcher & former stats professor turned LLM research engineer. Author of "Build a Large Language Model From Scratch" (https://t.co/O8LAAMRzzW).
Tool Use @ToolUsePodcast
1K Followers 1 Following The latest A.I. tools and strategies Featuring top builders, entrepreneurs, and researchers
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 834 Following I am weaponizing Haskell and Nix.
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
trigoman @jvtrigueros
190 Followers 591 Following Passionate about functional programming, coffee, and craft brews (in no particular order). Maintainer of https://t.co/jmLhO68pnH and co-host of @pubstompmedia
Nikita Volkov @NikitaYVolkov
1K Followers 40 Following Consultant in Haskell, Rust and software design. Author of "hasql" and "refined". Founder of https://t.co/jYXlfxPMjy.
Chris Krycho @chriskrycho
3K Followers 148 Following Inactive here. 🦋 https://t.co/B9ZYo8IQJk Software craftsman and composer; theologian, writer, runner, photographer.
Joe Guadagno @jguadagno
3K Followers 995 Following Microsoft Developer Services MVP, VP of IT at RT², and Desert Code Camp organizer
Till Rohrmann @stsffap
2K Followers 486 Following Co-founder @restatedev: Building resilient applications made easy! Apache Flink Committer and PMC member, Prev: @VervericaData
Horizon Haskell - Has... @horizonhaskell
70 Followers 4 Following Join Matrix: https://t.co/SbK1wCmcCW By @locallycompact
FromJavaToHaskell @to_haskell
203 Followers 1K Following Software developer. I am learning Haskell programming language.