Search: github.com/mrThe | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: deterministic oracle for hardware designs with replayable proofs

suprastructure.net

2 months ago

1 points

422.

New Open Source Release

3 months ago

1 points

423.

Show HN: I got frustrated with SMILES, so I built one

github.com/sangeet01

3 months ago

1 points

424.

Show HN: A 3-line wrapper that enforces deterministic security for AI agents

3 months ago

1 points

425.

Show HN: Mamba3-minimal – PyTorch implementation of Mamba-3

github.com/VikramKarLex

4 months ago

1 points

426.

Show HN: A non-programmer built a blockchain ecosystem using only AI

4 months ago

BizinikiwiBrain

1 points

427.

Show HN: IQT – Why space feels panoramic and time feels fleeting

github.com/creatorrr

4 months ago

1 points

428.

Show HN: SVGV – A Real-Time Vector Video Format for Budget Hardware

github.com/thealidev

5 months ago

1 points

429.

Show HN: Logic Mill – Visualizing and sorting codebases

5 months ago

1 points

430.

Show HN: I built Clash to avoid conflicts when running AI agents in parallel

github.com/clash-sh

5 months ago

1 points

431.

Show HN: Borr AI – An open-source telemetry for retail

5 months ago

1 points

432.

Show HN: Freebird – Authorization without identity using VOPRF cryptography

5 months ago

1 points

433.

Show HN: Guava Range Parser – Parse "[0..100)" strings into Guava Range object

github.com/neewrobert

5 months ago

1 points

434.

Show HN: Atrion – Deterministic traffic orchestration using physics (Node.js)

github.com/laphilosophia

5 months ago

1 points

435.

Show HN: A neuro-symbolic manufacturing engine built in 1 week with Gemini 3.0

github.com/globalhawk04

7 months ago

1 points

436.

Show HN: Unstable Singularity Detector

github.com/Flamehaven

9 months ago

1 points

437.

Show HN: Luna, an in-memory SQL server for object storage data

github.com/flowerinthenight

9 months ago

1 points

438.

Show HN: Containers for Lean 4 (polynomial functors, with M-types)

github.com/fraware

9 months ago

1 points

439.

Show HN: Mersenne - A Bluesky bot that lets you play Witness puzzles

10 months ago

1 points

440.

Show HN: Cryptographic proofs that algorithms stay fair over time [pdf]

github.com/skylessdev

a year ago

1 points

441.

A Fast, In-Browser Decimal ↔ Balanced Ternary Converter (Handles 21M+ Entries)

a year ago

1 points

442.

Show HN: Chess Using NFTs and Game Theory

github.com/Dyslex7c

a year ago

1 points

443.

Show HN: Finite math system for programmers (human+AI made)

a year ago

1 points

444.

Show HN: Finite Capacity-Based System – Breaking the Infinite Illusion

a year ago

1 points

445.

Show HN: ML Library created by Python+NumPy (trains CNNs to a toy GPT-2)

github.com/workofart

a year ago

1 points

446.

Show HN: From-Scratch ML Library (trains models from CNNs to a toy GPT-2)

github.com/workofart

a year ago

1 points

447.

Show HN: Unicorn Ratio – Investing models for YC demo day

github.com/OrangeCollective

2 years ago

1 points

448.

Show HN: polynomial-rs

github.com/woxjro

2 years ago

1 points

449.

Show HN: Python package for drawing diverse geometric shapes

github.com/byanko55

2 years ago

1 points

450.

Show HN: GPT-4 eBook Translator – Read in Any Language

github.com/jb41

3 years ago

1 points