Search: github.com/vsr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

571.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

5 months ago

2 points

572.

Git chart: visualize git repo activity by day and author

6 years ago

2 points

573.

Ask HN: Do you keep track of things you learn everyday

5 years ago

1 points

574.

Ask HN: Unix system version information

10 years ago

1 points

575.

Show HN: RustX – Help me test/architect this new Rust-based scripting language

github.com/GrandpaEJx

6 months ago

1 points

576.

Flaky Tests Are Not a Testing Problem. They're a Feedback Loop You Broke

4 months ago

1 points

577.

Show HN: Parametric Hubris – Beating GPT-5 on SimpleQA with forced retrieval

dev.thelastrag.de

5 months ago

1 points

578.

Show HN: My Tile Map editor now suports Isometric tiles

6 years ago

1 points

579.

A Verilog to Factorio Compiler and Simulator (Working RISC-V CPU)

github.com/ben-j-c

3 months ago

154 points

580.

CUBOTino: A small, simple, 3D printed, inexpensive Rubik's Cube solver robot

github.com/AndreaFavero71

3 years ago

81 points

581.

Hide paid Twitter blue check in 30 seconds with this browser extension

github.com/voidstar0

4 years ago

33 points

582.

I verified DeepMind's AlphaEvolve matrix multiplication breakthrough with Claude

github.com/PhialsBasement

a year ago

30 points

583.

Show HN: My Open Source Deep Research tools beats Google and I can Prove it

github.com/IamLumae

5 months ago

17 points

584.

Simple node.js compatibility layer for vert.x (work in progress)

github.com/nelsonsilva

14 years ago

16 points

585.

Show HN: Node-email-verification – verify user signup with Node and MongoDB

github.com/StDako

12 years ago

16 points

586.

Serving both sync and async/comet HTTP with RingoJS

16 years ago

13 points

587.

K2VV: Wild Precision Gaps Across "Kimi K2" API Vendors

github.com/MoonshotAI

9 months ago

4 points

588.

Mancy(Electron Based Node.js REPL) V2.0 Released

github.com/princejwesley

11 years ago

4 points

589.

Announce: SMTP DANE Verify – self-monitor your DANE policy

github.com/sys4

6 months ago

3 points

590.

Email Verification

github.com/blog

14 years ago

3 points

591.

Show HN: Verilog HDL support for VS Code

github.com/mshr-h

8 years ago

3 points

592.

Verification of Neural Networks via Linear Programming

github.com/dfava

8 years ago

2 points

593.

Show HN: I gave Claude Code the keys to the Visual Studio debugger

github.com/firish

20 hours ago

2 points

594.

Runtime augmentation of Hugging Face without modifying source – CMPSBL Demo

github.com/SweetKenneth

2 months ago

2 points

595.

Chocolate.js: Node.js framework updated to v0.0.9 - litejQ...

github.com/jclevy

13 years ago

2 points

596.

Astrum Verum – A Vector Symbolic cognitive memory that beats RAG

github.com/vitaliyfedotovpro-art

a month ago

2 points

597.

A pipeline that forces AI to justify decisions before acting (I'm a florist)

github.com/anchor-cloud

2 months ago

2 points

598.

New Cryptographic Challenge

github.com/tikred312-afk

7 months ago

2 points

599.

Daily-Bible-Verse-Cowsay

github.com/patlehmann1

8 months ago

2 points

600.

Show HN: From Nandgame to Verilog to FPGA

github.com/xocp

a year ago

2 points