개발 블로그

안젯텍 팀의 엔지니어링 노트

                        추천
                        · 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 — 오늘 실제로 출시된 것들

2026년 4월 기준 Anzaetek Quantum 스택의 스냅샷 — 오픈 런타임, 그 위의 비공개 툴킷, 그리고 고객이 지금 실제로 사용할 수 있는 것들.

더 보기 →

2026-04-24 omega quantum oss rust announcement

omega-functions 오픈소스 공개

Sqetch 플랫폼의 기반인 Rust 양자 런타임을 Apache-2.0 라이선스로 github.com/Anzaetek/omega-functions-public 에 공개합니다.

더 보기 →

2026-04-24 sqetch fintech announcement

Sqetch '26 Finance — 디자인 파트너 창, 2026년 후반

omega-functions 위에서 구축 중인 금융 플랫폼의 개발 프리뷰. 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.

더 보기 →

일부 이전 게시물은 영어로만 제공됩니다.