Search: github.com/mrThe | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Helping promote the Lax programming language

2 points

5 months ago

362.

Show HN: I built a 2nd-order PyTorch optimizer for LLMs that runs on 16GB GPUs

2 points

a month ago

363.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

364.

Show HN: Nucleus - AI prompt framework (github.com/michaelwhitford)

2 points

5 months ago

365.

Show HN: TimeSeal – Cryptographic time-locked vaults with Dead Man's Switch (github.com/Teycir)

2 points

5 months ago

366.

Show HN: SideNote – Markdown Note Extension on Browser Sidepanel (github.com/IHaBiS02)

2 points

10 months ago

367.

Show HN: Looset Graph – OSS concept map tool (ClojureScript, Wikipedia demo) (jponline.github.io)

2 points

a year ago

368.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago

369.

Show HN: Raypher–eBPF-based runtime security and hardware identity for AI agents (github.com/kidigapeet)

2 points

3 months ago

370.

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

2 points

a year ago

371.

AbsCrypt [Chariot Technologies Lab Inc]

2 points

7 years ago

372.

Show HN: Hypatia, difficulty calculator gem (my first gem)

2 points

11 years ago

373.

Show HN: A Collatz conjecture full music generator in 800 lines of C (github.com/pumpkin-bit)

2 points

a month ago

374.

Project Lean – The $10B Singularity Architecture

2 points

2 months ago

375.

Show HN: MaximusLLM – Train 262k-vocab LLMs on a single 16GB GPU (github.com/yousef-rafat)

2 points

3 months ago

376.

Show HN: Lar-JEPA – A Testbed for Orchestrating Predictive World Models (github.com/snath-ai)

2 points

3 months ago

377.

Show HN: TurkishSieve CPU/GPU prime sieve found errors in Nicely's tables (github.com/bilgisofttr)

2 points

3 months ago

378.

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

2 points

3 months ago

379.

Show HN: I built a visual, MLOps tool (Skyulf) (skyulf.com)

2 points

flyingriverhrse

5 months ago

380.

Show HN: BlockFrame – A local, erasure-coded storage engine in Rust (github.com/crushr3sist)

2 points

5 months ago

381.

Bio-Mimetic Legislative Engine

2 points

6 months ago

382.

Show HN: GeminiDesk – Native Desktop App for Gemini (Win/Mac/Linux) (github.com/hillelkingqt)

2 points

7 months ago

383.

Show HN: Umbilic Torus Model of 12‑Tone Harmony (Now, Live TCP Note Tracking) (github.com/jimishol)

2 points

9 months ago

384.

Show HN: Introduction to Cryptography and TLS with OpenSSL (github.com/ldynia)

2 points

9 months ago

385.

Show HN: PTS Library – Analyze LLM reasoning through "thought anchors"

2 points

10 months ago

386.

Show HN: Communal Growth, find others with similar interests in books or papers (communalgrowth.org)

2 points

10 months ago

387.

Show HN: Stream Kafka into Ducklake

2 points

a year ago

388.

Show HN: Through the Geek's Lens (github.com/marcmagransdeabril)

2 points

a year ago

389.

Show HN: A Go library to rate limit across millions of users (github.com/webriots)

2 points

a year ago

390.

Show HN: Convert Podcasts to EBooks (github.com/EISMGard)

2 points

a year ago