Paweł Szulc
@EncodePanda
Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Bạn có thể thích
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…
github.com
Use `stm-containers` instead of `IORef (Map k v)` by parsonsmatt · Pull Request #1 · parsonsmatt/...
Concurrency in the Vector type The Vector type in Prometheus.Metric.Vector uses an IORef (Map l (Metric m)). This is a known antipattern for poor performance. The proper fix is to use the stm-conta...
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
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.
United States Xu hướng
- 1. #KonamiWorldSeriesSweepstakes N/A
- 2. #2025MAMAVOTE 1.45M posts
- 3. Tyla 18.8K posts
- 4. Fetterman 71K posts
- 5. Mitch McConnell 6,244 posts
- 6. No Kings 146K posts
- 7. Miguel Vick N/A
- 8. Somalia 30.2K posts
- 9. Yung Miami 1,072 posts
- 10. Deport Harry Sisson 27.1K posts
- 11. Caresha 1,031 posts
- 12. GTreasury 6,153 posts
- 13. #SpiritDay 1,770 posts
- 14. Andrade 6,878 posts
- 15. #thursdayvibes 4,015 posts
- 16. ErgoChair X N/A
- 17. Dave Dombrowski N/A
- 18. #WorldFoodDay 37.3K posts
- 19. Ninja Gaiden 26.7K posts
- 20. Starting 5 7,807 posts
Bạn có thể thích
-
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 -
Sébastien Doeraene
@sjrdoeraene -
Andres Löh
@kosmikus
Something went wrong.
Something went wrong.