Stories by Bogdanp

A new way to style gaps in CSS

Writing a Verified Postfix Calculator in Ada/Spark

Raku's "Core"

Proving completeness of an eventually perfect failure detector in Lean4

Verse Language

Under the hood with Apple's new Containerization framework

Hare-update assists in addressing breaking changes in your code

How to Bring Back Oddly Shaped App Icons in macOS 26 Tahoe

Multi-player, serverless, durable terminals

Why Doctors Hate Their Computers (2018)

Green Threads Explained

Radeon Software for Linux Dropping AMD's Proprietary OpenGL/Vulkan Drivers

Apple WWDC 2025

Ruby Gem Naming: The Art of Delightful Obscurity

The high-level OS challenge

LLMs are cheap

Context7: Up-to-date documentation for LLMs and AI code editors

Unlocking the Motorola G23 (and some words on Motorola)

26
27
28
29
30
31
32