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 ›
HyperSnatch v1.6.11 is the public launch build for the Proof Foundry-branded release line. HyperSnatch is a local-first Windows tool for decoding, organizing, signing, verifying, and sealing invest... Read more ›
A complete guide to the redesigned Monad Passages in Persona 3 Reload, including locations, enemy strategies, and recommended teams for every challenge in Tartarus. Read more ›
How a filename collision in lit's --per-test-coverage produced malformed profraws that crashed llvm-profdata, and the two upstream PRs that fix it. Read more ›
We propose CHERI-D, an architectural extension to CHERI that supports efficient temporal memory safety. Efficient memory safety is an increasing priority for programming languages, operating systems, and hardware designs, and CHERI is a leading hardware/software system that provides native spatial safety and a foundation for temporal memory safety. Due to CHERI lacking intrinsic architectural support for temporal memory safety, the state-of-the-... Read more ›
Offensive C development has been stuck in the dark ages. SindriKit is what happens when you apply thirty years of software engineering to the problem. Read more ›
CozoDB is an embedded relational-graph-vector database created by Ziyang Hu and the Cozo Project authors. It does Datalog, vector search (HNSW), and full-text search in a single embedded engine and was created with the vision to be the “Hippocampus for AI”. Unfortunately, the project went quiet after December 2024. KuzuDB, another embedded graph database with vector and full-text indexes similar to Cozo, was archived in October 2025. 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 ›
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 ›
A Schema.org structured data generator that supports the creation of JSON-LD markups. Including all of the required item properties and more. Read more ›
Haskell for FPGA Hardware Design: Use abstractions like monads and lenses to implement 1970's retro-computing devices like arcade machines and home computers. Read more ›
The browser updates address multiple memory safety bugs that could potentially lead to remote code execution. The post appeared first on <a href=" Read more ›
The Ξ (Xi) Programming Language Read more ›
The case for an offline-first appliance, simple enough for a mere mortal. Read more ›
Welcome to the six hundred and fiftieth issue of LLVM Weekly, a weekly newsletter (published every Monday) covering developments in LLVM, Clang, and related projects. LLVM Weekly is brought to you by Alex Bradbury. Subscribe to future issues at and pass it on to anyone else you think may be interested. Please send any tips or feedback via email: asb@asbradbury.org, or Mastodon: @llvmweekly@fosstodon.org / @asb@fosstodon.org, or Bluesky: @llvmweekly.org / @asbradbury.org. 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 ›
Learn how to work with data, and fearless memory management in Odin Read more ›
Pure Effect is a zero-dependency effect library for JavaScript and TypeScript. Your business logic returns plain objects describing the I/O it would perform, instead of performing it. You can read those objects in a test or replay them from a failed production run, and the database is never touched until the interpreter runs them. Read more ›