Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: A Theory of Anxiety Conditions (a-theory-of-anxiety-conditions.github.io)

7 points

4 years ago

2.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

1 point

4 months ago

3.

Programming as a medium for poorly understood, sloppily-formulated ideas (1967) [pdf] (github.com/devinmcgloin)

77 points

7 years ago

4.

Show HN: Gonzo – A Go-based TUI for log analysis (OpenTelemetry/OTLP support) (github.com/control-theory)

74 points

9 months ago

5.

Show HN: Theory.js – Abstraction layer for cross-platform JavaScript (github.com/amark)

28 points

13 years ago

6.

Show HN: Open-Source KMS SDK (github.com/Basis-Theory)

4 points

4 years ago

7.

Postgres Extension Ecosystem: Jobs and Tools (gist.github.com)

2 points

2 years ago

8.

PgTAP: PostgreSQL Unit Testing Suite (github.com/theory)

2 points

6 years ago

9.

Pgenv: PostgreSQL binary manger (github.com/theory)

2 points

8 years ago

10.

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time” (github.com/gvelesandro)

84 points

a year ago

11.

Queueing Theory: An introduction for software development (github.com/joelparkerhenderson)

287 points

3 years ago

12.

Show HN: Queueing theory intro for software developers (github.com/joelparkerhenderson)

126 points

7 years ago

13.

Category Theory ∩ Machine Learning (github.com/bgavran)

118 points

3 years ago

14.

A formalization of category theory in Coq (github.com/jwiegley)

109 points

9 years ago

15.

Open source game-theoretic poker player (github.com/adamsmith)

74 points

13 years ago

16.

Notes on Category Theory and Haskell (github.com/jwbuurlage)

4 points

9 years ago

17.

Equational Theories Project (github.com/teorth)

3 points

2 years ago

18.

Annotated bibliography for learning Category Theory (github.com/prathyvsh)

3 points

6 years ago

19.

Elon Musk's ontological argument (github.com/AidanRocke)

2 points

8 years ago

20.

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

2 points

4 months ago

21.

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

2 points

2 years ago

22.

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

2 points

15 years ago

23.

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

2 points

6 years ago

24.

Fundamentals of Queueing Theory (github.com/joelparkerhenderson)

2 points

7 years ago

25.

Observer Theory Extension (github.com/SASenchal)

1 point

5 months ago

26.

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

1 point

12 years ago

27.

How HN: A geometric framework for NP-Intermediate classes (OM Theory) (github.com/jumapama)

1 point

2 months ago

28.

Theoretical foundations for server-side rendering (draft paper) (htmlpreview.github.io)

1 point

4 years ago

29.

Show HN: IQT – Why space feels panoramic and time feels fleeting (github.com/creatorrr)

1 point

4 months ago

30.

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

4 points

12 years ago