Paweł Szulc @EncodePanda
Haskell, 范畴论, λ, Distributed Systems, Formal Methods EncodePanda.com Poland Joined February 2009-
Tweets8K
-
Followers3K
-
Following655
-
Likes6K
Paweł Szulc retweeted
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/
9
96
707
33K
505
Paweł Szulc retweeted
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
Paweł Szulc retweeted
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…
Paweł Szulc retweeted
Thorsten Altenkirch delivers an excellent explanation of Gödel's Incompleteness Theorem on @Computerphile, including demonstrations with #LeanLang definitions! youtube.com/watch?v=IuX8QM…
Paweł Szulc retweeted
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!
Paweł Szulc retweeted
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…
Paweł Szulc retweeted
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. ↓↓↓
Paweł Szulc retweeted
This is cool. AI outline for PDFs.
This is cool. AI outline for PDFs. https://t.co/PcsL0KCZMD
Paweł Szulc retweeted
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…
Paweł Szulc retweeted
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!
Paweł Szulc retweeted
💻 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
Paweł Szulc retweeted
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.
Paweł Szulc retweeted
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
I've just published my first #Rust project - crufty. A simple tool for cleaning up build artifacts. Contributions and constructive criticism are welcome! ⭐️ Starring the repo on GitHub will definitely help :) github.com/EncodePanda/cr… #RustLang #OpenSource
Does the world need another "Learn Rust by building X from scratch"? Because I'm about to write one.
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. ✝️
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 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Matt Parsons @mattoflambda
5K Followers 523 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 824 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 434 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 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 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Silentium Obscurum @SilentioObscuro
6 Followers 88 Following ⚡️Scala&FP enjoyer ⚽️Premier League analytics with a twist 👽Interested in the narratives hidden in plain sight 🌙No coincidence is too coincidental
Varomou @Varomou958965
3 Followers 185 Following
Ormeemie @Ormeemie961575
9 Followers 574 Following
Multiple Systems @PLT_cheater
1K Followers 2K Following • Stop Killing Games and ECI co-founder • Available for analyst, bizdev, and software dev work, just DM me • Haskell and FP maxi • Coined "baking"
crezzang @crezzang
214 Followers 2K Following
Fanta @fantayeneh
340 Followers 2K Following
λ @lambda_functor
855 Followers 8K Following
Avi Avni @AviAvni3
437 Followers 1K Following Chief Architect & Co-founder @falkordb. C# & F# Compiler Contributor. Neo4j Certified Professional
Arthi-Chaud @arthi_chaud
20 Followers 25 Following I do code and pizzas. I like pretzels but I prefer code more. 📚 CS PhD Student • Functional Programming, Compilers, Low-Level & Web
100 years of love @Vandiyadevan_27
671 Followers 704 Following Causality,Machine learning and Quantum Computing. The loving men are always for others. Strong opinions loosely held.
Liam Anders @Firstcopytrade
203 Followers 2K Following TA CHART, Consultant Meme,Stock,Metals,Forex and Crypto Analyst.
Idrinal @Idrinal4698
23 Followers 926 Following
Loic Henry-Greard @lhenrygr
373 Followers 1K Following
Tlusa @Tlusa589
17 Followers 991 Following
Pensé FFun @inftyCategory
136 Followers 7K Following
Alex Williams @willia39537
4 Followers 59 Following
Eduardo Bergel @BergelEduardo
828 Followers 4K Following Statistician, Epidemiologist, Data Scientist. Trout Research & Education Centre
STRATO @STRATO_MERCATA
8K Followers 32 Following The easiest way to trade and stake real world assets. TG: https://t.co/3Ffr8Kxsa7
Miguel Ángel Gallard @mikegl
127 Followers 863 Following
choco @choco2097
235 Followers 2K Following
Ahmed Hany @__AhmedHany__
35 Followers 4K Following
MarketProfileX🇺�... @Ookooirvu4932
30 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Jakub @WentaJakub
33 Followers 588 Following J 3:16 Tak bowiem Bóg umiłował świat, że Syna swego Jednorodzonego dał, aby każdy, kto w Niego wierzy, nie zginął, ale miał życie wieczne.
Global Script @gslanguages
1 Followers 126 Following Family of pure-functional programming languages. Very pure.
Misael Bradtke @BradtkeMis26100
57 Followers 3K Following
Matej Cerny @matej_cerny
380 Followers 322 Following Functional programming enthusiast with strong foundations in the relational databases world
Almir Mesic @almirmesic
794 Followers 2K Following F#/C# dev. Domain Driven Design. Senior Software Developer at REN. Author of F# Bite-sized - an online introductory course to F#.
Peng Cheng, asking λ... @tribbloid
487 Followers 417 Following doubling down on Scala ♨️ and Apache Spark 🌟 for ML ∇, provers ∀ & swarms 🐝. maintainer of shapesafe, spookystuff and splain plugin
Yoshi-kuni @yoshikuni_kato
633 Followers 1K Following Software engineer for 10 years. Freelance. Based in Amsterdam, originally from Japan. Focused on iOS/Swift for long, but expanding into Elm/TS/Python/etc.
niewydymka @Jvr3k5
22 Followers 215 Following
random lurker ⏸️ @foo_bar_baz__
146 Followers 5K Following
Niklas @nikpinch
0 Followers 21 Following
Otabek K. @Otabek4Faang
0 Followers 73 Following
Naf 👨🏽💻 @_naf_90
292 Followers 734 Following { Code • Create • Change } - { Web Dev • SQL • Python • Assembly } - Foodie - LFC - 🇦🇺 🏏
#1 OKLCH FUNDAMENTALI... @Sock_Master27
146 Followers 597 Following Vice Chairman of the Board @ The Organization for Advancement of the OKLCH Color Format (OAOCF)
IJ @initvoidself
38 Followers 1K Following
CachorroAzul @cachorroazul84
89 Followers 3K Following Gosto de programação | Avatar criado por catalyststuff - https://t.co/iVkznMbel0
Aleksandra @Oleksandra_Andy
33 Followers 24 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
Christian Hollinger @chollinger93
89 Followers 143 Following Staff Data Engineer @ ngrokHQ. Do Data Engineering, λ enjoyer. Shepherd wildlife for fun on a few acres in north Georgia. No replacement for displacement.
Stefan Derdak @sderdak
25 Followers 405 Following
Yusee Habibu 🐍🇳... @YuseeProgrammer
461 Followers 6K Following Python 🐍 | Software Developer | Data scientist 📊 | @PythonNiger 🇳🇪 | @GDG_Zinder | Chair #PyConNE24 | @PythonKatsina | @PythonHausa & @PyConArewa
Rúnar @runarorama
12K Followers 103 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. ✝️
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 426 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 523 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 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Edward Kmett @kmett
16K Followers 824 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 301 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 434 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
Bob Summerwill @BobSummerwill
18K Followers 6K Following Head of Ecosystem, @STRATO_Mercata | #bitcoin | formerly @ETCCooperative, @POWSummit, @EntEthAlliance, @ConsenSys, @Ethereum, @EA
Kieren James-Lubin @kjameslubin
983 Followers 913 Following President & CEO @BlockApps | Web3Commerce https://t.co/PO2PNGffyy https://t.co/niy8C32aah https://t.co/I53mEYfWDk
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 @STRATO_MERCATA
8K Followers 32 Following The easiest way to trade and stake real world assets. TG: https://t.co/3Ffr8Kxsa7
Jackson Danna @JacksonDan1576
4 Followers 38 Following I'm a software engineer who loves functional programming, exercise, and story telling.
Aleksandra @Oleksandra_Andy
33 Followers 24 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
281 Followers 859 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
242 Followers 739 Following Delivery Manager and Founding Team @umatr_io Finding the best Rust talent in all corners of the globe 🌍🌎🌏 Community Contributor @RustMatters
chreke @therealchreke
665 Followers 879 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
111 Followers 212 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
920 Followers 64 Following Asia's Premier Functional Programming Conference. 24-25 January 2025
Type Theory Forall @ttforall
4K Followers 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
rustikonconf @rustikonconf
68 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 398 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
898 Followers 904 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
355K 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 @ToolUseAI
1K Followers 1 Following The latest A.I. tools and strategies Featuring top builders, entrepreneurs, and researchers
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 827 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 996 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
68 Followers 4 Following Join Matrix: https://t.co/SbK1wCmcCW By @locallycompact
FromJavaToHaskell @to_haskell
204 Followers 1K Following Software developer. I am learning Haskell programming language.
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
gelisam @haskell_cat
1K Followers 308 Following AI Safety ∩ Programming Language Theory. Professional Haskell developer at https://t.co/qG4jsBEIIO, opinions are my own.Trends for United States
12,2 B posts
50,4 B posts
121 B posts
13,3 B posts
27,7 B posts
8.226 posts
10,7 B posts
20,9 B posts
10,4 B posts
4.992 posts
9.823 posts
12,5 B posts
6.089 posts
33,1 B posts
4.891 posts
29,7 B posts
2.584 posts
2.827 posts
1.119 posts
You might like
Adam Warski
@adamwarski
7K Followers
Scala Times
@ScalaTimes
8K Followers
Impure Pics
@impurepics
6K Followers
Oli Dinov 💙
@olidinov
2K Followers
SoftwareMill
@softwaremill
5K Followers
Signify Technology
@Signify_Tech
3K Followers
LambdaConf 2025
@lambda_conf
9K Followers
Alejandro Serrano
@trupill
4K Followers
Matt Parsons
@mattoflambda
5K Followers
ziverge
@zivergetech
3K Followers
Michael Snoyman
@snoyberg
6K Followers
Lambda World
@Lambda_World
4K Followers
Jakub Kozłowski
@kubukoz
5K Followers
Scalar Conference
@scalarconf
2K Followers
Sébastien Doeraene
@sjrdoeraene
3K Followers