Search: github.com/Theo- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Resources for Learning Category Theory

github.com/prathyvsh

6 years ago

2 points

122.

Fundamentals of Queueing Theory

github.com/joelparkerhenderson

7 years ago

2 points

123.

Salesforce Theo: an abstraction for transforming and formatting Design Tokens

github.com/salesforce-ux

8 years ago

2 points

124.

Show HN: Locational Variable Theory – An informational framework for physics

github.com/TobeyStar

4 months ago

1 points

125.

Observer Theory Extension

github.com/SASenchal

5 months ago

1 points

126.

A program testing prisoner's dilemma with different strategies

github.com/guojing0

12 years ago

1 points

127.

How HN: A geometric framework for NP-Intermediate classes (OM Theory)

github.com/jumapama

3 months ago

1 points

128.

Show HN: Protocol for Verified Ephemeral Broadcasting

github.com/skylessdev

5 months ago

2 points

129.

Show HN: IQT – Why space feels panoramic and time feels fleeting

github.com/creatorrr

4 months ago

1 points

130.

Some Junk Theorems in Lean

github.com/James-Hanson

6 months ago

91 points

131.

Common Fundamental Theorem of Software Development

github.com/IndieRobert

10 years ago

18 points

132.

Show HN: I rebuilt Jobs To Be Done on scientific foundations and open-sourced it

github.com/zamesin

a day ago

18 points

133.

Simple Proof of Fermats Last Theorem: Is There Any Mistake Here?

github.com/TheDeepThinker

10 years ago

4 points

134.

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

github.com/taliesinb

12 years ago

4 points

135.

The Dumpster Internet Theory

github.com/nicholaswbowen

3 years ago

3 points

136.

Faux Type Theory: three minimalist OCaml simple proof checker implementations

github.com/andrejbauer

9 months ago

3 points

137.

Game Theory and Python Workshop

github.com/Nikoleta-v3

4 years ago

2 points

138.

A new/general proof of 4 color theorem

github.com/windglider

9 years ago

2 points

139.

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

github.com/kuruitinoji-sys

5 months ago

1 points

140.

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

github.com/aevov

5 months ago

1 points

141.

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

15 years ago

3 points

142.

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

5 months ago

1 points

143.

Applied Category Theory

github.com/statebox

7 years ago

34 points

144.

MyTAP: Unit Testing for MySQL

theory.github.com

16 years ago

7 points

145.

Coase-Information Theory for AI Orgs

github.com/galatheus-labs

8 days ago

3 points

146.

Mathematical Evidence for Confident Delusion States in Recursive Systems

github.com/Kaidorespy

9 months ago

2 points

147.

Hilarious: Libtheo

github.com/iratqq

15 years ago

2 points

148.

Show HN: I used DeepSeek to build a CLI setup for Stripe

github.com/dantelex

a year ago

3 points

149.

Inline assembly in Linux

github.com/0xAX

10 years ago

158 points

150.

Hacking Discoveries? Context Engineered Atomics Theory [pdf]

github.com/Open-Hermios

7 months ago

3 points