Stories by Bogdanp

The Case for Software Craftsmanship in the Era of Vibes

Cursor YOLO deleted everything in my computer

Diceomatic: A DSL for making children's dice games

The Python Language Summit 2025

Rumour: Google Intends to Discontinue the Android Open Source Project

A Lightweight Merge Queue Using GitHub Actions

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

1
2
3