Search: github.com/zb3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: LoopMix128 – Fast C PRNG (.46ns), 2^128 Period, BigCrush/PractRand Pass (github.com/danielcota)

76 points

a year ago

92.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

93.

Ask HN: I found malware on GitHub. How do I analyze the malware further?

19 points

6 years ago

94.

So We've Had a Few Problems with Docker in Production

15 points

9 years ago

95.

Show HN: Blob Goes 3D – A 3D game for the Gameboy Advance in Rust (github.com/MilanFIN)

4 points

a year ago

96.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (github.com/tsvibt)

3 points

3 years ago

97.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

98.

Show HN: Planedrift – Play Infocom games in the browser (planedrift.app)

2 points

2 months ago

99.

Prior art and simulation results for a non-von Neumann coordination

2 points

3 months ago

100.

Show HN: Code Scalpel – AST analyzer and security scanner (MCP server) (codescalpel.dev)

2 points

4 months ago

101.

Show HN: AI-Powered Zettelkasten Using Pinecone and Claude MCP (github.com/logicalicy)

2 points

8 months ago

102.

Show HN: Demo of AI-enabled voice/vision features on open source hardware [video] (youtube.com)

2 points

9 months ago

103.

Show HN: Biski64 – Fast PRNG (~.40ns/call), Passes BigCrush/PractRand, Injective (github.com/danielcota)

2 points

a year ago

104.

Show HN: Hibiki HTML – New License and Bulma UI Controls

2 points

4 years ago

105.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor (pypi.org)

1 point

4 months ago

106.

Show HN: Bite-sized iOS development videos

1 point

11 years ago

107.

Show HN: DIY AI Dev Kit Assembly [video] (youtube.com)

1 point

8 months ago

108.

Show HN: Vimify HN – An opinionated Vim-inspired keybinding for Hacker News (chrome.google.com)

1 point

3 years ago

109.

Valve's OpenGL debugger open-sourced (github.com/ValveSoftware)

264 points

12 years ago

110.

Libnop: C++ Native Object Protocols (github.com/google)

68 points

8 years ago

111.

React.js GitHub Issues After Declaring Support for Ukraine (github.com/facebook)

42 points

4 years ago

112.

Infinitic (Apache Pulsar framework for building distributed applications) (github.com/infiniticio)

41 points

5 years ago

113.

RAD Debugger by Epic Games (github.com/EpicGames)

40 points

2 years ago

114.

Github outage official status updates (status.github.com)

36 points

16 years ago

115.

Tigress Protection Challenge (github.com/JonathanSalwan)

33 points

8 years ago

116.

Documented source code for The Sentinel on the BBC Micro (github.com/markmoxon)

5 points

5 months ago

117.

Design document on nullability and value types (Brian Goetz) (gist.github.com)

4 points

3 years ago

118.

Reskell: A hacker news clone in Haskell (github.com/bitonic)

4 points

13 years ago

119.

StarRuler2 source code released (github.com/BlindMindStudios)

4 points

8 years ago

120.

Coarray Fortran Jupyter kernel (github.com/sourceryinstitute)

3 points

9 years ago