miniblog.

← Back to all posts
May 22, 2021 at 21:35
1
I'm coming to the view that NP-complete problems are harder to work with than tasks equivalent to the halting problem. For the halting problem, you know you're never going to solve the general case. For NP-complete problems there's a slew of complex algorithms to explore.

Related Posts

Feb 7, 2026 at 20:55
1
Today I learnt about "bypass charging", a phone feature where it can run directly off the mains without using the battery at all. No battery charging, less heat, less battery wear. Nifty.
Here are all the phones that support bypass charging, and why you should use it
Here are all the phones that support bypass charging, and why you should use it
Few phones on the market can draw power directly from the wall, bypassing the battery while charging. But are the benefits tangible enough?
Feb 5, 2026 at 23:09
1
I'm considering using WebP more: for example, my websites would load faster and browsers have supported it since 2020: https://caniuse.com/webp That said, GitHub just added support in August 2025, so I suspect I'd still find use cases that don't work yet:
WebP image format | Can I use... Support tables for HTML5, CSS3, etc
"Can I use" provides up-to-date browser support tables for support of front-end web technologies on desktop and mobile web browsers.
Added support for WebP images - GitHub Changelog
Added support for WebP images - GitHub Changelog
WebP image support is now available across github.com and GitHub Enterprise Cloud with data residency. Previously, uploading WebP images resulted in broken previews or forced users to download files to…
Feb 5, 2026 at 09:59
3
Test code is total: we require it to always terminate or it's a failure! It also typically has 100% line and branch coverage. I feel way less nervous about refactoring tests, you can always just run them.