Search: github.com/Theo- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Category Theory ∩ Machine Learning

github.com/bgavran

3 years ago

118 points

92.

A formalization of category theory in Coq

github.com/jwiegley

9 years ago

109 points

93.

Open source game-theoretic poker player

github.com/adamsmith

13 years ago

74 points

94.

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover

github.com/dmoews

a month ago

26 points

95.

Notes on Category Theory and Haskell

github.com/jwbuurlage

9 years ago

4 points

96.

Equational Theories Project

github.com/teorth

2 years ago

3 points

97.

Annotated bibliography for learning Category Theory

github.com/prathyvsh

6 years ago

3 points

98.

Theos Dual-Engine Dialectical Reasoning Framework (open source, patent pending)

github.com/Frederick-Stalnecker

4 months ago

2 points

99.

Elon Musk's ontological argument

github.com/AidanRocke

8 years ago

2 points

100.

Queueing Theory v2: DORA metrics, queue-of-queues, chi-alpha-beta-sigma notation

github.com/joelparkerhenderson

5 months ago

2 points

101.

Resources for Learning Category Theory

github.com/prathyvsh

6 years ago

2 points

102.

Fundamentals of Queueing Theory

github.com/joelparkerhenderson

7 years ago

2 points

103.

Salesforce Theo: an abstraction for transforming and formatting Design Tokens

github.com/salesforce-ux

8 years ago

2 points

104.

Show HN: Protocol for Verified Ephemeral Broadcasting

github.com/skylessdev

5 months ago

2 points

105.

Some Junk Theorems in Lean

github.com/James-Hanson

6 months ago

91 points

106.

Common Fundamental Theorem of Software Development

github.com/IndieRobert

10 years ago

18 points

107.

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

github.com/zamesin

a day ago

17 points

108.

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

github.com/TheDeepThinker

10 years ago

4 points

109.

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

github.com/taliesinb

12 years ago

4 points

110.

The Dumpster Internet Theory

github.com/nicholaswbowen

3 years ago

3 points

111.

Faux Type Theory: three minimalist OCaml simple proof checker implementations

github.com/andrejbauer

9 months ago

3 points

112.

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

15 years ago

3 points

113.

Applied Category Theory

github.com/statebox

7 years ago

34 points

114.

MyTAP: Unit Testing for MySQL

theory.github.com

16 years ago

7 points

115.

Coase-Information Theory for AI Orgs

github.com/galatheus-labs

8 days ago

3 points

116.

Mathematical Evidence for Confident Delusion States in Recursive Systems

github.com/Kaidorespy

9 months ago

2 points

117.

Hilarious: Libtheo

github.com/iratqq

15 years ago

2 points

118.

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

github.com/dantelex

a year ago

3 points

119.

Inline assembly in Linux

github.com/0xAX

10 years ago

158 points

120.

Hacking Discoveries? Context Engineered Atomics Theory [pdf]

github.com/Open-Hermios

7 months ago

3 points