HN blogs - 13/11/23
A formally verified R-tree implementation https://kuruczgy.com/blog/2023/11/12/verified-rtree/ (HN source)
WordPress plugins are a little sad? https://chriscoyier.net/2023/11/13/the-top-wordpress-plugins-are-a-little-sad/ (HN source)
Cancellation and Async State Machines https://theincredibleholk.org/blog/2023/11/08/cancellation-async-state-machines/ (HN source)
Read the Docs Like a Book https://aaronfrancis.com/2023/read-the-docs-like-a-book (HN source)
Frameworks Cover Up Skill Issues, and That's a Good Thing https://jakelazaroff.com/words/frameworks-cover-up-skill-issues-and-thats-a-good-thing/ (HN source)
At the Intersection of LLMs and Kernels – Research Roundup https://charlesfrye.github.io/programming/2023/11/10/llms-systems.html (HN source)
Track Your Finances in TOML https://kmaasrud.com/blog/track-finances-in-toml.html (HN source)
The Path to Leadership https://www.yusufaytas.com/the-path-to-leadership/ (HN source)
Order from Chaos: The Subtle Superpowers of Transformer Models https://sethkim.me/l/thesolutionspace/?postnum=9 (HN source)
Bringing QGIS maps into Jupyter notebooks https://anitagraser.com/2023/11/10/bringing-qgis-maps-into-jupyter-notebooks/ (HN source)
Database Monolith https://quesma.com/blog-detail/database-monolith (HN source)
"The Missing Pirate Manual" for Amazonians https://davidmayilian.com/blog/2023/the-missing-pirate-manual-amazon/ (HN source)
Happiness is not a scroll away https://josem.co/happiness-is-not-a-scroll-away/ (HN source)
CSPs and performance of all-different variants https://blog.dawnofthe.dad/posts/all-different-variants/ (HN source)
We All Start as Strangers https://www.bramadams.dev/issue-34/ (HN source)
Uber Stronger Than https://onepercentamonth.com/2023/11/12/uber-stronger-than-ever/ (HN source)
Don't Call People Intelligent https://craig.banach.dev/musings/dont-call-people-intelligent (HN source)
Metaprogramming and self-interpretation of lambda calculus https://text.marvinborner.de/2023-09-03-21.html (HN source)
Trip Autumn ISO C++26 standards meeting https://herbsutter.com/2023/11/11/trip-report-autumn-iso-c-standards-meeting-kona-hi-usa/ (HN source)