Search: github.com/symblic | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: VirtualStorageLibrary – .NET Tree solutions for items, dirs, symlinks

shimodateakira.github.io

2 years ago

63 points

122.

Yon – a topos-oriented language with a content-addressed lattice heap

18 days ago

48 points

123.

Show HN: I built a deep learning engine from scratch in Python

github.com/whitegra

a year ago

30 points

124.

Ask HN: Is an interdisciplinary career worth it?

8 years ago

28 points

125.

Show HN: Vidformer – Drop-In Acceleration for Cv2 Video Annotation Scripts

github.com/ixlab

a year ago

25 points

126.

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

7 years ago

12 points

127.

Show HN: A Browser-Only Dream Interpreter Using Symbol Logic and JavaScript

github.com/Dino-Nuggies45

a year ago

12 points

128.

Show HN: Build agents via YAML with Prolog validation and 110 built-in tools

fabceolin.github.io

5 months ago

11 points

129.

Show HN: I built a dream interpreter in JavaScript, no AI, no server, just logic

github.com/Dino-Nuggies45

a year ago

10 points

130.

Show HN: TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON)

theoria-dataset.github.io

a year ago

9 points

131.

Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog

github.com/deepclause

7 months ago

7 points

132.

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

a year ago

5 points

133.

Show HN: Anchor Engine – Deterministic Semantic Memory for LLMs Local (<3GB RAM)

github.com/RSBalchII

4 months ago

5 points

134.

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

4 months ago

4 points

135.

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

13 years ago

4 points

136.

Show HN: I made a browser extension to practice phonetic scripts (like katakana)

github.com/scpedicini

8 months ago

3 points

137.

Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning)

github.com/Concode0

3 months ago

3 points

138.

Show HN: I built an AI Colosseum to battle-test different agent architectures

project-chimera.streamlit.app

9 months ago

3 points

139.

Show HN: I made a semantic OS for language reasoning (not kidding)

github.com/onestardao

a year ago

3 points

140.

MatrixTransformer: Structural Pattern Discovery Without Training

a year ago

AyodeleFikayomi

3 points

141.

New Open Source from Non-Traditional Builder

3 months ago

2 points

142.

Show HN: Elia – Governed hybrid architecture (LLM is capability, not authority)

github.com/Jmc-arch

4 months ago

2 points

143.

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

7 months ago

2 points

144.

Show HN: Helices Create a New Model of Deterministic Computation [pdf]

lambdalord.github.io

a year ago

2 points

145.

Show HN: DreamHost Protocol Generator – declarative fiction via REM metadata

github.com/socfspiritual

a year ago

2 points

146.

QNial7 Array Language Announcement

9 years ago

2 points

147.

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

2 months ago

2 points

148.

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

4 months ago

2 points

149.

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

4 months ago

2 points

150.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

github.com/Shariq81

4 months ago

2 points