Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Spatial-game-theory: conduct experiments involving spatial game theory

github.com/taliesinb

12 years ago

4 points

32.

The Dumpster Internet Theory

github.com/nicholaswbowen

3 years ago

3 points

33.

Faux Type Theory: three minimalist OCaml simple proof checker implementations

github.com/andrejbauer

9 months ago

3 points

34.

Game Theory and Python Workshop

github.com/Nikoleta-v3

4 years ago

2 points

35.

Show HN: The "Structural Formula" of LLMs – No more black boxes

github.com/kuruitinoji-sys

5 months ago

1 points

36.

Quantum Mirror Theory: A New Interpretation Where Observer Is the Observed

github.com/aevov

5 months ago

1 points

37.

Show HN: Typed Graph Theory: Extending graphs with type systems

github.com/rcorcs

9 years ago

1 points

38.

Show HN: An implementation of Spartan type theory

github.com/andrejbauer

2 years ago

1 points

39.

Closure space theory

github.com/LTaoist

9 years ago

1 points

40.

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

5 months ago

1 points

41.

A nice piece of generative video art

9 years ago

1 points

42.

Applied Category Theory

github.com/statebox

7 years ago

34 points

43.

MyTAP: Unit Testing for MySQL

theory.github.com

16 years ago

7 points

44.

Coase-Information Theory for AI Orgs

github.com/galatheus-labs

7 days ago

3 points

45.

Mathematical Evidence for Confident Delusion States in Recursive Systems

github.com/Kaidorespy

9 months ago

2 points

46.

github.com/A-make

3 years ago

1 points

47.

Inline assembly in Linux

github.com/0xAX

10 years ago

158 points

48.

Hacking Discoveries? Context Engineered Atomics Theory [pdf]

github.com/Open-Hermios

7 months ago

3 points

49.

Presheaves as co-limits of representable functors [pdf]

github.com/davidk01

4 years ago

2 points

50.

Ask HN: Does this AI generated physics paper make any sense? [pdf]

github.com/eclipse-consulting

2 years ago

1 points

51.

Model Merging in LLMs: Methods and Applications

github.com/EnnengYang

a year ago

1 points

52.

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

a year ago

2 points

53.

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

a month ago

1 points

54.

Ask HN: Crowd-sourced educational resources recommendations?

6 years ago

1 points

55.

Show HN: Causal Analysis based on System Theory (CAST)

github.com/joelparkerhenderson

5 years ago

4 points

56.

Data science interview questions and answers

github.com/alexeygrigorev

6 years ago

2 points

57.

Category Theory for Programmers

github.com/hmemcpy

8 years ago

2 points

58.

Algorithmic Unification of Number Theory and Quantum Mechanics IBM Quantum

github.com/peterbabulik

2 months ago

1 points

59.

Category Theory for Programmers (2014) [pdf]

github.com/hmemcpy

6 years ago

403 points

60.

Coltrane: A music theory library with a command-line interface

github.com/pedrozath

3 years ago

387 points