Search: github.com/g3orge | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

LLMs as Copilots for Theorem Proving in Lean (github.com/lean-dojo)

3 points

2 years ago

122.

Gosloppy: Run and test Go code with unused imports and variables (github.com/elazarl)

3 points

13 years ago

123.

Reproducing GPT-2 (124M) in llm.c in 90 minutes for $20 (github.com/karpathy)

3 points

2 years ago

124.

Solve Puzzles. Learn CUDA (github.com/srush)

3 points

2 years ago

125.

MagicAnimate: Temporally Consistent Human Image Animation Using Diffusion Model (github.com/magic-research)

3 points

3 years ago

126.

Rust Is Beautiful #100000 (github.com/rust-lang)

3 points

4 years ago

127.

Hacker Laws – All models are wrong, but some are useful (github.com/dwmkerr)

3 points

6 years ago

128.

Connected Home over IP (Chip) Public Release (github.com/project-chip)

3 points

6 years ago

129.

Assessing software engineering candidates (github.com/joyent)

3 points

8 years ago

130.

VSCode Tips and Tricks (github.com/Microsoft)

3 points

9 years ago

131.

Evaluating LLMs with CommonGen-Lite (github.com/allenai)

2 points

2 years ago

132.

Mistral: Light-weight library for mixture-of-experts (MoE) training (github.com/mistralai)

2 points

2 years ago

133.

Voyager: A Library for Approximate Nearest-Neighbor Search by Spotify (github.com/spotify)

2 points

3 years ago

134.

Nao: Open-Source Analytics Agent (github.com/getnao)

2 points

3 months ago

135.

Show HN: CocoIndex – Open-Source Data Engine for Dynamic Context Engineering (github.com/cocoindex-io)

2 points

6 months ago

136.

GPT-Vision first most reliable open-source browser automation (github.com/vignshwarar)

2 points

2 years ago

137.

Official PR Reveals the Inference Code for Mixtral 8x7B (github.com/vllm-project)

2 points

2 years ago

138.

Binary Search Tree in Rust (gist.github.com)

2 points

3 years ago

139.

Monte Carlo tree search in Jax (github.com/google-deepmind)

2 points

3 years ago

140.

Inference at the Edge (github.com/ggerganov)

2 points

3 years ago

141.

Predicting the Future of AI with AI (github.com/artificial-scientist-lab)

2 points

4 years ago

142.

NanoFORTH (github.com/chochain)

2 points

4 years ago

143.

Node.js 0.6.3 to include NPM in .msi Installer, OS X .pkg (github.com/joyent)

2 points

15 years ago

144.

An efficient library for nearest neighbor search in native rust (github.com/hora-search)

2 points

4 years ago

145.

Intentional Malware? Are you serious? (github.com/RIAEvangelist)

2 points

4 years ago

146.

Dispenso: Thread pool with work-stealing allowances (github.com/facebookincubator)

2 points

4 years ago

147.

SIMPL, simple serial interpreted language for microcontrollers (github.com/monsonite)

2 points

5 years ago

148.

Soundflower: macOS system extension to pass audio between applications (github.com/mattingalls)

2 points

5 years ago

149.

Show HN: Remote Work Policy Tracker by Company (github.com/arjunmadgavkar)

2 points

6 years ago

150.

BalenaSound: Multiroom Bluetooth, Airplay and Spotify Audio (github.com/balenalabs)

2 points

6 years ago