Paweł Szulc
@EncodePanda
Haskell, 范畴论, λ, Distributed Systems, Formal Methods
你可能會喜歡
why whitepaper anymore? prompt: "write a whitepaper describing the design decisions of this project" next up: continuously deployed whitepaper
youtube.com
YouTube
MariaDB and PostgreSQL - A technical DeepDive into how they differ
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…
youtube.com
YouTube
Gödel's Incompleteness Theorem - Computerphile
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!
youtube.com
YouTube
PLP 1.1-1.3: Introduction - Programming Languages and Why We Study...
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.
This Google Scholar PDF reader AI outline is nice. It's chrome extension that works when you open PDF with chrome. chromewebstore.google.com/detail/google-…
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!
Friends don't let friends do `IORef (Map k v)` when `stm-containers` exists github.com/parsonsmatt/pr…
My "Choreographing Distributed Systems: A Functional Approach" is already online! youtu.be/EVtl67Ni1Ms?si…
youtube.com
YouTube
Choreographing Distributed Systems: A Functional Approach - Paweł...
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
United States 趨勢
- 1. #SpotifyWrapped 114K posts
- 2. Chris Paul 20.8K posts
- 3. Clippers 30.9K posts
- 4. #NSD26 14.8K posts
- 5. Good Wednesday 34.2K posts
- 6. $MSFT 12.8K posts
- 7. #WednesdayMotivation 3,936 posts
- 8. National Signing Day 4,996 posts
- 9. #TierraDeAmorYSoberanía 1,801 posts
- 10. Hump Day 13.6K posts
- 11. GreetEat Corp. N/A
- 12. Nashville 32.4K posts
- 13. Fisherman 12.4K posts
- 14. Welcome Home 18K posts
- 15. Elden Campbell 1,485 posts
- 16. $CAPR N/A
- 17. HERE I COME 34.9K posts
- 18. Happy Hump 9,111 posts
- 19. Somalis 107K posts
- 20. #Wednesdayvibe 2,157 posts
你可能會喜歡
-
Adam Warski
@adamwarski -
Scala Times
@ScalaTimes -
Oli Dinov 💙
@olidinov -
SoftwareMill
@softwaremill -
Signify Technology
@Signify_Tech -
LambdaConf 2025
@lambda_conf -
Alejandro Serrano
@trupill -
Matt Parsons
@mattoflambda -
ziverge
@zivergetech -
Michael Snoyman
@snoyberg -
Lambda World
@Lambda_World -
Jakub Kozłowski
@kubukoz -
Scalar Conference
@scalarconf -
Andres Löh
@kosmikus -
Adam Fraser
@adamfraser
Something went wrong.
Something went wrong.