Solnix
an early-stage experimental programming language
Details
- External ID
- 46932202
- Source
- HN
- Company
- —
- Product
- Solnix
- Website domain
- solnix-lang.org
- Launched
- Feb. 8, 2026
- Cohort
- —
- Upvotes
- 6
- Upvotes percentile
- 0.28099730458221023
- Tags
- —
- Fetched at
- Sept. 7, 2026, 9:26 p.m.
- Updated at
- Sept. 7, 2026, 9:26 p.m.
Description
I’m building Solnix, an experimental programming language as a learning + research project. It’s still early, and many design decisions (syntax, types, tooling) are intentionally not fixed yet.My goal right now is feedback, not promotion:What design mistakes should I watch out for?What usually makes new languages hard to adopt?What would you avoid if you were starting today?Repo & docs: https://solnix-lang.org/I’d really appreciate honest criticism. Thanks for your time.
Enrichment
- Theme
- indie hacker passion projects
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- experimental programming language
- Manually corrected
- False
Could you build this?
No Solnix is a custom domain-specific programming language that compiles to eBPF bytecode while satisfying the Linux kernel verifier's strict static analysis guarantees.
What it would actually take: Developing this requires building a compiler frontend (lexing, parsing, type-checking, CFG construction) and a backend that emits eBPF bytecode (`bpf_insn` assembly or LLVM IR) tailored for BPF targets. The compiler must embed formal static analysis to enforce memory bounds and loop termination matching the Linux kernel BPF in-kernel verifier rules. This necessitates advanced compiler engineering and Linux kernel security internals expertise.
Discussion
No comments on this launch.
Competitors
Other products that read as similar to this one — 57 launches clear the similarity bar, closest 8 shown.
Attention rank: #47 of 58 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 102 days after the earliest competitor.
- A small programming language where everything is pass-by-value · hn · 2026-01-25 · 91 upvotes · similarity 0.42
- I made a "programming language" looking for feedback · hn · 2026-03-29 · 38 upvotes · similarity 0.41
- Weft · hn · 2026-01-03 · 6 upvotes · similarity 0.41
- Valk · hn · 2026-02-10 · 5 upvotes · similarity 0.39
- Phrasing.app · hn · 2025-11-07 · 7 upvotes · similarity 0.38
- The Taka Programming Language · hn · 2025-12-03 · 12 upvotes · similarity 0.38
- SFX · hn · 2025-12-06 · 11 upvotes · similarity 0.38
- Fluent, tiny lang for reactivity and autograd · hn · 2026-07-17 · 6 upvotes · similarity 0.37
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.