Stories by pjmlp

Spark: Formal Verification and Proving Program Correctness in Ada

Microsoft is slowly turning Edge into another Copilot app

How to Vulkan in 2026

Unix v4 (1973) – Live Terminal

Windows 11 surges among PC gamers on Steam as Linux stalls

Memory is running out, and so are excuses for software bloat

US bars 5 Europeans it says pressured tech firms to censor American viewpoints

What the Linux desktop needs to challenge Windows

Rust and the price of ignoring theory [video]

Exploring the AndroidX WebGPU API in Kotlin

A deep dive into open sourcing WSL at Microsoft [video]

Excel: The Most Successful Functional Programming Platform [video]

AWS Re:Invent 2025 – Introducing Nitro Isolation Engine [video]

Denmark sees US as potential security concern

State of Developer Ecosystem Report 2025 (JetBrains)

The Undisputed Queen of Safe Programming

WebGPU coming to Android userspace (Java/Kotlin)

CppCon 2025: Building Secure C++ Applications: A Practical End-to-End Approach [video]

1
2
3
4
5
6
7
8
9
10