Valixara
Founder & CEO · Principal Engineer
Cockpit desktop local-first trao cho một coding agent tự động khả năng giải trình xác minh được — một chỉ mục chống giả mạo về mọi thứ agent thực sự đã làm trên máy.
- Thiết kế sổ cái hành động append-only, hash-chain, neo vào hiệu ứng quan sát được (hash file sau khi ghi, delta git-HEAD mỗi lần chạy) — vì một agent bị bypass có thể khiến lệnh nói dối
- Mô hình trung thực 5 mức có verdict 'opaque' tường minh: hiệu ứng không suy ra được thì gắn cờ, không bao giờ âm thầm coi là an toàn
- Ship hai app macOS đã ký từ một codebase qua tree-shaking lúc build; một git tag kích hoạt CI build cả hai
- Truy nguyên gốc một vụ phình bộ nhớ về việc re-parse 8 giây một transcript 53 MB, sửa bằng byte-offset bookmark — RSS giữ phẳng; gộp git scanner từ 5 call/repo xuống 2 và song song hoá: ~40 repo từ 3s xuống 150–300ms
Một Project-Intelligence OS: RAG + knowledge graph trên bối cảnh doanh nghiệp, trả lời bằng ngôn ngữ tự nhiên kèm một audit trail bất biến về những gì AI đã làm.
- Chọn Postgres + pgvector thay vì Neo4j / Pinecone để giữ dữ liệu quan hệ và vector trong một store với native join, chi phí hạ tầng $0 — ghi lại kèm ngưỡng recall sẽ falsify lựa chọn này
- Chọn HNSW thay vì IVFFlat để insert tăng dần không cần bước training; lấy chunk (không phải document) làm đơn vị truy hồi
- Là nơi khởi nguồn của primitive hash-chain sau đó được tái hiện trong Rust ở Cockpit