Salt blog

Technical deep-dives into the Salt language, its compiler, kernel projects, and verified systems programming.

• Compile-time verification with negative overhead
  June 24, 2026
  When we added a Z3 theorem prover to the Salt compiler, compilation became faster—not in spite of the proofs, but because of them.
• Why we chose arenas over borrow checking
  June 22, 2026
  Salt has no lifetime annotations. Here is how we still guarantee safety—with arena allocation, scope ladders, and epoch tracking.
• Microkernel IPC Without the Performance Tax
  June 22, 2026
  Mach was 2× slower than monolithic Unix. Salt’s Ring 3 TCP stack and zero-trap socket API bring IPC to within 150 cycles.