Search: github.com/halst | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

PHP : __halt_compiler (github.com/php)

1 point

12 years ago

152.

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting (github.com/sligocki)

1 point

5 months ago

153.

GitHub's checkout action is halting contributions (github.com/actions)

1 point

a year ago

154.

Show HN: LLM/RAG Toolbox for Tinkerers (Ollama, HuggingFace, Haystack, Python) (github.com/TilmanGriesel)

1 point

a year ago

155.

Finite-WASM: Cheating a little to solve the halting problem at scale (github.com/near)

1 point

3 years ago

156.

DeFiChain Halted Due to Bug (github.com/DeFiCh)

1 point

4 years ago

157.

Project Hamster: open-source time tracking with various interfaces (github.com/projecthamster)

1 point

5 years ago

158.

A hastily conceived idea for private blockchain messaging (gist.github.com)

1 point

11 years ago

159.

Tell HN: The Internet situation inside Iran

1045 points

throwaway124592

4 years ago

160.

Launch HN: Langfuse (YC W23) – OSS Tracing and Workflows to Improve LLM Apps (github.com/langfuse)

215 points

a year ago

161.

Tell HN: Read up on your GitHub Support SLA

193 points

4 years ago

162.

Show HN: OpenLLMetry – OpenTelemetry-based observability for LLMs (github.com/traceloop)

154 points

3 years ago

163.

Launch HN: Lightly (YC S21): Label only the data which improves your ML model

88 points

5 years ago

164.

Show HN: Semgrep App

79 points

5 years ago

165.

Show HN: BloomSearch – Keyword search with hierarchical Bloom filters (github.com/danthegoodman1)

66 points

a year ago

166.

Show HN: KTransformers–236B Model and 1M Context LLM Inference on Local Machines (github.com/kvcache-ai)

20 points

2 years ago

167.

Show HN: rm-safely – A shell alias that moves files to trash instead of deleting (github.com/zdk)

14 points

9 months ago

168.

Show HN: KTransformers:671B DeepSeek-R1 on a Single Machine-286 tokens/s Prefill (github.com/kvcache-ai)

14 points

a year ago

169.

Show HN: Bubble sort on a Turing machine (github.com/purplejacket)

12 points

4 months ago

170.

Show HN: Chr2 – consensus for side effects (exactly-once is a lie) (github.com/abokhalill)

12 points

5 months ago

171.

Valori – A Python-native Vector Database I built from scratch

9 points

7 months ago

172.

Show HN: Updates on Burr (OS) – a full-stack AI agent framework (burr.dagworks.io)

8 points

2 years ago

173.

Show HN: OpenClaw-superpowers – Self-modifying skill library for OpenClaw agents (github.com/ArchieIndian)

8 points

3 months ago

174.

Complete Removal of Intel Me Possible on Certain Intel HEDT/Server Platforms

8 points

7 years ago

175.

Two new Behavior-Driven Development libraries for Objective-C (Nu/MacRuby)

6 points

15 years ago

176.

Show HN: Operon – Reliable Agents Using Biological Motifs and Category Theory (github.com/coredipper)

6 points

5 months ago

177.

Show HN: Quake VR – Quake (1996) as a first-class PCVR experience (vittorioromeo.info)

6 points

4 years ago

178.

Ask HN: With open source software, how do I find out where my users come from?

5 points

burning_hamster

5 years ago

179.

Ask HN: Is there any programming language that doesn't have WTFs?

5 points

a year ago

180.

Show HN: My pl/0 compiler implemented in Rust (for college curruculum design) (github.com/DrEden33773)

5 points

2 years ago