HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
451.
▲
High-performance, scalable and reliable IPFIX and sFlow collector; written by Go
github.com/verizonDigital
discuss
9 years ago
mehrdadrad
1 points
452.
▲
Open Letter to SuperIntelligence
github.com/verekia
discuss
9 years ago
kytwb
1 points
453.
▲
Js-stack-boilerplate: The final boilerplate code of JavaScript Stack from Scratch
github.com/verekia
discuss
9 years ago
guifortaine
1 points
454.
▲
JavaScript Stack from Scratch
github.com/verekia
discuss
10 years ago
dabber
1 points
455.
▲
Magit interfaces for GitHub
github.com/vermiculus
discuss
10 years ago
numbnuts
1 points
456.
▲
ItsWhalesAllTheWayDown
github.com/verdverm
discuss
10 years ago
verdverm
1 points
457.
▲
Verbal regex js library
github.com/VerbalExpressions
discuss
10 years ago
iheredia
1 points
458.
▲
Capistrano bot to post release cards to Trello
github.com/Vertalab
discuss
10 years ago
kiosan
1 points
459.
▲
JavaScript Regular expressions made easy
github.com/VerbalExpressions
discuss
10 years ago
gotchange
1 points
460.
▲
Python common language regular expression syntax
github.com/VerbalExpressions
discuss
10 years ago
rrggrr
1 points
461.
▲
VerbalExpression – regular expressions with normal words
github.com/VerbalExpressions
discuss
10 years ago
tilt
1 points
462.
▲
Node CLI tool to align versions across package manifests
github.com/Addvilz
discuss
11 years ago
addvilz
1 points
463.
▲
Show HN: LLM Verified with Monte Carlo Tree Search
github.com/namin
15 comments
3 years ago
namin
102 points
464.
▲
Ask HN: Best minimal CSS Framework for side project
25 comments
10 years ago
lormayna
12 points
465.
▲
Show HN: Doctest – the lightest C++ testing framework – version 1.1 released
discuss
10 years ago
onqtam
7 points
466.
▲
Make your terminal snow
3 comments
13 years ago
sontek
5 points
467.
▲
Show HN: VerifyWise, an open-source governance platform for AI compliance
verifywise.ai
discuss
a year ago
gorkemcetin
5 points
468.
▲
Show HN: Self Sovereign Verification – don’t pay for verified
github.com/arxskycom
discuss
3 years ago
miketery
4 points
469.
▲
Ask HN: What's the Deal with Lineageosroms.com?
1 comment
4 years ago
alex028502
3 points
470.
▲
Show HN: Cursor Version Manager – Shell script to manage Cursor editor versions
github.com/ivstiv
discuss
a year ago
ivstiv
3 points
471.
▲
Show HN: Open Vernacular AI Kit – preprocessing for Indian code-mixed text
github.com/SudhirGadhvi
discuss
4 months ago
sudhirgadhvi
2 points
472.
▲
Show HN: Prima Veritas – Deterministic Analytics Engine for Reproducible ML
github.com/bryanziehl
4 comments
7 months ago
MLoffshore
1 points
473.
▲
Runtime validation is still fucked in AI coding agents
2 comments
4 months ago
sebringj
1 points
474.
▲
Show HN: "mk" – one-liner make rules on the command-line
discuss
2 years ago
alecthomas
1 points
475.
▲
Email verification protocol
github.com/WICG
146 comments
8 months ago
sgoto
214 points
476.
▲
Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]
github.com/blanchette
19 comments
6 years ago
kevinbuzzard
177 points
477.
▲
What if Git worked with programming languages?
github.com/GavinMendelGleason
191 comments
5 years ago
LukeEF
170 points
478.
▲
Verus: Verified Rust for low-level systems code
github.com/secure-foundations
48 comments
a year ago
mmcloughlin
158 points
479.
▲
Vim-vertical: Get around 2-dimensionally in vim
github.com/rbong
39 comments
10 years ago
rbongers
102 points
480.
▲
Hooks-Based WebGL Library for React
github.com/sghall
18 comments
7 years ago
alex_2019
95 points
More