Search: github.com/thegrims | Heykuki News

HK

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?

5 years ago

2 points

2.

Show HN: ustaxes.org – open-source tax filing webapp

github.com/thegrims

5 years ago

465 points

3.

Show HN: Linux Webcam Automation

github.com/thegrims

6 years ago

7 points

4.

Neovim AI agent done right

github.com/ThePrimeagen

5 months ago

2 points

5.

github.com/ThePrimeagen

3 years ago

1 points

6.

99: Neovim AI Agent

github.com/ThePrimeagen

6 months ago

1 points

7.

JDK Mission Control 7.0 Tutorial (2020)

github.com/thegreystone

a year ago

1 points

8.

Neovim Git Worktree Plugin

github.com/ThePrimeagen

5 years ago

1 points

9.

The Gig Saloon, now open sourced

github.com/acmeyer

8 years ago

1 points

10.

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover

github.com/dmoews

a month ago

26 points

11.

Equational Theories Project

github.com/teorth

2 years ago

3 points

12.

Project to map out the relation between different equational theories of Magmas

github.com/teorth

2 years ago

2 points

13.

Some Junk Theorems in Lean

github.com/James-Hanson

6 months ago

91 points

14.

Model Merging in LLMs: Methods and Applications

github.com/EnnengYang

a year ago

1 points

15.

Category Theory Cheat Sheet

8 years ago

1 points

16.

Hacker Laws: Theories, principles and patterns that developers will find useful

github.com/dwmkerr

7 years ago

203 points

17.

Laws, theories, principles and patterns that developers might find useful

github.com/dwmkerr

7 years ago

92 points

18.

Logic Theorist Reanimated in IPL-V

github.com/jeffshrager

3 months ago

5 points

19.

ThePrimeagen's harpoon plugin is dead, so I saved it

github.com/baggiiiie

8 months ago

3 points

20.

AI Physicist, a paradigm with algorithms for learning theories from data

github.com/tailintalent

5 years ago

3 points

21.

Hacker-laws: Laws, Theories, Principles and Patterns developers will find useful

github.com/dwmkerr

7 years ago

3 points

22.

Neovim Setup from Scratch (Based on ThePrimeagen)

gist.github.com

a year ago

2 points

23.

Bitwuzla: Satisfiability Modulo Theories (SMT) Solver

github.com/bitwuzla

2 months ago

1 points

24.

Theories of Rational Decision

github.com/kzollman

a year ago

1 points

25.

Andromeda: Proof assistant for general type theories

github.com/Andromedans

6 years ago

1 points

26.

Quantum info theorist Chris Ferrie is now publishing referee reports on GitHub

github.com/csferrie

9 years ago

1 points

27.

Show HN: I designed my own 3D printer motherboard

github.com/KaiPereira

7 months ago

127 points

28.

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time”

github.com/gvelesandro

a year ago

84 points

29.

Show HN: Era – Open-source local sandbox for AI agents

github.com/BinSquare

7 months ago

62 points

30.

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean

github.com/mmaaz-git

2 months ago

14 points