Search: github.com/zb3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3

github.com/obijywk

7 years ago

1 points

92.

Show HN: A Linjat Solver Using Z3

github.com/redfast00

7 years ago

1 points

93.

Shipping system fonts to GitHub.com

8 years ago

1 points

94.

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

github.com/danielcota

a year ago

76 points

95.

Aura-State: Formally Verified LLM State Machine Compiler

4 months ago

23 points

96.

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

6 years ago

19 points

97.

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

10 years ago

15 points

98.

Show HN: Blob Goes 3D – A 3D game for the Gameboy Advance in Rust

github.com/MilanFIN

a year ago

4 points

99.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover

github.com/tsvibt

3 years ago

3 points

100.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

101.

Show HN: Switcheroo-control-rs, a Linux hybrid graphics manager in Rust

github.com/LuMarans30

8 days ago

2 points

102.

Show HN: Planedrift – Play Infocom games in the browser

2 months ago

2 points

103.

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

3 months ago

2 points

104.

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

codescalpel.dev

4 months ago

2 points

105.

Show HN: AI-Powered Zettelkasten Using Pinecone and Claude MCP

github.com/logicalicy

9 months ago

2 points

106.

Show HN: Demo of AI-enabled voice/vision features on open source hardware [video]

9 months ago

2 points

107.

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

github.com/danielcota

a year ago

2 points

108.

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

4 years ago

2 points

109.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor

4 months ago

1 points

110.

Show HN: Bite-sized iOS development videos

11 years ago

1 points

111.

Show HN: DIY AI Dev Kit Assembly [video]

9 months ago

1 points

112.

Show HN: Vimify HN – An opinionated Vim-inspired keybinding for Hacker News

chrome.google.com

3 years ago

1 points

113.

Valve's OpenGL debugger open-sourced

github.com/ValveSoftware

12 years ago

264 points

114.

Libnop: C++ Native Object Protocols

github.com/google

8 years ago

68 points

115.

React.js GitHub Issues After Declaring Support for Ukraine

github.com/facebook

4 years ago

42 points

116.

Infinitic (Apache Pulsar framework for building distributed applications)

github.com/infiniticio

5 years ago

41 points

117.

RAD Debugger by Epic Games

github.com/EpicGames

2 years ago

40 points

118.

Github outage official status updates

status.github.com

16 years ago

36 points

119.

Tigress Protection Challenge

github.com/JonathanSalwan

8 years ago

33 points

120.

Documented source code for The Sentinel on the BBC Micro

github.com/markmoxon

6 months ago

5 points