Search: github.com/00d | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Bringing Record and Replay debugging everywhere on Linux

github.com/sidkshatriya

a year ago

209 points

92.

55,000 lines of Rust code later: A debugger is born

github.com/sidkshatriya

5 years ago

86 points

93.

My Thoughts on OCaml vs. Haskell/Rust in 2023

github.com/sidkshatriya

3 years ago

21 points

94.

Record/Replay Debugging Tutorial

github.com/sidkshatriya

a year ago

14 points

95.

Why debuggers matter and rd, a debugger written in Rust

github.com/sidkshatriya

5 years ago

6 points

96.

The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms

github.com/MaiaVictor

9 years ago

6 points

97.

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

github.com/sidkshatriya

5 years ago

5 points

98.

Show HN: LockFS

github.com/ghost-in-a-jar-00

4 months ago

3 points

99.

Record/Replay Debugging Tutorial

github.com/sidkshatriya

a year ago

3 points

100.

Supercompilation for free with the abstract algorithm

github.com/MaiaVictor

8 years ago

3 points

101.

UAVRadio: Radio Link Path Loss Estimation for UAVs Python Module

github.com/ElsevierSoftwareX

2 years ago

2 points

102.

Rd: A port of mozilla/rr to the Rust programming language

github.com/sidkshatriya

6 years ago

2 points

103.

Dealing with GitHub Jealousy

github.com/sidkshatriya

5 years ago

2 points

104.

Show HN: LockFS Is Now Stable

github.com/ghost-in-a-jar-00

3 months ago

1 points

105.

Dealing with GitHub Jealously (2021)

github.com/sidkshatriya

a year ago

1 points

106.

Bringing and Record and Replay everywhere

github.com/sidkshatriya

a year ago

1 points

107.

Issues – angular/angular AngularJS 2 Beta imminent

github.com/angular

11 years ago

1 points

108.

Cppbestpractices: Forkable coding standards and best practices document for C++

github.com/lefticus

11 years ago

1 points

109.

Show HN: LockFS is a flexible file-by-file encryption for secure storage

github.com/ghost-in-a-jar-00

4 months ago

1 points

110.

H265 WebRTC Support Enabled in Broadcast Box

github.com/Glimesh

a year ago

1 points

111.

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

github.com/sidkshatriya

5 years ago

1 points

112.

Theorem proving VS testing (with a simple example)

github.com/MaiaVictor

8 years ago

1 points

113.

Show HN: Browser-based knitting (pattern) software

github.com/alefore

2 years ago

135 points

114.

Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem?

6 months ago

7 points

115.

Show HN: OrderlyID – typed, time-sortable, 160-bit IDs with checksums

github.com/kpiljoong

9 months ago

4 points

116.

Show HN: Rails engine for building production-ready LLM agents

github.com/adham90

5 months ago

2 points

117.

Show HN: Open-source tool to find dev leads and write job descriptions from code

a year ago

2 points

118.

Show HN:AIP Protocol–Solving the agent revocation problem in distributed systems

github.com/theaniketgiri

4 months ago

1 points

119.

Illumos to drop SPARC Support

github.com/illumos

5 years ago

146 points

120.

RFC: Evolving Rust Through Epochs

github.com/aturon

9 years ago

127 points