Search: github.com/mrThe | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Show HN: WasmX: metamorphic WASM blockchain engine [first public release]

github.com/ark-us

10 months ago

loredanacirstea

3 points

362.

Learn TypeScript as First Language

gist.github.com

a year ago

3 points

363.

Ask HN: I care about correct code. I deliver on time. I'm hungry for work.

14 years ago

3 points

364.

Show HN: LLaMA Nuts and Bolts, A holistic way of understanding how LLMs run

github.com/adalkiran

2 years ago

3 points

365.

Meta uses Hacker News (and more) in OPT (its version of GPT-3)

4 years ago

3 points

366.

Show HN: MuninnDB – ACT-R decay and Hebbian memory for AI agents

github.com/scrypster

4 months ago

2 points

367.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

368.

Show HN: Open-source EU AI Act compliance layer for AI agents (8/2026 deadline)

4 months ago

2 points

369.

Helping promote the Lax programming language

5 months ago

2 points

370.

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

2 months ago

2 points

371.

Show HN: SkillFortify, a formal verification for AI agent skills

github.com/varun369

4 months ago

2 points

372.

Show HN: Nucleus - AI prompt framework

github.com/michaelwhitford

6 months ago

2 points

373.

Show HN: TimeSeal – Cryptographic time-locked vaults with Dead Man's Switch

github.com/Teycir

6 months ago

2 points

374.

Show HN: SideNote – Markdown Note Extension on Browser Sidepanel

github.com/IHaBiS02

10 months ago

2 points

375.

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

jponline.github.io

a year ago

2 points

376.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

377.

Show HN: Raypher–eBPF-based runtime security and hardware identity for AI agents

github.com/kidigapeet

4 months ago

2 points

378.

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

lambdalord.github.io

a year ago

2 points

379.

AbsCrypt [Chariot Technologies Lab Inc]

7 years ago

2 points

380.

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

11 years ago

2 points

381.

Show HN: I Built an LLM Engine, That Test LLM on Boolean Logic

github.com/Shrivastava-Aditya

15 days ago

2 points

382.

Show HN: brepjs is an open source programmatic CAD library thats runs on web

22 days ago

2 points

383.

Show HN: A Collatz conjecture full music generator in 800 lines of C

github.com/pumpkin-bit

2 months ago

2 points

384.

Project Lean – The $10B Singularity Architecture

3 months ago

2 points

385.

Show HN: MaximusLLM – Train 262k-vocab LLMs on a single 16GB GPU

github.com/yousef-rafat

3 months ago

2 points

386.

Show HN: Lar-JEPA – A Testbed for Orchestrating Predictive World Models

github.com/snath-ai

4 months ago

2 points

387.

Show HN: TurkishSieve CPU/GPU prime sieve found errors in Nicely's tables

github.com/bilgisofttr

4 months ago

2 points

388.

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

4 months ago

2 points

389.

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

6 months ago

flyingriverhrse

2 points

390.

Show HN: BlockFrame – A local, erasure-coded storage engine in Rust

github.com/crushr3sist

6 months ago

2 points