Stories by yarapavan

You Don't Know Jack About Formal Verification

Climbing the Generative AI Mountain: A "hitchhiker's guide" for product managers

How to Be Good at AI Research

Artificial Intelligence for Software Engineering: From Probable to Provable

Reviving Teletext for Ham Radio

Large Language Models in Software Security Analysis

Chatbots' Downward Spiral

Seven Ways to Avoid Losing Your Job to AI

Practical Package Security: The Unofficial Guide

The Origins of GPU Computing

Open Source and the Iceberg Theory

OpenClaw and the China-US AI Agent Divide

AWS Gave S3 Buckets Their Own Rooms

AI Observability and Evaluations: The Operating System for Reliable LLM Products

The future of software engineering [pdf]

CPUs Are Back: The Datacenter CPU Landscape in 2026

Novel Technique to Detect Cloud Threat Actor Operations

AI Scraping and the Open Web

Speeding Up Hash Tables

Bloom filters: the niche trick behind a 16× faster API

1 2 3 4 5 6 7 8 9 10