Search: github.com/Theo- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

We broke the O(2^N) barrier to compute AI consciousness (Phi)

github.com/InductivityAI

2 months ago

1 points

302.

A Dominance Theory of Reductive Optimization in Complex Systems

github.com/FairlyInconspicuous

3 months ago

1 points

303.

6.6M Tokens. $4,800 Theoretical. Zero Visibility. So I Built a Dashboard

github.com/outcomeops

3 months ago

1 points

304.

Show HN: The Participatory Interface Theory

7 months ago

1 points

305.

General Theory of Reactivity (2016)

github.com/kriskowal

9 years ago

1 points

306.

Ask HN: Have you used SQLite as a primary database?

4 years ago

518 points

307.

Show HN: An open source framework for voice assistants

github.com/pipecat-ai

2 years ago

346 points

308.

Show HN: Open-sourced Webflow for your own app

github.com/onlook-dev

2 years ago

336 points

309.

Show HN: Chebyshev approximation calculator

2 years ago

278 points

310.

Show HN: MyraOS – My 32-bit operating system in C and ASM (Hack Club project)

github.com/dvir-biton

8 months ago

247 points

311.

Unfinished game – learn by practice

github.com/rezoner

12 years ago

214 points

312.

Show HN: Open-source OAuth service for 40+ APIs

3 years ago

206 points

313.

Launch HN: Deepsilicon (YC S24) – Software and hardware for ternary transformers

2 years ago

189 points

314.

Show HN: Formalizing Principia Mathematica using Lean

github.com/ndrwnaguib

a year ago

188 points

315.

Show HN: Chonky – a neural approach for text semantic chunking

github.com/mirth

a year ago

169 points

316.

Show HN: Utilyze – an open source GPU monitoring tool more accurate than nvtop

2 months ago

128 points

317.

Quint: A specification language based on the temporal logic of actions (TLA)

github.com/informalsystems

3 years ago

110 points

318.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

7 days ago

106 points

319.

Show HN: International Legal Dictionary

4 years ago

105 points

320.

Show HN: Wadzilla. Play DOOM in Zork

github.com/scottvr

2 years ago

94 points

321.

Show HN: Graphic – A grammar of data visualization and Flutter charting library

github.com/entronad

3 years ago

91 points

322.

Show HN: My first programming project – userscripts to change forum UIs

github.com/wkrouse

2 years ago

89 points

323.

Show HN: CashGraphs – A securities portfolio optimizer

4 years ago

82 points

324.

Show HN: Modest – musical harmony library for Lua

github.com/esbudylin

a year ago

76 points

325.

Show HN: My microkernel-based OS built from scratch now has basic Unix commands

github.com/lux-operating-system

2 years ago

69 points

326.

Ask HN: A retrofitted C dialect?

a year ago

55 points

327.

Show HN: A geometric analysis of Chopin's Prelude No. 4 using 3D topology

github.com/jimishol

4 months ago

50 points

328.

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

20 days ago

48 points

329.

Show HN: Mochi.js: bun-native high-fidelity browser automation library

2 months ago

47 points

330.

Show HN: Davia – Open source visual, editable wiki from your codebase

github.com/davialabs

7 months ago

47 points