Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Queueing Theory v2: DORA metrics, queue-of-queues, chi-alpha-beta-sigma notation (github.com/joelparkerhenderson)

2 points

4 months ago

122.

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

2 points

2 years ago

123.

JavaScript lexical scope and eval explored (dbrans.github.com)

2 points

15 years ago

124.

Resources for Learning Category Theory (github.com/prathyvsh)

2 points

6 years ago

125.

Fundamentals of Queueing Theory (github.com/joelparkerhenderson)

2 points

7 years ago

126.

Salesforce Theo: an abstraction for transforming and formatting Design Tokens (github.com/salesforce-ux)

2 points

8 years ago

127.

Show HN: Locational Variable Theory – An informational framework for physics (github.com/TobeyStar)

1 point

4 months ago

128.

Observer Theory Extension (github.com/SASenchal)

1 point

5 months ago

129.

A program testing prisoner's dilemma with different strategies (github.com/guojing0)

1 point

12 years ago

130.

Show HN: Protocol for Verified Ephemeral Broadcasting (github.com/skylessdev)

2 points

5 months ago

131.

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

91 points

5 months ago

132.

Common Fundamental Theorem of Software Development (github.com/IndieRobert)

18 points

10 years ago

133.

Simple Proof of Fermats Last Theorem: Is There Any Mistake Here? (github.com/TheDeepThinker)

4 points

10 years ago

134.

Spatial-game-theory: conduct experiments involving spatial game theory (github.com/taliesinb)

4 points

12 years ago

135.

The Dumpster Internet Theory (github.com/nicholaswbowen)

3 points

3 years ago

136.

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

3 points

9 months ago

137.

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

2 points

4 years ago

138.

A new/general proof of 4 color theorem (github.com/windglider)

2 points

9 years ago

139.

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

1 point

4 months ago

140.

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

1 point

4 months ago

141.

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

1 point

9 years ago

142.

A chatterbot using reservoir computing to process and generate natural language.

3 points

15 years ago

143.

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

1 point

4 months ago

144.

Applied Category Theory (github.com/statebox)

34 points

7 years ago

145.

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

7 points

16 years ago

146.

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

2 points

8 months ago

147.

Hilarious: Libtheo (github.com/iratqq)

2 points

15 years ago

148.

Show HN: I used DeepSeek to build a CLI setup for Stripe (github.com/dantelex)

3 points

a year ago

149.

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

158 points

10 years ago

150.

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

3 points

6 months ago