← Feed

Posts

• Post #2800077

  Whenever I am in France or communicating with French people, I unconsciously start writing my surname in caps: "Vadim ZALIVA". I think this is a nice disambiguation, and I wish it were adopted more widely.

• Post #2800076

  #popl2026 at Rennes, France

• Post #2800075

  I wanted to try Harmonic (POPL Sponsor, recommended by @satnam6502 ), but their API licence defines "Customer Data" to include inputs, outputs, and any derivative works thereof - meaning my own work derived from the outputs. It then requires an irrevocable, perpetual licence to all of that, with no obligation of attribution. I would be happy to try it again if they revisit this.

• Post #2800074

  I wanted to spend a couple of days in France after the conference to decompress and catch up with some old friends. The result: it is 8 am, and I am doing Lean proofs in my hotel room in Paris :)

• Post #2800073

  "Building a C compiler with a team of parallel Claudes" https://www.anthropic.com/engineering/building-c-compiler I think a compiler is an excellent application to see how far AI brute-forcing could get one. Also, their claim "this was a clean-room implementation" is patently false, as their model is trained on existing open-source compiler sources.

• Post #2800072

  I always wanted a holistic view of system performance - like `top`, but with CPU and memory usage organised (and sorted) by applications and hierarchical groups. So I hacked together a small script that does exactly that: https://github.com/vzaliva/perf-glance

• Post #2800071

  Parallel build with Lean 4 on my laptop loads 24 cores of AMD Ryzen AI 9 HX PRO 370. I suspect it does not clock at max 5.16 GHz due to thermal restrictions.

• Post #2800070

  I am considering riding my motorcycle from San Francisco to Boulder, CO, in June to attend the #PLDI2026 conference. I wonder if anyone wants to join? It will be a minimum of 3 days/2 nights each way, and the route could be quite scenic. Optionally, we can plan some off-road segments as well.

• Post #2800069

  JFP now requires preprints to go on arXiv, HAL, or Zenodo before submission, but my arXiv upload has been "on Hold" for a week with no ETA. :(

• Post #2800068

  "You don’t need drugs if you live by the sea, said Apostolakis. Alright, in fairness, you need the odd glass of wine. But the sea is a massive hallucination, a constant trip. It’s unbelievable, but it’s there." Seven by Joanna Kavenna

• Post #2800067

  Run Claude Code and Codex inside a rootless Podman jail with built-in Lean 4 support (lean-lsp MCP, lean4-skills) https://github.com/vzaliva/podman-ai-agent-isolation

• Post #2197017

  I made this page so next time someone forces you to change your password "for security", you can just send them this 😏 https://zaliva.org/blog/2026/04/why-forcing-users-to-change-passwords-is-bad-for-security.html You're welcome.