Search: github.com/Semantics3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: Cohesix 0.4.0-alpha, a no-std control-plane OS (github.com/lukeb-aidev)

2 points

4 months ago

122.

Show HN: Alint, a fast linter for repository structure and hygiene (github.com/asamarts)

2 points

16 days ago

123.

Show HN: TidesDB – High-performance durable, transactional embeddable database (github.com/tidesdb)

2 points

7 months ago

124.

Show HN: I couldn't compare storage topologies without 3 forks, so I built this (github.com/AnishMulay)

2 points

2 months ago

125.

Show HN: Vellyr – small JavaScript non-lazy signals library (github.com/Bloomca)

2 points

2 months ago

126.

Show HN: RunCycles – pre-execution budget enforcement for autonomous agents (github.com/runcycles)

2 points

3 months ago

127.

Show HN: DocMCP – Index any docs site locally, search it from Claude via MCP

2 points

3 months ago

128.

Show HN: AegisBPF – Deterministic Runtime Enforcement via eBPF LSM (github.com/ErenAri)

2 points

3 months ago

129.

Show HN: Symdex-100 – Intent-based code search using 20-byte "Cypher" metadata (github.com/symdex-100)

2 points

4 months ago

130.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

2 points

5 months ago

131.

Ask HN: Critical review of a spec-first economic protocol

2 points

5 months ago

132.

Show HN: DBMS OLTP written in Rust – prioritises clarity and correctness (github.com/OxidizeLabs)

2 points

5 months ago

133.

Show HN: Model2data – generate realistic synthetic data from data models (github.com/JB-Analytica)

2 points

5 months ago

134.

StreamKernel a Kafka-native, high-performance Java 21 event orchestration kernel

2 points

5 months ago

135.

Show HN: RIHU – Beyond RAG: Retrieval as Geometry, Not Vectors (github.com/shinmaruko1997)

2 points

8 months ago

136.

Show HN: Proxmox‑GitOps: Self-Hosted GitOps (demo incl., recursive Monorepo IaC) (github.com/stevius10)

2 points

8 months ago

137.

Show HN: GraphAr – Open-source file format for archiving/exchanging graph data (github.com/alibaba)

2 points

3 years ago

138.

Show HN: A somewhat old-fashioned programming language (github.com/chkas)

2 points

4 years ago

139.

The Beef Programming Language

2 points

6 years ago

140.

Stop Rebuilding Front End Apps for Environment Variables (REP RFC)

1 point

3 months ago

141.

Show HN: Vilano Runtime – a durable runtime for building agent systems (runtime.vilano.ai)

1 point

3 months ago

142.

JSE: A Structural Expression Protocol for AI Agents

1 point

3 months ago

143.

Show HN: Testing SQL logic without a real database

1 point

3 months ago

144.

Show HN: Zym, embeddable script lang with continuations, preemption, mem control

1 point

3 months ago

145.

Show HN: VisiGrid CLI – Git-diff for financial reconciliation (visigrid.app)

1 point

4 months ago

146.

Show HN: Ctxbin – A deterministic CLI for reliable AI agent handoffs (github.com/superlucky84)

1 point

4 months ago

147.

Show HN: AI-First Web – SEO for AI Assistants

1 point

7 months ago

148.

Show HN: Mixture of Voices–Open source goal-based AI router-uses BGE transformer

1 point

9 months ago

149.

Show HN: Citadeld – replay any CI failure locally from a single file

1 point

9 days ago

150.

Show HN: Pcons: new software build tool in Python, inspired by SCons and CMake (github.com/DarkStarSystems)

1 point

a month ago