Disnocen

Cryptographer Engineer at Blockstream

Intro

This is my website. It is simply updated through a google docs file!

I also have a previous, sparingly used blog here, but I may not really believe everything I say there. Consider this website the most updated one.

My X account: sparingly used, maybe I should tweet more. You can write me on telegram to start a convo

2026-08-03v2

Gpt 5.6. Sol works very well I must say. Working on consensus right now, simulating basic BFT in case of network problems + byzantine behaviour. Fun weekend project I must say.

Just never let the LLM plan, really. It’s not good. Too much details and too little thinking/overview and understanding of consequences at the same time.

I wonder now if my job is just being a good planner. Writing code is obsolete. Fortunately I am a researcher by training, but can I be an expert in all parts of a project?

---

Codex is my sysadmin now. Moved me from dwm to hyprland in minutes, and everything works. Created a repo for my dotfiles and it works there too. All that while working. A couple of tmux sessions had everything done for me. Controlled from the phone, of course.

It helps on a lot of things, and I use it at like 10% of their potential. It feels like re-learning how to use my Linux PC from scratch.

I have been very bearish on LLM last months, mostly for a combination of bad models, bad use on my part and the fact that LLMs simply can not write. I fell for the “knowledge base” thing and produced documents writing meaning less things. Man, you have to really guard that llm, you know? You leave it alone writing a 10 pages “research paper” and you find it sprouting “scaffolding” and “security boundary”  and |invariant” all over the place.

----

Today another AI-based problem with a piece of Bitcoin infrastructure, after the ColdCard debacle

2026-08-03

First entry

Wow! Unexpectedly the thing is working! What a wonderful thing!

It also has autoupdate. I can not believe how easy it was

So easy to update. Never thought about that easiness

The difficulty is in having a VPS now it seems