Google Sheets recalculates cells twice as fast after shifting its compute engine to WebAssembly. Figma cut initial load time by 3x. Shopify executes custom checkout rules compiled from Rust to Wasm at the CDN edge - all in production, serving millions of users every day. WebAssembly started as a way to bring C++ into the browser. Today, in 2026, it is a universal binary runtime that executes in browsers, edge networks, serverless functions, and even AI inference pipelines. The W3C ratified Wa... Read more ›
A little fail-safe filesystem designed for microcontrollers - littlefs-project/littlefs Read more ›
On the Expressive Power of Programming Languages with Shriram Krishnamurthi | September 12, 2019 in St. Louis, Missouri Read more ›
Indexes your whole repo locally and ranks the worst code, so AI coding agents fix it instead of adding slop. Offline, on your machine — pairs with any model, including local LLMs like Qwen. Read more ›
Discover why Elixir and Phoenix are the ultimate tech stack for the AI era, offering massive concurrency, effortless text streaming, and rapid iteration. Read more ›
A succinct introduction to the Odin programming language for experienced programmers, especially those familiar with Go, Java, and other GC-based languages. Read more ›
I’ve been running a mixed Proxmox cluster for years – four nodes of wildly different capability, from an Atom x5-Z8350 with 2 GB of RAM (a z... Read more ›
From pretraining to RLHF/GRPO — every algorithm hand-written in pure PyTorch. Read more ›
Local-first SQLite manager with SQL editor, row editing, schema graph, charts, Markdown documents, media tagging, exports, backups, and CLI. Read more ›
Detects usage of unsafe Rust in a Rust crate and its dependencies. - geiger-rs/cargo-geiger Read more ›
This is a preview of a book to be published by Cambridge University Press. It is distributed under the terms of the CC BY-NC-SA 4.0 license. Read more ›
Proper TCP socket splicing reduces the load on userspace processes and enables more efficient data forwarding. We realized that Linux Kernel's SOCKMAP infrastructure can be reused for this purpose. Read more ›
Series context (Part 4 of 8): This article assumes familiarity with . Understanding why consistency guarantees are hard at the database layer is essential context before introducing distributed patterns here. Why Microservices in Banking? Microservices in banking is the architectural pattern where a core banking system is broken into independently deployable, domain-owned services (CIF, Payments, Lending, Notifications) connected by an event bus instead of direct database calls. This replaces... Read more ›
🌿 Introduction As climate awareness grows, individuals are looking for actionable ways to reduce their personal carbon footprints. However, most carbon calculators are either too complex or offer generic, unhelpful advice. To solve this, I built CarbonWise—a production-ready Carbon Footprint Awareness Platform. It combines deterministic scientific carbon calculations with real-time, personalized AI reduction strategies using the Groq LLM API. Here is a technical deep-dive into how I built, se... Read more ›
How the PHP 8 JIT really works. From the compilation pipeline and the Zend VM loop to native code generation, with verified benchmarks and the move from DynASM to the new IR framework. Read more ›
This English version is an AI translation of my original article on Qiita (in Japanese). About this article On June 3, 2026, Elixir 1.20 shipped with a type system. But it aims at something a little different from the type systems we are used to, the ones where you write types to buy safety. This article started from my own questions, which I worked through with an AI agent. We went to primary sources (the official blog, the docs, the paper), and in the end I installed Elixir 1.20 and checked... Read more ›
Wasm interpreter in lean, designed for reasoning. Contribute to cajal-technologies/talos development by creating an account on GitHub. Read more ›
--- Murmer is a distributed actor framework for Rust, built on tokio and QUIC\. It provides typed, location-transparent actors that communicate through message passing\. Whether an actor lives in the same process or on a remote node across the network, you interact with it through the same `Endpoint` API\. **Why I built this** I’ve spent years working with Elixir and the BEAM VM, and the actor model there is something I’ve grown deeply fond of — the simplicity of processes, message pass... Read more ›
Google an update on Android developer verification, which is set for its initial launch later this year and will continue into 2027. Read more ›