Next Chapter!
Next Chapter!
Two days ago, I've defended my 5 year, 5 chapter Ph.D. thesis. Today, I write about what's next, a spiritual 6th chapter! My dissertation, titled "Designing Effective Property-Based Testing...
Articles
May 2026
What is random generation?
What is random generation?
I wanted to write this as a sequel to "What is a property?" where I would talk about how Property-Based Testing libraries generate random structures, don't worry, I'll still do that! But I realized...
Have we won, what now?
Have we won, what now?
Will Wilson of Antithesis is a terrific public speaker, his latest keynote "We won, what now?" at the flagship Antithesis conference, BugBash 2026, was another great hit. There are some other nice...
April 2026
The Uncomfortable Truth About AI-Assisted Development
The Uncomfortable Truth About AI-Assisted Development
AI-generated code contains 1.7 times more issues than human-written code, particularly in logic errors, security vulnerabilities, and performance problems. While AI coding assistants increase development velocity, they also lead to a significant increase in production incidents due to the code’s tendency to pass shallow tests but fail on edge cases. Effective mitigation requires grounding AI models in context, automating quality checks, and treating AI output as untrusted.
Fixing Apple Mail When It’s Stuck on Downloading Messages
Fixing Apple Mail When It’s Stuck on Downloading Messages
Apple Mail shows 'Downloading messages' but nothing arrives? Here’s how I debugged and fixed a broken sync state after a fresh macOS setup.
Serena MCP: Giving Your AI Coding Tools an IDE Brain
Serena MCP: Giving Your AI Coding Tools an IDE Brain
I've been recommending Serena to everyone at work for a while, yet somehow never got around to trying it myself. I finally sat down with it on a hobby project - a TypeScript monorepo - and the...
On The Simplicity of Humanness
On The Simplicity of Humanness
Just yesterday, Bryan Cantrill published a short piece that touches something that I think most of us fundamentally understand, but don't have the words. The article is very short, titled "The peril...
What is a property?
What is a property?
When talking about Property-Based Testing, we typically talk in very abstract terms. There are properties, which define the correctness; there are generators, which define the domain; the PBT...
March 2026
How "Uncomplicate JavaScript" Got Complicated
Deno was born to uncomplicate JavaScript — but abandoned that modernization lead in pursuit of Node.js compatibility. This is one early adopter's account, from a rejected PR to today's axios supply chain attack, of how the revolution quietly ended.
iOS Uygulaması Cold Start İyileştirmeleri, Karpathy Autoresearch, 117 Experiment ve 5 Frontier ModelTurkish
@karpathy geçtiğimiz günlerde oldukça ilginç bir konsept tanıttı. Bir AI modeline araştırma döngüsü kurduruyor, modele deney tasarlattırıyor, deneyi çalıştırtıyor, sonucu ölçtürüyor ve bir sonraki hipotezi ürettiriyor. Buna autoresearch diyor.
Açık Kaynak Pazartesi'si: SwiftAutograd, SwiftRL SPM PaketleriTurkish
Swift'te on-device reinforcement learning için iki SPM paketi: SwiftGrad (autograd engine) ve SwiftRL (RL framework). Karpathy'nin micrograd'ından ilham alan SwiftGrad ve üzerine inşa edilen SwiftRL ile sıfır bağımlılıkla cihaz üzerinde RL eğitimi.