Search: github.com/Semantics3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: An Occam to Go transpiler (LLM-generated)

4 months ago

2 points

122.

Ask HN: Using GPT as a logic circuit instead of a text generator – Anyone tried?

a year ago

2 points

123.

Ask HN: HSL 0.1 – The Human Source License. Please help refining

3 months ago

2 points

124.

Show HN: Cohesix 0.4.0-alpha, a no-std control-plane OS

github.com/lukeb-aidev

5 months ago

2 points

125.

Show HN: Alint, a fast linter for repository structure and hygiene

github.com/asamarts

a month ago

2 points

126.

Show HN: TidesDB – High-performance durable, transactional embeddable database

github.com/tidesdb

8 months ago

2 points

127.

Show HN: I couldn't compare storage topologies without 3 forks, so I built this

github.com/AnishMulay

3 months ago

2 points

128.

Show HN: Vellyr – small JavaScript non-lazy signals library

github.com/Bloomca

3 months ago

2 points

129.

Show HN: RunCycles – pre-execution budget enforcement for autonomous agents

github.com/runcycles

3 months ago

2 points

130.

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

4 months ago

2 points

131.

Show HN: AegisBPF – Deterministic Runtime Enforcement via eBPF LSM

github.com/ErenAri

4 months ago

2 points

132.

Show HN: Symdex-100 – Intent-based code search using 20-byte "Cypher" metadata

github.com/symdex-100

4 months ago

2 points

133.

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

5 months ago

2 points

134.

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

5 months ago

2 points

135.

Show HN: DBMS OLTP written in Rust – prioritises clarity and correctness

github.com/OxidizeLabs

6 months ago

2 points

136.

Show HN: Model2data – generate realistic synthetic data from data models

github.com/JB-Analytica

6 months ago

2 points

137.

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

6 months ago

2 points

138.

Show HN: RIHU – Beyond RAG: Retrieval as Geometry, Not Vectors

github.com/shinmaruko1997

8 months ago

2 points

139.

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

github.com/stevius10

9 months ago

2 points

140.

Show HN: GraphAr – Open-source file format for archiving/exchanging graph data

github.com/alibaba

3 years ago

2 points

141.

Show HN: A somewhat old-fashioned programming language

github.com/chkas

4 years ago

2 points

142.

The Beef Programming Language

6 years ago

2 points

143.

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

4 months ago

1 points

144.

Show HN: Vilano Runtime – a durable runtime for building agent systems

runtime.vilano.ai

3 months ago

1 points

145.

JSE: A Structural Expression Protocol for AI Agents

4 months ago

1 points

146.

Show HN: Testing SQL logic without a real database

4 months ago

1 points

147.

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

4 months ago

1 points

148.

Show HN: VisiGrid CLI – Git-diff for financial reconciliation

5 months ago

1 points

149.

Show HN: Ctxbin – A deterministic CLI for reliable AI agent handoffs

github.com/superlucky84

5 months ago

1 points

150.

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

7 months ago

1 points