Search: github.com/theodi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Terradev: A next-gen slash command CLI for GPU provisioning and management (github.com/theoddden)

1 point

3 months ago

32.

Nano Prompt UI – Local-Only Gemini Nano Side Panel for Chrome (github.com/theodedra)

1 point

6 months ago

33.

The Onion: America's Finest Ansible Roles (github.com/theonion)

1 point

12 years ago

34.

Fart noises as you scroll, because the Onion (github.com/theonion)

1 point

12 years ago

35.

Mandala: Open Source Logistics Orchestration (github.com/theoddden)

1 point

a month ago

36.

Drop-in replacement for the OpenAI API based on open source LLMs (github.com/theodo-group)

1 point

2 years ago

37.

LLPhant – A Comprehensive PHP Generative AI Framework Using GPT4 (github.com/theodo-group)

1 point

3 years ago

38.

Pwnjs: A JavaScript library for browser exploitation (github.com/theori-io)

1 point

DyslexicAtheist

6 years ago

39.

Building a 1-day Exploit for Google Chrome with Sources [pdf] (github.com/theori-io)

1 point

8 years ago

40.

Show HN: Make a mind map from your org-mode files with graphviz (github.com/theodorewiles)

1 point

9 years ago

41.

Tuna.js v1.0.0 released (Web Audio) (github.com/Theodeus)

1 point

10 years ago

42.

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

26 points

22 days ago

43.

Equational Theories Project (github.com/teorth)

3 points

2 years ago

44.

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

2 points

2 years ago

45.

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

1 point

a year ago

46.

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

203 points

7 years ago

47.

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

92 points

7 years ago

48.

Tc – Theodore Calvin's language-agnostic testing framework (github.com/ahoward)

43 points

5 months ago

49.

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

5 points

3 months ago

50.

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

3 points

5 years ago

51.

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

3 points

7 years ago

52.

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

1 point

a month ago

53.

Theories of Rational Decision (github.com/kzollman)

1 point

a year ago

54.

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

1 point

6 years ago

55.

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

1 point

9 years ago

56.

Ask HN: Anyone interested in an offline version of Stack Overflow?

16 points

4 years ago

57.

Show HN: Connect any Open Data to Claude (and soon, any other LLMs) (github.com/OpenDataMCP)

8 points

2 years ago

58.

Show HN: A Theory of Anxiety Conditions (a-theory-of-anxiety-conditions.github.io)

7 points

4 years ago

59.

Show HN: I built a debugging MCP server that saves me ~2 programming hours a day

5 points

a year ago

60.

Toward a new mathematical theory of computation.

5 points

17 years ago