Search: github.com/vcr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

The cargo cult of versioning – summary notes - WIP RFC

2 points

9 years ago

62.

Show HN: I built a small OSS kernel for replaying and diffing AI decisions

1 point

4 months ago

63.

Ask HN: Adding user specific submission options with Supabase

1 point

playfantasydraw

2 years ago

64.

Show HN: Slog, a simple logger for Python

1 point

10 years ago

65.

Cliniclaw: AI-native HIS attempt with polict-gated clinical agents

1 point

3 months ago

66.

Show HN: Verity, Formally verified smart contracts from spec to bytecode (github.com/Th0rgal)

1 point

3 months ago

67.

Show HN: Skills-CLI, Sync local and remote skills with agentic IDEs (dhruvwill.github.io)

1 point

5 months ago

68.

Show HN: VerityNgn–Open-source AI that fact-checks YouTube videos (hotchilianalyticsllc.mintlify.app)

1 point

5 months ago

69.

Stop trusting torch.load() – I built a tool to scan AI models for RCE (github.com/ArseniiBrazhnyk)

1 point

5 months ago

70.

Show HN: Saliency-Aware Video Cropping in Browser (crisprvideo.netlify.app)

1 point

4 years ago

71.

Verifiable Computer Question

1 point

5 years ago

72.

Review HN: Sopro, FOSS web-app for problem-solving in your org

1 point

15 years ago

73.

The vFlow v0.6.5 has been released

1 point

8 years ago

74.

Verex: the Verbal regex builder

1 point

8 years ago

75.

Verso – Web browser built on top of the Servo web engine (github.com/versotile-org)

821 points

2 years ago

76.

RCE Vulnerability in React and Next.js (github.com/vercel)

628 points

6 months ago

77.

A URL shortener not shortening the URL but makes it look very dodgy (github.com/defaultnamehere)

434 points

3 years ago

78.

Step-by-step tutorial to build a modern JavaScript stack from scratch (github.com/verekia)

366 points

10 years ago

79.

Show HN: Verilog2factorio (github.com/Redcrafter)

313 points

5 years ago

80.

Verified Rust for low-level systems code (github.com/verus-lang)

284 points

2 years ago

81.

Java Verbal Expressions (github.com/VerbalExpressions)

275 points

6 years ago

82.

Show HN: Satori – Convert HTML and CSS to SVG (github.com/vercel)

244 points

4 years ago

83.

Prove Raft Correct (github.com/uwplse)

173 points

11 years ago

84.

Stack Exchange for Emacs (github.com/vermiculus)

143 points

11 years ago

85.

Microsoft Project Verona: Research programming language for concurrent ownership (github.com/microsoft)

142 points

6 years ago

86.

Mediasoup – WebRTC video conferencing (github.com/versatica)

125 points

6 years ago

87.

Just-bash: Bash for Agents (github.com/vercel-labs)

124 points

3 months ago

88.

Show HN: A JavaScript function that looks and behaves like a pipe operator (github.com/laurentpayot)

120 points

3 years ago

89.

SX – Stack Exchange mode for Emacs (github.com/vermiculus)

115 points

11 years ago

90.

Vera: a programming language designed for machines to write (github.com/aallan)

111 points

a month ago