Friday, 9 October 2026
Let’s go for my web review for the week 2026-41.
Wherein the slopbros won’t stop
Tags: tech, ai, machine-learning, gpt, copilot, web, commons, ethics
This is a rant yes but well deserved. Those companies selling giant LLMs are just DDoSing everyone…
https://www.dnalounge.com/backstage/log/2026/10/06.html
That Time I Worked With a Laptop Thief
Tags: tech, theft, law, hardware
Or why you should have a proper inventory. Also shows how having a proper MDM in place can help.
https://blog.pipetogrep.org/2025/07/27/that-time-i-worked-with-a-laptop-thief/
Why I recommend Renovate over any other dependency update tools
Tags: tech, dependencies, tools, foss
It’s really a strong option for dependency updates indeed.
https://www.jvt.me/posts/2024/04/12/use-renovate/
montray: A tray icon and desktop alerts for systemd services and custom health checks
Tags: tech, linux, systemd, monitoring, tools
OK, this is really a neat idea. Seems useful to have a simple check on important tasks on several machines.
https://github.com/dimonomid/montray/
Proving Rust Web Application Correctness with Lean 4
Tags: tech, safety, formal-verification, rust
As usual with such provers the model is fairly constraining. But nowadays it seems to start being usable in more cases. Deriving the Lean code from the source code is nice too.
https://medium.com/@Koukyosyumei/proving-rust-web-application-correctness-with-lean-4-8889583f1e15
Modernizing Utility Software Starts With the Workflow, Not the Technology
Tags: tech, complexity, work
Indeed, it would be way too easy if it was just about rewriting in a new stack. It’s often a question of better alignment with a changed context.
Redesign without fear
Tags: tech, architecture, refactoring
A bit of an advertisement for the author’s book but the advice makes sense. The strangler fig pattern indeed works at smaller scales. Grow the new API first, test it, then port.
https://blog.ploeh.dk/2026/10/02/redesign-without-fear/
Bye for now!

















