rul
Rul (.rl) — Zero-Syntax 128-Bit Schedule- & Proof-Carrying Binary Programming Language & Execution Engine for Autonomous AI Agents (5.8ns/node O(N) Verifier, 6.4µs Zero-LLVM AVX2 ELF64 AOT Compiler)
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Want to reach these readers? Sponsor an issue.
GITHUB · launched Oct 28, 2026 · 45 upvotes (top 29%) · 0 views
Niche: programming languages and interpreters · 161 launches, 2 in the last 7 days ▼ -75% · Explore this niche →
Category and tags
- Horizontal
- Dev tools
- Developer
- AI-native
- Hobby / open-source project
- ai-agents
- binary-ir
- columnar
- compiler
- mcp
- programming-language
- +5 more
Visit website ↗ Source listing ↗
More like this: all 161 launches in programming languages and interpreters →
Could you build this?
Partial The verifier, a toy interpreter, and a basic binary format are buildable with AI help. The claimed AOT x86-64 ELF compiler, performance numbers, and proof-carrying guarantees need compiler and verification expertise that is hard to produce by vibe coding alone.
What it would actually take: A working version needs a binary IR spec, a linear-time verifier, and an interpreter, which AI-assisted coding can produce. The hard part is a sound verifier and a native code generator with register allocation, ELF emission, and optimizations, which takes compiler engineers. The performance claims would need rigorous benchmarking to be credible.
Competitors
Other products that read as similar to this one : 2269 launches clear the similarity bar, closest 8 shown.
Attention rank: #647 of 2270 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 362 days after the earliest competitor.
- Mthds · hn · 2026-02-26 · 23 upvotes · similarity 0.56
- ANIX Engine · ph · 2026-10-01 · 1 upvotes · similarity 0.56
- rok · github · 2026-10-25 · 15 upvotes · similarity 0.53
- writ · github · 2026-09-21 · 9 upvotes · similarity 0.53
- The world's least deterministic programming language · hn · 2025-12-12 · 5 upvotes · similarity 0.53
- binnacle · github · 2026-11-05 · 79 upvotes · similarity 0.52
- Rubix-lang · github · 2026-10-19 · 1912 upvotes · similarity 0.52
- coyote · github · 2026-10-19 · 13 upvotes · similarity 0.52
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.