kitasan

5 ms·

1.
Show HN: OxiGDAL – A pure Rust replacement for GDAL with zero C/C++ dependencies(github.com)
2 points by kitasan 6mo ago|0 comments
2.
by kitasan 6mo ago
Fair points. "Production-ready" was probably too strong for v0.1.0 — "API-stable" is more accurate. The crates compile, pass their test suites, and the public API surface is locked, but real production readiness comes fr
3.
by kitasan 6mo ago
Understood. Development was in a private repo, squashed on open-source. I know that makes evaluation harder — we'll publish incremental commits going forward.
4.
by kitasan 6mo ago
OP here. Just shipped v0.1.1. The big one: Mathlib4 compatibility went from 4,530 to 181,890 declarations tested, hitting 99.7% parse compatibility across the entire Mathlib4 codebase (7,759 files, 280+ categories). This was the #1 thing I
5.
by kitasan 6mo ago
Thanks for the suggestion. H.264 Baseline/High profile patents are largely expiring between 2027–2028, with a few stragglers potentially lasting until 2030. We're tracking this closely — once the patent landscape is clear, we plan
6.
by kitasan 6mo ago
Fair question. Development was done in a private repo — we squashed the history into a single commit when open-sourcing. That's a deliberate policy choice (clean public history), though I understand it makes it harder to evaluate the p
7.
Show HN: OxiMedia – Pure Rust Reconstruction of FFmpeg and OpenCV(github.com)
11 points by kitasan 6mo ago|11 comments
8.
Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)
2 points by kitasan 7mo ago|1 comments
9.
by kitasan 8mo ago
OP here. I built this because I felt standard IPFS is too "static" for the AI era. It's great for storage, but terrible for discovery. IPFRS attempts to solve this by embedding HNSW Vector Search and a Logic Programming layer
10.
Show HN: Ipfrs – A "Thinking" IPFS in Rust with Built-In Vector Search(github.com)
5 points by kitasan 8mo ago|1 comments