Paweł Szulc

Haskell, 范畴论, λ, Distributed Systems, Formal Methods

[Paweł Szulc @EncodePanda]

/s/rabbitonweb/EncodePanda

[Artur Gajowy @ArturGajowy]

2027 is going to be the year of Haskell

[Hack The Planet 💾 @HackedPlanet]

The 1995 cult film "Hackers" was released 31 years ago today. https://t.co/JKVQVSWCH9

#Hackers #HackersDay #HackersMovie #HackThePlanet

[Paweł Szulc @EncodePanda]

@hmemcpy

[Paweł Szulc @EncodePanda]

@fresheyeball Where at?

[Paweł Szulc @EncodePanda]

Hey, Claude, what's 2+2?

Two separate questions hide in that one, and the second is the interesting one.

[Md Ismail Šojal 🕷️ @0x0SojalSec]

Bro casually walks and explains 5 GPU performance optimization methods for LLMs.
one of the most simple and intuitive explanations for beginners.

[floDl @flodl_dev]

The honest part: multi-host is deliberately early. Testable, not finished. That is the point of shipping it: run it, break it, tell me.

Full story: https://t.co/9VGKeFSxwf
Benchmark: https://t.co/O5AylAptVY

#RustLang #DeepLearning

[Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg]

This is an outstanding talk by Scott Meyers on hardware and CPU caches ..

[Orhun Parmaksız 👾 @orhundev]

Watch git diff while the code is changing! 🤯

👁️ livediff — A real-time diff viewer for the terminal

💯 Watch file changes live as generators, formatters, migrations & refactors modify your code

🦀 Written in Rust & built with @ratatui_rs

⭐ GitHub: https://t.co/D20ZWhPJQP

#rustlang #ratatui #tui #git #terminal #devtools #opensource

[Paweł Szulc @EncodePanda]

"I'm no royalist but your 84 seconds of interaction did more to humanise Charles than anything I've watched on TV over many decades."

https://t.co/LFqOG1zp5S

[pikuma.com @pikuma]

It's interesting how AI is constantly providing false information and incorrect statements about my area of expertise. Fortunately, it's very useful and always right about topics I know very little about.

[Paweł Szulc @EncodePanda]

LOL @lexi_lambda, I'm arguing (sic!) with Claude about how ridiculously stupid function it has written in Go, and this just happened:

I have not mentioned you once in that conversation.

[Dwarkesh Patel @dwarkesh_sp]

Gödel's incompleteness theorem is one of those things that math popularisers always talk about as a hugely important result.

But according to @3blue1brown, it almost never comes up in practice. It's a weird pathology that nobody expects to matter for the big questions.

[Ryan Peterman @ryanlpeterman]

Avi Wigderson is the only person in history to have won both a Turing Award (computer science) and Abel Prize (math). I interviewed him all about his field. We discussed:

• His intuition on a proof of P vs NP
• Why we use SAT solvers for most NP problems
• Zero knowledge proofs and their impact
• Quantum computation and implications
• Math and computer science's relationship

Where to watch:
• YouTube: https://t.co/zViqAulFCo
• Spotify: https://t.co/iat08Xob17
• Apple Podcasts: https://t.co/jOYDGtGVnt
• Transcript: https://t.co/k4zS7yOhnw

Thank you to this episode's sponsors for supporting my work:
• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://t.co/y8noBzFEem

Timestamps:

00:00 - Intro
01:08 - P vs NP
14:51 - What if you relaxed correctness
25:38 - Why NP complete problems are equivalent
30:33 - Space vs time complexity
43:06 - Why people use SAT solvers
45:53 - Randomness is a resource
55:48 - Randomness depends on computational power
01:21:20 - Zero knowledge proofs and their significance
01:38:30 - Quantum computation and why it matters
01:56:24 - Math vs computer science
02:08:16 - Major breakthroughs and his experience
02:12:31 - Advice for his younger self
02:14:48 - Outro

[Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg]

Agent amnesia isn’t a feature - it’s an expensive habit.

@modiqoai just dropped the cure with rote: turning one-shot agent explorations into permanent, deterministic flows that every future agent can reuse instantly.

No more re-learning the same APIs. No hosted gateways. Just pure outcome maxxing.

This is how agentic systems actually scale. Thread 👇is required reading w/ ☕

[Quint @quint_lang]

"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 🧵

[Paweł Szulc @EncodePanda]

And now Claude is trying to gaslight me into thinking this is actually a good idea.

[Paweł Szulc @EncodePanda]

I seriously thought that those days were over with Turbo Pascal

```
}
goto done
```

My eyes.

#GoLang 🤦‍♂️

Something, something Dijkstra (https://t.co/S1GCC7gCu6)

[Paweł Szulc @EncodePanda]

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!

https://t.co/aUx2jAb5cz

[John A De Goes @jdegoes]

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'.