Daily Shaarli
June 7, 2025
Not fond of the metaphor used here which leads to quite some noise. Still, this article contains interesting ideas to try to push R&D initiatives forward. Definitely needed to improve any kind of organisation.
Nice simple fix in Git but with a large impact on backups. A good proof that profiling and keeping an eye on algorithmic complexity can go a long way in improving software.
Interesting paper about metastable failures and novel approaches to try to analyse them. It's early days but we would need to get toward better prevention.
Interesting thinking and trick. We clearly pile up too much noise in our shell history.
There's clearly something tempting about a web index somehow separated from Google. It always felt like a natural monopoly and so a type of public service.
Now that push arrives a tad late so the impacts are unclear. Overall I still think this would be a net positive if there are more web search companies built onto such an index.
Didn't know bash got this feature now. I'm torn between "it looks so cool" and "we'll never see the end of debugging issues which use this".
The memory models for GPU programming are complex. This isn't easy to squeeze more performance without introducing subtle bugs.