RSSAmplifier

Blog

modulovalue

A blog by Modestas Valauskas.

modulovalue.comRSS feed ↗10 posts

Latest posts

Proof types in Dart: Using final classes as computational witnesses

How Dart 3.0's class modifiers enable a pattern where types prove that computations have occurred. A capability missing from JavaScript, Python, TypeScript, Java, and most mainstream languages.

243,000 words dictated in 39 days, speech-to-text changed how I work

How Wispr Flow and Mistral's Voxtral Transcribe API changed my workflow. I built a browser test app for Voxtral and dictated the equivalent of two books in just over a month.

Benchmarking my parser generator against LLVM: I have a new target

LLVM lexes and parses 112 MB of IR in 647ms. My generated parser takes 4.4 seconds. This gap reveals a fundamental limitation of bottom-up parsing.

I built a 2x faster lexer, then discovered I/O was the real bottleneck

Archiving 104K files into tar.gz reduced I/O time by 43x and total processing time by 2.3x. The bottleneck was not disk speed, it was syscall overhead.

Statistical Methods for Reliable Benchmarks

Most developers benchmark code by running it and comparing averages. This approach is fundamentally flawed. Here is how to do it properly.

The Case for Snake Case: A Kolmogorov Complexity Argument

Snake_case is objectively superior to camelCase. I use Kolmogorov complexity to make this case.

IIFEs are Dart's most underrated feature

Immediately Invoked Function Expressions unlock powerful patterns in Dart that most developers overlook. From if-expressions to scoped variables to Flutter widgets, IIFEs deserve more attention.

I failed to run Dart on the web (but FYI you can run Linux on the web)

An attempt to run Dart in the browser using v86 x86 emulator and Linux. Includes a working demo of Linux running entirely client-side in WebAssembly.

Concepts Reader: a backup plan for my life

An open-source Flutter app that reads .concept files from the Concepts drawing app. Built as a data recovery safety net for when proprietary formats become a risk.

Understanding Dart class modifiers by using lattices

A visual guide to Dart 3.0 class modifiers using lattice theory. Learn how base, final, interface, and mixin modifiers relate to each other through an interactive diagram.