Dev Blog

Engineering notes from the Anzaetek team

                        FEATURED
                        · 2026-05-03
                        
                          · quantum
                        
                          · formal-methods
                        
                          · lean4
                        
                          · mathlib

Closing Lean 4 Proof Obligations on Quantum Circuits

How we closed the long-standing sorry stubs in the Quantum toolkit's Lean 4 export — QFT unitarity, block encoding, ECC, QPE and Grover witnesses — using mathlib v4.29.

2026-05-02 quantum omega formal-methods lean4

Omega Functions: Formally Verified Circuit Optimization Passes

The circuit optimizer in Omega Functions now comes with Lean 4 proofs of pass correctness, plus CMA-ES gradient-free optimization and mid-circuit measurement support.

2026-04-25 rust finance timeseries

time_series_base: A Rust Time Series Engine

A 7-crate Rust workspace for time series storage, similarity search, and quantitative analysis — with an MCP server for LLM agent integration.

2026-04-24 quantum announcement rust lean4

Anzaetek Quantum: what's shipping today

A map of the Anzaetek Quantum stack as of April 2026 — the open runtime, the closed toolkit on top, and what customers can actually use now.

2026-04-24 omega quantum oss rust announcement

omega-functions goes open source

The Rust quantum runtime that powers Sqetch is now Apache-2.0 at github.com/Anzaetek/omega-functions-public.

2026-04-24 sqetch fintech announcement

Sqetch '26 Finance — design-partner window, late 2026

A development preview of the finance platform we are building on omega-functions, with a design-partner window targeted for late 2026.

2026-04-20 finance quantum genai

Building a Synthetic Data Pipeline with QCBM and TimeGAN

How we combined Quantum Circuit Born Machines with Conditional TimeGAN to generate regime-aware synthetic financial data for risk management and stress testing.

2026-04-15 quantum rust wasm

Omega Functions: A Quantum/Hybrid Computing Runtime in Rust

How we built an 11-crate Rust workspace that runs quantum circuits across statevector, tensor-network, Clifford, and photonic backends — with a WASM runtime for the browser.

2026-03-01 sqetch fintech quantum

Announcing Sqetch '26

Sqetch '26 — our fintech platform for HFT and beyond, plus Omega-Functions for quantum/hybrid workloads.

2026-02-01 quantum rust preview

Preview: Quantum Programming Toolkit in Rust

A preview of our quantum programming toolkit: circuit DSL, 12 optimizers, QML layer, formal verification export.

2025-11-15 quantum web ml

QML Explorer: From Model Training to Web Deployment

How we built a web application that takes quantum machine learning models from research notebooks to deployed REST endpoints with a one-click training workflow.

Some older posts are English-only.