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 ›
Organize your job hunt with Jobflo. Track applications, utilize on-device AI for resume matching, and beat ghost jobs. The ultimate local-first job search tracker for professionals. Read more ›
LLVM/MLIR Intermediate Representation with Machine Learning and Python/C++ Implementation - LLVM AI agent training included - Mecca-Research/Binary-Correspondence-Intermediate-Representation Read more ›
Ok, so if you go back to my War Card Game post, you'll see I had a card you could move around with the mouse. Well, this logic was implemented poorly, using ... Read more ›
Sort of like what Rust was back in 2012. Read more ›
Rust has made safe systems programming practical on the CPU, but writing custom GPU kernels in Rust still forces programmers outside the language's ownership guarantees. We present cuTile Rust, a tile-based system for safe, idiomatic GPU kernel authoring in Rust. cuTile Rust extends Rust's ownership discipline to tile-based GPU kernels: mutable outputs are split into disjoint pieces, kernel launches preserve the host-side ownership contract, and... Read more ›
Reconstruct what was true at the time, find stale or conflicting facts, and generate an incident report. No LLM call. No graph database. Read more ›
Prism: An Impure Functional Language With Typed Effects This is going to be a very nerdy post so bear with me. Here is a function. Read it the way you would read any other function, and then tell me its type. fn fib(n) = var a := 0 var b := 1 repeat(n) fn let t = a + b a := b b := t a That is a mutable loop. There is a var, there is assignment, there is a temporary so the swap does not eat itself. It is, line for line, the fib you would write in Python after deciding that recursion was a youn... Read more ›
Writing transaction commit logic as a SQL view enables higher throughput than control-plane approaches. Incremental view maintenance makes resolution fast enough for interactive timescales (~30ms). Read more ›
How Clef delivers memory safety and liveness integrity for multi-threaded and multi-process applications Read more ›
Modern applications are expected to handle millions of users, process large volumes of data, and deliver features faster than ever before… Read more ›
Electronic Social Security payments are being touted as faster and safer than paper checks. But those who rely on them will need support to make the transition. Read more ›
As software engineers, we often architect solutions in a virtual ideal: fast networks, elastic resources, and servers that never physically degrade. But what happens when your carefully crafted systems need to interact with the messy, unpredictable physical world? Think factory floor monitors, real estate camera networks, or remote tracking devices. Suddenly, those cloud assumptions about infinite uptime and perfect connectivity crumble. My journey, particularly architecting and maintaining a... Read more ›
Webinar on Accessible Mathematical Content in PDF The webinar “Accessible Mathematical Content in PDF”, organized by the PDF Association on June 16th, was a great success from the feedback we received. The four panelists David Carlisle (LaTeX Project & editor of MathML at W3C), Boris Doubrov (Dual Lab & chair LaTeX Project Liason Working Group), Frank Mittelbach (LaTeX Project lead), Neil Soiffer (creator of MathCAT & co-chair of the Math Working Group at W3C), and moderator Duff Johnson (CEO... Read more ›
Google's World Cup match cards are displaying incorrect national flags — Norway gets Belgium's flag, England gets France's. Here's why this probably happens and why it matters. Read more ›
Shadow warrior test includes a written exam, with marks given for shuriken throwing and ninja attire. On 14 June, 131 aspiring modern-day ninjas descended on Koka City in Shiga Prefecture to test their ninja prowess by taking a special ninja certification test. Known as the Koka-ryu Ninja Certification, with “Koka-ryu” meaning “Koka School”, the exam […] Read more ›
A few weeks ago someone at work asked me what I actually do. Not my job title — they had that — but what functional programming is. I started in on the usual mumble about pure functions and immutability, watched their eyes begin the slow slide toward the exit, and then they rescued both of us with a guess: “Functional programming… does that mean you write the code yourself, instead of having Claude do it? Is that the thing?” Read more ›