Tags: web-review, dependencies, linux, copilot, systemd, theft, law, architecture, ai, refactoring, ethics, gpt, tech, foss, tools, complexity, web, work, machine-learning, formal-verification, rust, safety, commons, hardware, monitoring
Let’s go for my web review for the week 2026-41.
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
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/
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/
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/
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
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.
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!