A worked design for a society, with its formal claims made executable.

A zero-hallucination symbolic reasoning engine.

A pure-rust LLM pretraining pipeline that runs on windows + RTX 5090

Tree Sitter parser for Nibli Knowledge Representation (KR) language of nibli neruo-symbolic reasoning engine

Source code of my personal website and blog.

Consumer hardware, 1975–2026: an interactive data-viz explorable in Rust + Dioxus/WASM.

Uniblox UGC (User Generated Content) game platform (web & native; cross-platform)

fanva (Lojban: translate) is an agentic English→Lojban translator that produces verified Lojban

Awesome Machine Learning / Deep Learning Rust repositories

A collection of resources to learn from and become a self-taught awesome programmer.

NixOS configs to keep my workspace identical across all my laptops, desktops and VMs.

Lojban Text To Speech (TTS) Engine. Built with Rust compiled to webassembly and native. A pure-Rust, rule-based parallel-formant (Klatt-style) speech synthesizer for Lojban.

My Profile readme

Notes for Workshops / Talks / Presentations / Demos that I give at various events. I have no idea what I am talking about 😜

hostscli - A CLI tool to block / unblock websites using /etc/hosts. Super simple and easily extendable. Also block Ads, Tracking & Malware sites.

IRC Manager (ircman) - IRC sucks. Lets fix it. Deprecated.

The 1.58-bit Singularity. A Datacenter-grade, Zero-Copy, AVX-512 Inference Engine for 1.58-bit Ternary LLMs. Achieves 100+ Tokens/Sec on consumer CPUs. Built in 100% Safe Rust, cross-compiles to We…

A pure-Rust System 2 reasoning kernel. Minimal knowledge, maximal logic. Built on Burn for Blackwell-class hardware.

A collectection of Rust AI / ML / LLM stuff

LML is a legal ponzi/pramid scheme. Here are some slides to save your friends/family stuck in MLM scheme.

🦀 An interactive simulation of the "Existon" model, inspired by the work of Doug Matzke. Explores emergent reality and "It from Bit" concepts using Geometric Algebra and Rust.

Some Goals of my life.

Yet Another Device - A Specification for a Low-Power, Peer-to-Peer Communication Device

A simple Rust project showcasing how to simultaneously expose a GraphQL API and an XML endpoint using the same data model, built with async-graphql, warp, and yaserde.

EduStages adapts learning materials to each child's developmental stage. Create a profile, view age-appropriate subjects, and track completed topics—all stored locally for a seamless, personalized …

Sample Demo App