Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Resources for the Theory of Programming Languages (github.com/veyselusta)

2 points

2 years ago

272.

Resolving a workplace dilemma using game theory (gist.github.com)

2 points

4 years ago

273.

The General Theory of Decentralized Applications, DApps (github.com/DavidJohnstonCEO)

2 points

12 years ago

274.

The Theoretical Limit of Copyright Compromise (gist.github.com)

2 points

13 years ago

275.

Incorporate monads and category theory to Promises/A+ (github.com/promises-aplus)

2 points

13 years ago

276.

Simulating Why One AI Always Wins: Formal Theory of the Singleton Attractor (github.com/ninjahawk)

2 points

13 days ago

277.

OpenMythos: an open-source, theoretical implementation of Claude Mythos (github.com/kyegomez)

2 points

a month ago

278.

Refactoring Is Not Heroism – An Information-Theoretic Proof (github.com/HeinrichvH)

2 points

2 months ago

279.

AutoRocq: Agentic Theorem Prover for Verification (github.com/NUS-Program-Verification)

2 points

2 months ago

280.

Vibe Theory: Mathematical Derivation of Aesthetic Vibe from Text (github.com/xraymemory)

2 points

3 months ago

281.

Show HN: Tau Router – Using Number-Theory to Partition Long-Context Retrieval (github.com/davidames0523)

2 points

3 months ago

282.

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

2 points

3 months ago

283.

A Lean Formalisation of Fermat's Last Theorem (github.com/ImperialCollegeLondon)

2 points

9 months ago

284.

Z3 Theorem Prover (github.com/Z3Prover)

2 points

2 years ago

285.

Observer Effect in Abelian Probability Theory – Code (github.com/lcsig)

2 points

2 years ago

286.

A Theory of Compositional Tool-Assisted Speedrunning (gist.github.com)

2 points

3 years ago

287.

A Theory of Compositional Tool-Assisted Speedrunning (gist.github.com)

2 points

3 years ago

288.

Chyp: An interactive theorem prover for string diagrams (github.com/akissinger)

2 points

3 years ago

289.

A pure Golang SQL database for database theory research (github.com/auxten)

2 points

5 years ago

290.

The Fundamental Theorem of Fourier Series (github.com/MathInspector)

2 points

5 years ago

291.

Redtt a proof assistant for cartesian cubical type theory (github.com/RedPRL)

2 points

5 years ago

292.

Bastet: A ReasonML/OCaml library for category theory and abstract algebra (github.com/Risto-Stevcev)

2 points

6 years ago

293.

Fractal AI: A Fragile Theory of Intelligence (github.com/Guillemdb)

2 points

6 years ago

294.

Visualizations connecting chaos theory, fractals, and the logistic map (github.com/jonnyhyman)

2 points

6 years ago

295.

Seth Is JavaScript DSL for Functional Set Theory (github.com/andrejewski)

2 points

6 years ago

296.

Lean Theorem Prover (github.com/leanprover)

2 points

7 years ago

297.

Hecke.jl: Computational algebraic number theory in Julia (github.com/thofma)

2 points

7 years ago

298.

Arthroprod: Clifford Algebra for the Theory of Absolute Relativity in Rust (github.com/sminez)

2 points

7 years ago

299.

Pown Recon: open-source intelligence framework powered by graph theory (github.com/pownjs)

2 points

7 years ago

300.

Codelab: Versioning is Hard (aka the “SEF theorem”) (github.com/inlined)

2 points

8 years ago