Search: github.com/corretto | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

A constant throughput, correct latency recording variant of wrk (github.com/giltene)

22 points

12 years ago

62.

Ask HN: How to implement Telemetry for an Open Source project correctly?

9 points

6 years ago

63.

Show HN: Posture Correction Using AirPods Motion Sensors (github.com/wizenheimer)

8 points

a year ago

64.

Show HN: Lemmafit: Make agents prove that their code is correct (github.com/midspiral)

7 points

3 months ago

65.

Gimp Material Color palette with the correct colors (github.com/KiSSFLOW)

6 points

11 years ago

66.

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com/msv-lab)

6 points

a year ago

67.

Gem utility to automagically rename TV show files to a correct format (github.com/fklingler)

5 points

13 years ago

68.

Show HN: Fast, correct API-view Vim folding for Python, written in Cython (github.com/abarker)

5 points

4 years ago

69.

Show HN: mediaquery – Turns human readable breakpoints into correct mediaqueries (github.com/axyz)

5 points

11 years ago

70.

Thefuck: Magnificent app which corrects your previous console command (github.com/nvbn)

4 points

6 years ago

71.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com/namin)

4 points

4 months ago

72.

Thefuck: Correct Your Previous Console Command (github.com/nvbn)

4 points

3 years ago

73.

orjson: Fast, correct Python JSON lib (supports dataclasses, datetimes, numpy) (github.com/ijl)

4 points

3 years ago

74.

Show HN: Automated unique exam creator and correction (github.com/skorotkiewicz)

4 points

4 years ago

75.

Riker: Always-Correct and Fast Incremental Builds from Simple Specifications (github.com/curtsinger-lab)

4 points

4 years ago

76.

Show HN: Perspec – Scriptable desktop app to correct the perspective of images (github.com/feramhq)

4 points

4 years ago

77.

Show HN: posture correction content for those who sit in front of a screen (github.com/evexoio)

4 points

8 years ago

78.

Correct spelling mistakes (github.com)

4 points

9 years ago

79.

Show HN: Nova–Self-hosted personal AI learns from corrections &fine-tunes itself (github.com/HeliosNova)

3 points

3 months ago

80.

UUID Readable 2.0 Shakespearean, Grammatically Correct Sentence, Invertible (github.com/Debdut)

3 points

5 years ago

81.

Show HN: Calx – track and compile corrections humans make with AI agents (github.com)

3 points

2 months ago

82.

Jaq: A jq clone focussed on correctness, speed, and simplicity (github.com/01mf02)

3 points

2 months ago

83.

PrinceJS: Benchmark Corrections and Lessons from a 13-Year-Old Developer (github.com/MatthewTheCoder1218)

3 points

6 months ago

84.

Rust Library for Reed Solomon Error Correction with Berlekamp–Welch Decoding (github.com/SohamJog)

3 points

2 years ago

85.

Jaq – A jq clone focussed on correctness, speed, and simplicity (github.com/01mf02)

3 points

4 years ago

86.

Show HN: Factfold – Clojure library for flexible and correctness-prone software (github.com/notduncansmith)

3 points

9 years ago

87.

Ask HN: I care about correct code. I deliver on time. I'm hungry for work.

3 points

14 years ago

88.

Thefuck: Correct errors in previous console commands (github.com/nvbn)

3 points

2 years ago

89.

jaq – jq clone focussed on correctness, speed, and simplicity written in Rust (github.com/01mf02)

3 points

4 years ago

90.

Correctly styled citations to your Markdown paper given only a URL (github.com/phiresky)

3 points

4 years ago