Nicheloom visits: 58,238 all-time · 7,637 in the last 7 days

The opportunity tracker for new startups.

Today: 1,008 launches · Niche of the day: specialized calculation tools · See what launched today →

Axe

A Systems Programming Language with Builtin Parallelism and No GC

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.

I'm writing a compiler for a systems language focused on concurrency and parallelism. It’s a re-engineering of a prior work, with an explicit emphasis on memory management and type safety, plus first-class parallel primitives at the language level.The language is now capable of compiling a substantial portion of its own source code to tokens using a single-pass C back-end. The self-hosted compiler includes a handwritten lexer and a parser, with an arena-based allocator to support fast compilation and eliminate GC complexity.The primary goals for the project are: First-class parallel and concurrent constructs built directly into the language, strong static memory and type guarantees, and a toolchain suitable for building high-performance softwareExample: def main() { parallel local(mut arena: Arena) { arena = Arena.create(1024); val tid = Parallel.thread_id(); val result = worker(ref_of(arena), tid); println $"Thread {tid} computed {result}"; Arena.destroy(ref_of(arena)); } } You can find the repository here: https://github.com/axelang/axe

HN · launched Nov 24, 2025 · 16 upvotes (top 37%) · 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
  • Not AI
  • Hobby / open-source project

Visit website ↗ Source listing ↗

Could you build this?

No Creating a compiled systems programming language with novel memory management, static type safety, and first-class concurrency primitives requires advanced compiler theory and systems engineering.

What it would actually take: The project requires a compiler pipeline built in Rust, C++, or OCaml featuring a lexer, parser, semantic analyzer with custom ownership/borrow or region inference, an intermediate representation (IR), and an LLVM/native code-generation backend. The critical bottleneck is designing a formal, sound type system that guarantees data-race freedom without a garbage collector alongside a work-stealing runtime. Requires senior compiler engineers and programming language researchers.

Discussion

5 comments analyzed.

Competitors mentioned: C++

Concerns raised: Pointer lifetime management and use-after-free prevention, Spatial memory safety with pointer arithmetic, Concurrent access and pointer invalidation, Memory safety guarantees, Performance/compilation speed

Feature requests: RAII destructors, Type and function templates, Generic overload system improvements

Competitors

Other products that read as similar to this one : 260 launches clear the similarity bar, closest 8 shown.

Attention rank: #110 of 261 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).

Launched 23 days after the earliest competitor.

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.