Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
61.
A constant throughput, correct latency recording variant of wrk (github.com/giltene)
22 points
mzehrer
12 years ago
discuss
62.
Ask HN: How to implement Telemetry for an Open Source project correctly?
9 points
cube2222
6 years ago
10 comments
63.
Show HN: Posture Correction Using AirPods Motion Sensors (github.com/wizenheimer)
8 points
tinylm
a year ago
1 comment
64.
Show HN: Lemmafit: Make agents prove that their code is correct (github.com/midspiral)
7 points
namin
3 months ago
5 comments
65.
Gimp Material Color palette with the correct colors (github.com/KiSSFLOW)
6 points
mataug
11 years ago
discuss
66.
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com/msv-lab)
6 points
mechtaev
a year ago
discuss
67.
Gem utility to automagically rename TV show files to a correct format (github.com/fklingler)
5 points
Ingolmo
13 years ago
1 comment
68.
Show HN: Fast, correct API-view Vim folding for Python, written in Cython (github.com/abarker)
5 points
abarker
4 years ago
1 comment
69.
Show HN: mediaquery – Turns human readable breakpoints into correct mediaqueries (github.com/axyz)
5 points
axyz
11 years ago
discuss
70.
Thefuck: Magnificent app which corrects your previous console command (github.com/nvbn)
4 points
gilad
6 years ago
3 comments
71.
A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com/namin)
4 points
namin
4 months ago
2 comments
72.
Thefuck: Correct Your Previous Console Command (github.com/nvbn)
4 points
fzliu
3 years ago
1 comment
73.
orjson: Fast, correct Python JSON lib (supports dataclasses, datetimes, numpy) (github.com/ijl)
4 points
tosh
3 years ago
discuss
74.
Show HN: Automated unique exam creator and correction (github.com/skorotkiewicz)
4 points
modinfo
4 years ago
discuss
75.
Riker: Always-Correct and Fast Incremental Builds from Simple Specifications (github.com/curtsinger-lab)
4 points
ccurtsinger
4 years ago
discuss
76.
Show HN: Perspec – Scriptable desktop app to correct the perspective of images (github.com/feramhq)
4 points
adius
4 years ago
discuss
77.
Show HN: posture correction content for those who sit in front of a screen (github.com/evexoio)
4 points
evex
8 years ago
discuss
78.
Correct spelling mistakes (github.com)
4 points
edward
9 years ago
discuss
79.
Show HN: Nova–Self-hosted personal AI learns from corrections &fine-tunes itself (github.com/HeliosNova)
3 points
heliosnova
3 months ago
3 comments
80.
UUID Readable 2.0 Shakespearean, Grammatically Correct Sentence, Invertible (github.com/Debdut)
3 points
debdut
5 years ago
3 comments
81.
Show HN: Calx – track and compile corrections humans make with AI agents (github.com)
3 points
spenceships
2 months ago
1 comment
82.
Jaq: A jq clone focussed on correctness, speed, and simplicity (github.com/01mf02)
3 points
fanf2
2 months ago
1 comment
83.
PrinceJS: Benchmark Corrections and Lessons from a 13-Year-Old Developer (github.com/MatthewTheCoder1218)
3 points
lilprince1218
6 months ago
1 comment
84.
Rust Library for Reed Solomon Error Correction with Berlekamp–Welch Decoding (github.com/SohamJog)
3 points
jogsoham2003
2 years ago
1 comment
85.
Jaq – A jq clone focussed on correctness, speed, and simplicity (github.com/01mf02)
3 points
maydemir
4 years ago
1 comment
86.
Show HN: Factfold – Clojure library for flexible and correctness-prone software (github.com/notduncansmith)
3 points
notduncansmith
9 years ago
1 comment
87.
Ask HN: I care about correct code. I deliver on time. I'm hungry for work.
3 points
DenverGuy
14 years ago
discuss
88.
Thefuck: Correct errors in previous console commands (github.com/nvbn)
3 points
loughnane
2 years ago
discuss
89.
jaq – jq clone focussed on correctness, speed, and simplicity written in Rust (github.com/01mf02)
3 points
guessmyname
4 years ago
discuss
90.
Correctly styled citations to your Markdown paper given only a URL (github.com/phiresky)
3 points
karencarits
4 years ago
discuss
More