Search: github.com/vsr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

(Re//Verse 2026) Taxonomy and Deobfuscation of a Real World Binary Obfuscator [pdf]

github.com/AnalogCyberNuke

12 days ago

27 points

482.

Show HN: Git, from scratch, in Python, Spelled out

github.com/yash-srivastava19

3 years ago

20 points

483.

Show HN: Naja-Verilog – Structural Verilog Parser

github.com/xtofalex

3 years ago

17 points

484.

Dotted Version Vectors: Logical Clocks for Eventually Consistent Systems

github.com/ricardobcl

11 years ago

16 points

485.

Show HN: Check if Number exists on WhatsApp

github.com/AbhishekBiswal

5 years ago

12 points

486.

Show HN: PHP Version Audit – Audit Your PHP Version for Known CVEs and Patches

github.com/lightswitch05

7 years ago

8 points

487.

We've Created SMS Number Verifier – Free Disposable SMS Numbers – Tor Supported

github.com/upmasked

6 years ago

7 points

488.

Show HN: I built an integration for RL training of browser agents for everyone

github.com/PrimeIntellect-ai

3 months ago

7 points

489.

Why does software have to be part of the left wing or right wing?

github.com/Floppy

9 months ago

6 points

490.

Show HN: Verge Client in Perl 6

github.com/brakmic

8 years ago

6 points

491.

Show HN: Verani – Socket.io-like realtime SDK for Cloudflare

github.com/v0id-user

6 months ago

6 points

492.

github.com/othermod

3 years ago

6 points

493.

Show HN: Email Verifier Written in Go

github.com/hsnice16

2 years ago

5 points

494.

Glibc Version Header Generator

github.com/wheybags

4 years ago

5 points

495.

Show HN: Pre-execution verification for LLM-generated agentic workflows

github.com/le0li0n

4 months ago

4 points

496.

Don't drink and fix issues at the same time

github.com/saintedlama

12 years ago

4 points

497.

The Hitchhiker’s Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

4 points

498.

A very brief intro to rust

github.com/ashleygwilliams

9 years ago

4 points

499.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle

github.com/welltyped-systems

6 months ago

3 points

500.

Vertigo – an old 3D flight simulator for modern Linux

github.com/ricardo-ayres

5 years ago

3 points

501.

Show HN: Background Image Versioning with CarrierWave and Rails

github.com/IcaliaLabs

12 years ago

3 points

502.

Vim plugin for better vertical movement

github.com/bruno-

13 years ago

3 points

503.

Versions: The Node.js Content Delivery Network

github.com/3rd-eden

13 years ago

3 points

504.

Sentimental Versioning

github.com/dominictarr

6 months ago

3 points

505.

What is the game? Why are people forking this?

github.com/mmower

2 years ago

2 points

506.

Show HN: Multiple shell versions for testing portable shell scripts

github.com/alganet

2 years ago

2 points

507.

Show HN: GitHub Version Tags – Chrome extension to show a repo's current version

github.com/joeyespo

9 years ago

2 points

508.

Newly open-sourced: django-versatileimagefield

github.com/WGBH

12 years ago

2 points

509.

Show HN: 97% on SWE-bench Verified with subscription-token agents

github.com/kimjune01

a month ago

2 points

510.

AutoRocq: Agentic Theorem Prover for Verification

github.com/NUS-Program-Verification

3 months ago

2 points