Search: github.com/vsr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Why does software have to be part of the left wing or right wing? (github.com/Floppy)

6 points

8 months ago

482.

Show HN: Verge Client in Perl 6 (github.com/brakmic)

6 points

8 years ago

483.

Show HN: Verani – Socket.io-like realtime SDK for Cloudflare (github.com/v0id-user)

6 points

6 months ago

484.

The PSPi v6 (github.com/othermod)

6 points

3 years ago

485.

Show HN: Email Verifier Written in Go (github.com/hsnice16)

5 points

2 years ago

486.

Glibc Version Header Generator (github.com/wheybags)

5 points

4 years ago

487.

Show HN: Pre-execution verification for LLM-generated agentic workflows (github.com/le0li0n)

4 points

3 months ago

488.

Don't drink and fix issues at the same time (github.com/saintedlama)

4 points

12 years ago

489.

The Hitchhiker’s Guide to Logical Verification [pdf] (github.com/blanchette)

4 points

6 years ago

490.

A very brief intro to rust (github.com/ashleygwilliams)

4 points

9 years ago

491.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (github.com/welltyped-systems)

3 points

5 months ago

492.

Vertigo – an old 3D flight simulator for modern Linux (github.com/ricardo-ayres)

3 points

5 years ago

493.

Show HN: Background Image Versioning with CarrierWave and Rails (github.com/IcaliaLabs)

3 points

12 years ago

494.

Vim plugin for better vertical movement (github.com/bruno-)

3 points

13 years ago

495.

Versions: The Node.js Content Delivery Network (github.com/3rd-eden)

3 points

13 years ago

496.

Sentimental Versioning (github.com/dominictarr)

3 points

6 months ago

497.

What is the game? Why are people forking this? (github.com/mmower)

2 points

2 years ago

498.

Show HN: Multiple shell versions for testing portable shell scripts (github.com/alganet)

2 points

2 years ago

499.

Show HN: GitHub Version Tags – Chrome extension to show a repo's current version (github.com/joeyespo)

2 points

9 years ago

500.

Newly open-sourced: django-versatileimagefield (github.com/WGBH)

2 points

12 years ago

501.

Show HN: 97% on SWE-bench Verified with subscription-token agents (github.com/kimjune01)

2 points

13 days ago

502.

AutoRocq: Agentic Theorem Prover for Verification (github.com/NUS-Program-Verification)

2 points

2 months ago

503.

Show HN: I wrote a dictionary of the 185 verbs Claude shows while thinking (github.com/paolobozzola)

2 points

3 months ago

504.

Show HN: Veriduct Prime – Format destruction framework for binary evasion (github.com/Bombadil-Systems)

2 points

6 months ago

505.

Show HN: Veru – open-source AI citation auditor using OpenAlex (github.com/Yinghao-Guan)

2 points

6 months ago

506.

Awesome Version Managers (github.com/bernardoduarte)

2 points

6 months ago

507.

Daily-Verse (github.com/patlehmann1)

2 points

7 months ago

508.

Verifiers: Environments for LLM Reinforcement Learning (github.com/PrimeIntellect-ai)

2 points

8 months ago

509.

Glibc Version Header Generator (github.com/wheybags)

2 points

a year ago

510.

Anvil: Building Formally Verified Kubernetes Controllers (github.com/vmware-research)

2 points

2 years ago