Search: github.com/thegrims | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ask HN: What are the best tools for extracting tax data from a W2 form?

2 points

5 years ago

2.

Show HN: ustaxes.org – open-source tax filing webapp (github.com/thegrims)

465 points

5 years ago

3.

Show HN: Linux Webcam Automation (github.com/thegrims)

7 points

6 years ago

4.

Neovim AI agent done right (github.com/ThePrimeagen)

2 points

4 months ago

5.

CHADstack (github.com/ThePrimeagen)

1 point

3 years ago

6.

99: Neovim AI Agent (github.com/ThePrimeagen)

1 point

5 months ago

7.

JDK Mission Control 7.0 Tutorial (2020) (github.com/thegreystone)

1 point

a year ago

8.

Neovim Git Worktree Plugin (github.com/ThePrimeagen)

1 point

5 years ago

9.

The Gig Saloon, now open sourced (github.com/acmeyer)

1 point

8 years ago

10.

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover (github.com/dmoews)

26 points

22 days ago

11.

Equational Theories Project (github.com/teorth)

3 points

2 years ago

12.

Project to map out the relation between different equational theories of Magmas (github.com/teorth)

2 points

2 years ago

13.

Some Junk Theorems in Lean (github.com/James-Hanson)

91 points

5 months ago

14.

Model Merging in LLMs: Methods and Applications (github.com/EnnengYang)

1 point

a year ago

15.

Category Theory Cheat Sheet

1 point

8 years ago

16.

Hacker Laws: Theories, principles and patterns that developers will find useful (github.com/dwmkerr)

203 points

7 years ago

17.

Laws, theories, principles and patterns that developers might find useful (github.com/dwmkerr)

92 points

7 years ago

18.

Logic Theorist Reanimated in IPL-V (github.com/jeffshrager)

5 points

3 months ago

19.

ThePrimeagen's harpoon plugin is dead, so I saved it (github.com/baggiiiie)

3 points

7 months ago

20.

AI Physicist, a paradigm with algorithms for learning theories from data (github.com/tailintalent)

3 points

5 years ago

21.

Hacker-laws: Laws, Theories, Principles and Patterns developers will find useful (github.com/dwmkerr)

3 points

7 years ago

22.

Neovim Setup from Scratch (Based on ThePrimeagen) (gist.github.com)

2 points

a year ago

23.

Bitwuzla: Satisfiability Modulo Theories (SMT) Solver (github.com/bitwuzla)

1 point

a month ago

24.

Theories of Rational Decision (github.com/kzollman)

1 point

a year ago

25.

Andromeda: Proof assistant for general type theories (github.com/Andromedans)

1 point

6 years ago

26.

Quantum info theorist Chris Ferrie is now publishing referee reports on GitHub (github.com/csferrie)

1 point

9 years ago

27.

Show HN: I designed my own 3D printer motherboard (github.com/KaiPereira)

127 points

6 months ago

28.

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time” (github.com/gvelesandro)

84 points

a year ago

29.

Show HN: Era – Open-source local sandbox for AI agents (github.com/BinSquare)

62 points

6 months ago

30.

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (github.com/mmaaz-git)

14 points

2 months ago