Search: github.com/symblic | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: Vidformer – Drop-In Acceleration for Cv2 Video Annotation Scripts (github.com/ixlab)

25 points

a year ago

122.

Show HN: Atomic Database: A deductive database with a natural language interface

12 points

7 years ago

123.

Show HN: A Browser-Only Dream Interpreter Using Symbol Logic and JavaScript (github.com/Dino-Nuggies45)

12 points

a year ago

124.

Show HN: Build agents via YAML with Prolog validation and 110 built-in tools (fabceolin.github.io)

11 points

4 months ago

125.

Show HN: I built a dream interpreter in JavaScript, no AI, no server, just logic (github.com/Dino-Nuggies45)

10 points

a year ago

126.

Show HN: TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON) (theoria-dataset.github.io)

9 points

a year ago

127.

Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog (github.com/deepclause)

7 points

7 months ago

128.

Do Not Train" Meta Tags: The Robots.txt of AI – Will Anyone Respect Them?

5 points

a year ago

129.

Show HN: Anchor Engine – Deterministic Semantic Memory for LLMs Local (<3GB RAM) (github.com/RSBalchII)

5 points

3 months ago

130.

Show HN: A Vaadin Algebra and Calculus Solver Built with AI Assistance

4 points

3 months ago

131.

Show HN: An opensource tool for assisted exploit generation on binary programs

4 points

13 years ago

132.

Show HN: I made a browser extension to practice phonetic scripts (like katakana) (github.com/scpedicini)

3 points

7 months ago

133.

Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning) (github.com/Concode0)

3 points

2 months ago

134.

Show HN: I built an AI Colosseum to battle-test different agent architectures (project-chimera.streamlit.app)

3 points

8 months ago

135.

Show HN: I made a semantic OS for language reasoning (not kidding) (github.com/onestardao)

3 points

10 months ago

136.

MatrixTransformer: Structural Pattern Discovery Without Training

3 points

AyodeleFikayomi

10 months ago

137.

New Open Source from Non-Traditional Builder

2 points

2 months ago

138.

Show HN: Elia – Governed hybrid architecture (LLM is capability, not authority) (github.com/Jmc-arch)

2 points

3 months ago

139.

Show HN: A Vaadin 24, Spring algebra calculator with dynamic variable buttons

2 points

6 months ago

140.

Show HN: Helices Create a New Model of Deterministic Computation [pdf] (lambdalord.github.io)

2 points

a year ago

141.

Show HN: DreamHost Protocol Generator – declarative fiction via REM metadata (github.com/socfspiritual)

2 points

a year ago

142.

QNial7 Array Language Announcement

2 points

9 years ago

143.

Show HN: Monogate – EML operator family, hybrid framework, 108-node sin(x) (monogate.dev)

2 points

2 months ago

144.

Nuvix – open-source BaaS with a query DSL more expressive than PostgREST

2 points

3 months ago

145.

Show HN: Yesterday's Claude Code announcement brought it back to my mind

2 points

3 months ago

146.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com/Shariq81)

2 points

4 months ago

147.

Show HN: Virtual Protest Protocol – Scaling activism via 50-person cells (github.com/voice-of-japan)

2 points

4 months ago

148.

Show HN: Code Scalpel – AST analyzer and security scanner (MCP server) (codescalpel.dev)

2 points

4 months ago

149.

Show HN: SC-NeuroCore – Rust neuromorphic compiler, 512× speedup (github.com/anulum)

2 points

4 months ago

150.

Show HN: SCPN Fusion Core – Tokamak plasma SIM and neuromorphic SNN control (github.com/anulum)

2 points

4 months ago