Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

The Dumpster Internet Theory (github.com/nicholaswbowen)

3 points

3 years ago

32.

Faux Type Theory: three minimalist OCaml simple proof checker implementations (github.com/andrejbauer)

3 points

9 months ago

33.

Game Theory and Python Workshop (github.com/Nikoleta-v3)

2 points

4 years ago

34.

Show HN: The "Structural Formula" of LLMs – No more black boxes (github.com/kuruitinoji-sys)

1 point

4 months ago

35.

Quantum Mirror Theory: A New Interpretation Where Observer Is the Observed (github.com/aevov)

1 point

4 months ago

36.

Show HN: Typed Graph Theory: Extending graphs with type systems (github.com/rcorcs)

1 point

9 years ago

37.

Show HN: An implementation of Spartan type theory (github.com/andrejbauer)

1 point

2 years ago

38.

Closure space theory (github.com/LTaoist)

1 point

9 years ago

39.

Show HN: Faramesh – A deterministic gate for stochastic Autonomous AI agents

1 point

4 months ago

40.

A nice piece of generative video art

1 point

9 years ago

41.

Applied Category Theory (github.com/statebox)

34 points

7 years ago

42.

MyTAP: Unit Testing for MySQL (theory.github.com)

7 points

16 years ago

43.

Mathematical Evidence for Confident Delusion States in Recursive Systems (github.com/Kaidorespy)

2 points

8 months ago

44.

Control Theory (github.com/A-make)

1 point

3 years ago

45.

Inline assembly in Linux (github.com/0xAX)

158 points

10 years ago

46.

Hacking Discoveries? Context Engineered Atomics Theory [pdf] (github.com/Open-Hermios)

3 points

6 months ago

47.

Presheaves as co-limits of representable functors [pdf] (github.com/davidk01)

2 points

4 years ago

48.

Ask HN: Does this AI generated physics paper make any sense? [pdf] (github.com/eclipse-consulting)

1 point

2 years ago

49.

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

1 point

a year ago

50.

Show HN: Story Jam, a music composition tool for Storytellers

2 points

a year ago

51.

Why codex /goal fails on complex workflows: compaction amnesia and context rot

1 point

10 days ago

52.

Ask HN: Crowd-sourced educational resources recommendations?

1 point

6 years ago

53.

Show HN: Causal Analysis based on System Theory (CAST) (github.com/joelparkerhenderson)

4 points

4 years ago

54.

Data science interview questions and answers (github.com/alexeygrigorev)

2 points

6 years ago

55.

Category Theory for Programmers (github.com/hmemcpy)

2 points

8 years ago

56.

Algorithmic Unification of Number Theory and Quantum Mechanics IBM Quantum (github.com/peterbabulik)

1 point

2 months ago

57.

Category Theory for Programmers (2014) [pdf] (github.com/hmemcpy)

403 points

6 years ago

58.

Coltrane: A music theory library with a command-line interface (github.com/pedrozath)

387 points

3 years ago

59.

LLMs, Theory of Mind, and Cheryl's Birthday (github.com/norvig)

290 points

2 years ago

60.

Tonal.js: Functional music theory lib (github.com/tonaljs)

277 points

2 years ago