Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Show HN: The Z3 theorem can now be built using CMake (github.com/Z3Prover)

2 points

10 years ago

452.

6.6M Tokens. $4,800 Theoretical. Zero Visibility. So I Built a Dashboard (github.com/outcomeops)

1 point

2 months ago

453.

Show HN: An encoding/decoding tool for Martin David's theoretical S language (github.com/ramadis)

1 point

10 years ago

454.

Lean Theorem Prover (github.com/leanprover)

1 point

12 years ago

455.

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

1 point

2 months ago

456.

Theorem_ledger.md (github.com/affectively-ai)

1 point

3 months ago

457.

TurnFormal: Theorem Prover Written in Rust (github.com/Turnersoft)

1 point

a year ago

458.

The Central Limit Theorem and its misuse (2020) (github.com/lambdaclass)

1 point

a year ago

459.

Basado: A systems programming language with theoretical comp. sci. concepts (github.com/MiguelX413)

1 point

3 years ago

460.

First order logic theorem prover in pure Python (github.com/evhub)

1 point

3 years ago

461.

Nanoda: Type checker for the Lean theorem prover in Rust (github.com/ammkrn)

1 point

7 years ago

462.

Cuckoo Cycle – A graph-theoretic ASIC resistant proof-of-work algorithm (github.com/tromp)

1 point

8 years ago

463.

Quantum info theorist Chris Ferrie is now publishing referee reports on GitHub (github.com/csferrie)

1 point

9 years ago

464.

Show HN: An encoding/decoding tool for Martin David's theoretical S language (github.com/ramadis)

1 point

10 years ago

465.

Show HN: I created a JavaScript library to encode Martin David's theoretical language (github.com/ramadis)

1 point

10 years ago

466.

Fibonacci heap (theoretically faster) vs. binary heap running times compared (github.com/danielborowski)

1 point

10 years ago

467.

The Princess and CAP Theorem (github.com/vr6)

1 point

11 years ago

468.

Show HN: Open-sourced Webflow for your own app (github.com/onlook-dev)

336 points

2 years ago

469.

Unfinished game – learn by practice (github.com/rezoner)

214 points

12 years ago

470.

Launch HN: Deepsilicon (YC S24) – Software and hardware for ternary transformers

189 points

2 years ago

471.

Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)

188 points

a year ago

472.

Show HN: Utilyze – an open source GPU monitoring tool more accurate than nvtop (systalyze.com)

128 points

a month ago

473.

Quint: A specification language based on the temporal logic of actions (TLA) (github.com/informalsystems)

110 points

2 years ago

474.

Show HN: Graphic – A grammar of data visualization and Flutter charting library (github.com/entronad)

91 points

3 years ago

475.

Show HN: AdaShape-3D modeler for intuitive 3D printing parts / Windows 11 (adashape.com)

32 points

2 months ago

476.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

477.

Ask HN: Password Gorilla last commit 3 years – give up on open source pwd mgr?

20 points

10 years ago

478.

Ask HN: What Are Your FOSS Philanthropy Hypotheticals?

14 points

16 years ago

479.

Show HN: Learning to (Learn at Test Time)

13 points

2 years ago

480.

Ask HN: What's the prerequisite to become an exploit developer?

10 points

9 years ago