Paweł Szulc

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

[Paweł Szulc @EncodePanda]

/s/rabbitonweb/EncodePanda

[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]

My oldest son started creating templates to develop your own games in Robolox.

If your kids spend endless hours doomscrolling, consider introducing them to game development in Roblox.

My son can help!

[Lopim Official @Lopim_Official]

🎲My RNG Farm Template is HERE!
Everything you need to make your own UNIQUE Game!
💸 Price: $50 or R$15,000 + tax!
📦 Included: RNG System, Plots, Animations & More!
📩 Contact: X/Twitter
#RobloxDev #Roblox #RobloxStudio #RobloxScripting #RobloxTemplate

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

[Mushtaq Bilal, PhD @MushtaqBilalPhD]

Sci-Hub is an evil website that pirated 85M+ research papers and made them freely available

And now they've added AI to their database to make Sci-Bot.

It answers your questions using latest, full-text articles.

But DO NOT use it. We should all try to make billion-dollar academic publishers richer.

I'm putting the link below so you know how to avoid it.

[PagedOut @pagedout_zine]

Call For Pages is still open! We're calling all authors and artists who would like to be a part of Paged Out! Issue #9. Our email [email protected] is waiting!

[fab2s @flodl_dev]

Write-up: https://t.co/u8DfN4Yl0B
Tutorial: https://t.co/Y9bTGWB2Dk
Crate: https://t.co/5pmkpY8HEz
Repo: https://t.co/6FoabgCx1F
Feedback and PRs welcome.

[Paweł Szulc @EncodePanda]

Poland Math Stronk

[Lukasz Olejnik @lukOlejnik]

Physicist has written a fascinating big beautiful paper.Let’s not be afraid to call it what it is - groundbreaking. For hundreds of years, mathematics had dozens of “basic” functions: sine, cosine, logarithm, square root, exponential. You know these from school. Everyone does. Now it turns out that all of it is one single operator:
E(x, y) = exp(x) - ln(y), and the constant 1.
Sin, cos, π - everything follows from this neatly , just nest it properly. Nature hid the simplest possible description of reality. And it was just been found. The whole thing is beautiful and remarkable, here the word “groundbreaking” is not a marketing buzzword.
For instance, instead of writing π or 3.14, one can now elegantly write E(E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(E(E(E(1,E(E(1,E(1,E(E(1,E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(E(1,E(E(1,1),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1)),1))),1)),1)),1)),1))),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1))),1))),1)),1)),1)),1),1),1))),1))),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1))),1))),1)),1)),1)),1)

https://t.co/Pv2UUbTEay

[Paweł Szulc @EncodePanda]

@jdegoes Have you seen this https://t.co/GZx7RIOsi1

[PagedOut @pagedout_zine]

Learning reverse engineering and hungry for some real-world tips and tricks? Check out this article by Amnesia ("Reverse Engineering Cryptography Code"). This is a solid overview with multiple approaches to the topic.

[Muhammad Ayan @socialwithaayan]

🚨 BREAKING: Someone just built the exact tool Andrej Karpathy said someone should build.

48 hours after Karpathy posted his LLM Knowledge Bases workflow, this showed up on GitHub.

It's called Graphify. One command. Any folder. Full knowledge graph.

Point it at any folder. Run /graphify inside Claude Code. Walk away.

Here is what comes out the other side:

-> A navigable knowledge graph of everything in that folder
-> An Obsidian vault with backlinked articles
-> A wiki that starts at index. md and maps every concept cluster
-> Plain English Q&A over your entire codebase or research folder

You can ask it things like:

"What calls this function?"
"What connects these two concepts?"
"What are the most important nodes in this project?"

No vector database. No setup. No config files.

The token efficiency number is what got me:

71.5x fewer tokens per query compared to reading raw files.

That is not a small improvement. That is a completely different paradigm for how AI agents reason over large codebases.

What it supports:

-> Code in 13 programming languages
-> PDFs
-> Images via Claude Vision
-> Markdown files

Install in one line:

pip install graphify && graphify install

Then type /graphify in Claude Code and point it at anything.

Karpathy asked. Someone delivered in 48 hours.

That is the pace of 2026.

Open Source. Free.

[Paweł Szulc @EncodePanda]

@kerckhove_ts Have you used Skills to instruct Claude how to behave?
Or even without skills, you can say in a prompt how to approach the investigation (write test first that will fail).

Or did you just say "Investigate" and act surprised that it literally did the simplest thing possible? :)

[Paweł Szulc @EncodePanda]

@flodl_dev Please tell me this is not an April's Fool joke!

[Paweł Szulc @EncodePanda]

OMG my new favorite channel!

https://t.co/fUx8CeEfrT

Just watch @computablesecrets amazing videos about computability and complexity!

[Paweł Szulc @EncodePanda]

I want to speak & read Mandarin.
I’m willing to invest meaningfully to do it efficiently.
What are the best options?

[kitze · supermac.io 🐦‍🔥 @thekitze]

🚨 BREAKING: GPT 5.4 rates the Claude Code codebase 6.5/10 💀

"This is not junior spaghetti. This is staff-engineer spaghetti: performance-aware, feature-flagged, telemetry-instrumented, surgically optimized spaghetti" 😭

[Paweł Szulc @EncodePanda]

Last year I could not make it :(
This year I'm going to be there 100%!
Lambda World is an amazing conference and you should join me as well!

[Lambda World @Lambda_World]

Last day to purchase your early camaron tickets and submit a proposal to our Call For Papers!

https://t.co/PafxJFehwD

@CFP_Bot @WikiCFP

#FunctionalProgramming