The Eter logo [TODO] Regime-Based Capability Graph Semantics (RCGS)
TODO
Date: 22 May, 2026 | Time to read: ~15 min

MLIR logo LLVM logo MLIR Empirical Study on AArch64 (Apple M4 Pro)
Empirical study of MLIR optimization passes on Apple M4 Pro using native AoT binaries. Five research questions on tiling, lowering paths, loop fusion, cross-kernel behavior, and the gap to Apple Accelerate/AMX. Includes a roofline analysis with IREE.
Date: 2 June, 2026 | Time to read: ~8 min

scribe — A Minimalist LaTeX Document Class and Beamer Theme
A drop-in replacement for the standard article class with callout boxes, theorem-like environments, named inline comments, compact numeric citations, optional line numbers, and a matching Beamer theme — all with Libertine and Inconsolata typography.
Date: 1 June, 2026 | Time to read: ~3 min

The Site Now Has an RSS Feed
The website now has an RSS feed that gathers posts, scientific publications, preprints, and activities into one chronological stream. Subscribe with your favourite reader at /feed.xml.
Date: 31 May, 2026 | Time to read: ~2 min

The Eter logo A Friendly Tour of Substructural, Uniqueness, Ownership, and Capabilities Types — and more!
The third post of the Eter programming language series. A friendly tour of the type-theoretic landscape behind memory safety. Starting from the logical roots of substructural logic, it walks through linear, affine, and uniqueness types, then visits regions, effects, capabilities, typestate, and the latest work on reachability and separation types.
Date: 22 May, 2026 | Time to read: ~15 min

The Eter logo Mutable Value Semantics (MVS) or Ownership & Borrowing: A Trade-off Analysis
The second post of the Eter programming language series. It explores the trade-offs between Mutable Value Semantics and Ownership & Borrowing, examining friction points in Rust, Hylo, and Swift while searching for common ground between the two memory models.
Date: 3 May, 2026 | Time to read: ~15 min

The Eter logo The Mutable Value Semantics (MVS): A Non-superficial Study
The first post of the Eter programming language series. While this post is part of the series, it is not a part of the Eter language itself. The post is a non-superficial study on the MVS, trying to understand its limitations.
Date: 27 April, 2026 | Time to read: ~10 min

Consume the Input Only When Some<T> is Returned
A discussion on idiomatic Rust patterns for consuming input only when a function successfully returns a value. This explores ownership semantics and how to write clean, expressive APIs in Rust.
Date: 19 April, 2025

Open Source Licenses: A Deep Dive into Their Meaning
An in-depth exploration of open source licenses, covering their legal implications, the differences between permissive and copyleft licenses, and practical guidance for choosing the right license for your project.
Date: 23 March, 2025

Exploiting Finite State Automata for Efficient Lexical Analysis: A Rust Implementation
A practical exploration of building a lexical analyzer in Rust using finite state automata. We cover DFA/NFA theory and show how to implement an efficient lexer from scratch.
Date: 9 August, 2024