The daily ledger

Idea: Optics types, combining pattern types and view types

Here is a naive idea inspired by the optics (lens and prisms) in bidirectional transformation. Given the view types like lens that provides partial view and update for product types, and pattern types like prisms that…

Profiling Rust with hotpath-rs: The Complete Guide - From SQL Queries to CPU Sampling

This Month in Rust OSDev: July 2026

Bevy's Sixth Birthday

Rust Coreutils: Rebuilding Unix Foundations in a Modern Language

git-cache-proxy: read-only cache for git

A Vision for Cargo

floDl: Introducing AMD GPU support

Typed Conversations: Make Illegal Agent Dialogues Unrepresentable

Downcasting Arcs in Rust

Even more formal verification for BPF

ECQV: implicit certificates, and why I kept them out of the project that motivated them

HTML, JavaScript, CSS should have died long ago

Building scalable backend services with Rust and PostgreSQL

Rust SIMD on the GPU

GRIT 1.1: type-check your quantized tensors

fearless_simd v0.7: 64-bit integers, improved generics, SSE2, and upcoming v1.0

TLS Handshakes: Measuring the Performance of 4 Cryptography Libraries

PoC for universal hardware-in-the-loop HAL test suite — Tweede golf

FLOSS 878 - A Tool With Opinions