Search: github.com/mrThe | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: I built Clash to avoid conflicts when running AI agents in parallel (github.com/clash-sh)

1 point

4 months ago

422.

Show HN: Borr AI – An open-source telemetry for retail (borr.ai)

1 point

4 months ago

423.

Show HN: Freebird – Authorization without identity using VOPRF cryptography (freebird.bot)

1 point

4 months ago

424.

Show HN: Guava Range Parser – Parse "[0..100)" strings into Guava Range object (github.com/neewrobert)

1 point

5 months ago

425.

Show HN: Atrion – Deterministic traffic orchestration using physics (Node.js) (github.com/laphilosophia)

1 point

5 months ago

426.

Show HN: A neuro-symbolic manufacturing engine built in 1 week with Gemini 3.0 (github.com/globalhawk04)

1 point

6 months ago

427.

Show HN: Unstable Singularity Detector (github.com/Flamehaven)

1 point

8 months ago

428.

Show HN: Luna, an in-memory SQL server for object storage data (github.com/flowerinthenight)

1 point

9 months ago

429.

Show HN: Containers for Lean 4 (polynomial functors, with M-types) (github.com/fraware)

1 point

9 months ago

430.

Show HN: Mersenne - A Bluesky bot that lets you play Witness puzzles (bsky.app)

1 point

10 months ago

431.

Show HN: Cryptographic proofs that algorithms stay fair over time [pdf] (github.com/skylessdev)

1 point

10 months ago

432.

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

1 point

a year ago

433.

Show HN: Chess Using NFTs and Game Theory (github.com/Dyslex7c)

1 point

a year ago

434.

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

1 point

a year ago

435.

Show HN: Finite Capacity-Based System – Breaking the Infinite Illusion (voids.blog)

1 point

a year ago

436.

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

1 point

a year ago

437.

Show HN: From-Scratch ML Library (trains models from CNNs to a toy GPT-2) (github.com/workofart)

1 point

a year ago

438.

Show HN: Unicorn Ratio – Investing models for YC demo day (github.com/OrangeCollective)

1 point

2 years ago

439.

Show HN: polynomial-rs (github.com/woxjro)

1 point

2 years ago

440.

Show HN: Python package for drawing diverse geometric shapes (github.com/byanko55)

1 point

2 years ago

441.

Show HN: GPT-4 eBook Translator – Read in Any Language (github.com/jb41)

1 point

3 years ago

442.

Ask HN: How to get a job as a test case engineer for AI?

1 point

3 years ago

443.

Ask HN: PyTorch on AMD APU for laptops?

1 point

3 years ago

444.

Continuous Bernoulli distribution-simulator and test statistic [cpp]

1 point

6 years ago

445.

Show HN: Sci-TEM – Matching scientists' technical research issues with experts

1 point

6 years ago

446.

Propositional logic exercises with the lean theorem prover (github.com/ImperialCollegeLondon)

54 points

5 years ago

447.

ClickHouse saved our events engine problem (github.com/getlago)

6 points

2 years ago

448.

Public APIs Situation, a collective list of free APIs (github.com/public-apis)

4 points

matheusfelipeog

4 years ago

449.

Entire Linux Source Code Development History Visualized (visualsource.net)

3 points

5 years ago

450.

Show HN: Compile Tensorflow to WebAssembly (github.com/nuchi)

3 points

8 years ago