Search: github.com/Th0rgal | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Verity, Formally verified smart contracts from spec to bytecode (github.com/Th0rgal)

1 point

3 months ago

2.

Show HN: Open Agent, My attempt at a managed environment for AI coding agents (github.com/Th0rgal)

3 points

4 months ago

3.

Thermal a free, open-source, cross-platform Git GUI application

1 point

7 years ago

4.

DeepDive in everything of Llama3: revealing detailed insights and implementation (github.com/therealoliver)

222 points

a year ago

5.

Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)

119 points

3 months ago

6.

NASA ICER image compression algorithm as a C library (github.com/TheRealOrange)

95 points

3 years ago

7.

Intel Thermal daemon: Linux daemon used to prevent the overheating of platforms (github.com/intel)

13 points

4 years ago

8.

Using Julia for Robotics trajectory optimization (github.com/dehann)

6 points

11 years ago

9.

I reverse-engineered a thermal pocket printer to print without the app (github.com/ChiaraCannolee)

5 points

a month ago

10.

RemoveAdblockThing (github.com/TheRealJoelmatic)

4 points

3 years ago

11.

Spritz a RC4 stream cipher replacement in pure JavaScript (github.com/therealjampers)

4 points

12 years ago

12.

Polynomial roots visualisation inspired by 2swap's video on the quintic (github.com/TheRealOrange)

4 points

6 months ago

13.

Show HN: Image gallery with EXIF thumbnails in the Browser (github.com/gfwilliams)

4 points

10 years ago

14.

Why AI systems improve while drifting away from reality [pdf] (github.com/therealitydrift)

3 points

2 months ago

15.

AI as a Mirror of Cognition: Compression, Prediction, and Semantic Drift [pdf] (github.com/therealitydrift)

3 points

a month ago

16.

Terminal Video Player (github.com/TheRealOrange)

3 points

2 years ago

17.

Hide Podcasts on Spotify (github.com/theRealPadster)

3 points

4 years ago

18.

Passing a Path to macOS GUI Apps (gist.github.com)

2 points

4 years ago

19.

OSS local rest API server for frontend developers (github.com/therealrinku)

2 points

a year ago

20.

Looking for minimal note taking application? (github.com/therealrinku)

2 points

2 years ago

21.

DeepDive: In-Depth Decryption of LLMs Construction and Inference from Scratch (github.com/therealoliver)

2 points

a year ago

22.

Local only, new open source note taking application (github.com/therealrinku)

2 points

2 years ago

23.

Minimal no-nonsense,privacy focused local only note taking application (github.com/therealrinku)

2 points

2 years ago

24.

I made a terminal video player with 4 “pixels” per character (github.com/TheRealOrange)

2 points

4 years ago

25.

The Galactic Lottery (github.com/GalacticAlien)

2 points

5 years ago

26.

Tau C++ multithreaded lib: async file, network and process IO (github.com/therealaquarius)

2 points

9 years ago

27.

Show HN: Myrlin – Open-Source Workspace Manager for Claude Code (github.com/therealarthur)

1 point

4 months ago

28.

SuperForth (github.com/TheRealMichaelWang)

1 point

5 years ago

29.

Show HN: Myrlin – Open-Source workspace manager for Claude Code sessions (github.com/therealarthur)

1 point

4 months ago

30.

Check out open source simple and local only note taking application (github.com/therealrinku)

1 point

2 years ago