Search: github.com/Theo- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Incorporate monads and category theory to Promises/A+

github.com/promises-aplus

13 years ago

2 points

272.

Simulating Why One AI Always Wins: Formal Theory of the Singleton Attractor

github.com/ninjahawk

a month ago

2 points

273.

OpenMythos: an open-source, theoretical implementation of Claude Mythos

github.com/kyegomez

2 months ago

2 points

274.

Refactoring Is Not Heroism – An Information-Theoretic Proof

github.com/HeinrichvH

3 months ago

2 points

275.

AutoRocq: Agentic Theorem Prover for Verification

github.com/NUS-Program-Verification

3 months ago

2 points

276.

Vibe Theory: Mathematical Derivation of Aesthetic Vibe from Text

github.com/xraymemory

4 months ago

2 points

277.

Show HN: Tau Router – Using Number-Theory to Partition Long-Context Retrieval

github.com/davidames0523

4 months ago

2 points

278.

Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM

4 months ago

2 points

279.

A Lean Formalisation of Fermat's Last Theorem

github.com/ImperialCollegeLondon

10 months ago

2 points

280.

Z3 Theorem Prover

github.com/Z3Prover

2 years ago

2 points

281.

Observer Effect in Abelian Probability Theory – Code

github.com/lcsig

2 years ago

2 points

282.

A Theory of Compositional Tool-Assisted Speedrunning

gist.github.com

3 years ago

2 points

283.

A Theory of Compositional Tool-Assisted Speedrunning

gist.github.com

3 years ago

2 points

284.

Chyp: An interactive theorem prover for string diagrams

github.com/akissinger

3 years ago

2 points

285.

A pure Golang SQL database for database theory research

github.com/auxten

5 years ago

2 points

286.

The Fundamental Theorem of Fourier Series

github.com/MathInspector

5 years ago

2 points

287.

Redtt a proof assistant for cartesian cubical type theory

github.com/RedPRL

5 years ago

2 points

288.

Bastet: A ReasonML/OCaml library for category theory and abstract algebra

github.com/Risto-Stevcev

6 years ago

2 points

289.

Show HN: Plausibly deniable information-theoretically secure encryption in Ruby

github.com/octetsplicer

6 years ago

2 points

290.

Fractal AI: A Fragile Theory of Intelligence

github.com/Guillemdb

6 years ago

2 points

291.

Visualizations connecting chaos theory, fractals, and the logistic map

github.com/jonnyhyman

6 years ago

2 points

292.

Seth Is JavaScript DSL for Functional Set Theory

github.com/andrejewski

6 years ago

2 points

293.

Lean Theorem Prover

github.com/leanprover

7 years ago

2 points

294.

Hecke.jl: Computational algebraic number theory in Julia

github.com/thofma

7 years ago

2 points

295.

Category Theory for Programmers

github.com/hmemcpy

7 years ago

2 points

296.

Arthroprod: Clifford Algebra for the Theory of Absolute Relativity in Rust

github.com/sminez

7 years ago

2 points

297.

Pown Recon: open-source intelligence framework powered by graph theory

github.com/pownjs

7 years ago

2 points

298.

Codelab: Versioning is Hard (aka the “SEF theorem”)

github.com/inlined

8 years ago

2 points

299.

Book in preparation: introduction to theoretical computer science

github.com/boazbk

8 years ago

2 points

300.

A Game Theoretic Bandit Driven Approach to Pattern Recognition with Logic

github.com/cair

8 years ago

2 points