Search: github.com/00d | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

My Thoughts on OCaml vs. Haskell/Rust in 2023 (github.com/sidkshatriya)

21 points

3 years ago

92.

Record/Replay Debugging Tutorial (github.com/sidkshatriya)

14 points

a year ago

93.

Why debuggers matter and rd, a debugger written in Rust (github.com/sidkshatriya)

6 points

5 years ago

94.

The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms (github.com/MaiaVictor)

6 points

9 years ago

95.

45,000+ lines of Rust code later: An update on the Record and Debug Tool (rd) (github.com/sidkshatriya)

5 points

5 years ago

96.

Show HN: LockFS (github.com/ghost-in-a-jar-00)

3 points

4 months ago

97.

Record/Replay Debugging Tutorial (github.com/sidkshatriya)

3 points

a year ago

98.

Supercompilation for free with the abstract algorithm (github.com/MaiaVictor)

3 points

8 years ago

99.

UAVRadio: Radio Link Path Loss Estimation for UAVs Python Module (github.com/ElsevierSoftwareX)

2 points

2 years ago

100.

Rd: A port of mozilla/rr to the Rust programming language (github.com/sidkshatriya)

2 points

6 years ago

101.

Dealing with GitHub Jealousy (github.com/sidkshatriya)

2 points

5 years ago

102.

Show HN: LockFS Is Now Stable (github.com/ghost-in-a-jar-00)

1 point

3 months ago

103.

Dealing with GitHub Jealously (2021) (github.com/sidkshatriya)

1 point

a year ago

104.

Bringing and Record and Replay everywhere (github.com/sidkshatriya)

1 point

a year ago

105.

Issues – angular/angular AngularJS 2 Beta imminent (github.com/angular)

1 point

11 years ago

106.

Cppbestpractices: Forkable coding standards and best practices document for C++ (github.com/lefticus)

1 point

11 years ago

107.

Show HN: LockFS is a flexible file-by-file encryption for secure storage (github.com/ghost-in-a-jar-00)

1 point

4 months ago

108.

H265 WebRTC Support Enabled in Broadcast Box (github.com/Glimesh)

1 point

a year ago

109.

45,000 lines of Rust code later: An update on the Record and Debug Tool (rd) (github.com/sidkshatriya)

1 point

5 years ago

110.

Theorem proving VS testing (with a simple example) (github.com/MaiaVictor)

1 point

8 years ago

111.

Show HN: Browser-based knitting (pattern) software (github.com/alefore)

135 points

2 years ago

112.

Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem? (academia.edu)

7 points

5 months ago

113.

Show HN: OrderlyID – typed, time-sortable, 160-bit IDs with checksums (github.com/kpiljoong)

4 points

9 months ago

114.

Show HN: Rails engine for building production-ready LLM agents (github.com/adham90)

2 points

5 months ago

115.

Show HN: Open-source tool to find dev leads and write job descriptions from code (repotalent.com)

2 points

a year ago

116.

Show HN:AIP Protocol–Solving the agent revocation problem in distributed systems (github.com/theaniketgiri)

1 point

4 months ago

117.

Illumos to drop SPARC Support (github.com/illumos)

146 points

5 years ago

118.

RFC: Evolving Rust Through Epochs (github.com/aturon)

127 points

9 years ago

119.

Redis 2.6.0 RC1 Released (raw.github.com)

77 points

14 years ago

120.

React profiling component to measure the "cost" of rendering (github.com/bvaughn)

75 points

8 years ago