Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

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

2 years ago

189 points

482.

Show HN: Formalizing Principia Mathematica using Lean

github.com/ndrwnaguib

a year ago

188 points

483.

Show HN: Utilyze – an open source GPU monitoring tool more accurate than nvtop

2 months ago

128 points

484.

Quint: A specification language based on the temporal logic of actions (TLA)

github.com/informalsystems

3 years ago

110 points

485.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

6 days ago

106 points

486.

Show HN: Graphic – A grammar of data visualization and Flutter charting library

github.com/entronad

3 years ago

91 points

487.

Show HN: AdaShape-3D modeler for intuitive 3D printing parts / Windows 11

3 months ago

32 points

488.

Aura-State: Formally Verified LLM State Machine Compiler

4 months ago

23 points

489.

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

10 years ago

20 points

490.

Ask HN: What Are Your FOSS Philanthropy Hypotheticals?

16 years ago

14 points

491.

Show HN: Learning to (Learn at Test Time)

2 years ago

13 points

492.

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

9 years ago

10 points

493.

Show HN: Logos of Aether – Rebuilding Physics Without Zero or Empty Space

github.com/chrisnchips42-blip

6 months ago

10 points

494.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

github.com/sethirus

5 months ago

9 points

495.

Show HN: Forensic evidence of iOS mesh networking bypassing Airplane Mode

github.com/JGoyd

6 months ago

8 points

496.

Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms

github.com/DanexCodr

6 months ago

8 points

497.

Show HN: Pathetic – Java pathfinding: 10k concurrent paths in ~7ms

github.com/bsommerfeld

2 months ago

8 points

498.

Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem?

6 months ago

7 points

499.

Open-Source, Language-Agnostic Mutation Testing Tool Using LLM Agents

2 years ago

6 points

500.

Show HN: Lythonic – Compose Python functions into data-flow pipelines

github.com/walnutgeek

2 months ago

5 points

501.

Show HN: FPGA prime finder – discovered a 1,123-digit Proth prime

github.com/0xdeadbeefnetwork

4 months ago

5 points

502.

Ring Convolution Networks – Novel neural architecture achieves 90.1% on MNIST

a year ago

5 points

503.

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them

github.com/kerberosmansour

3 years ago

kerberosmansour

4 points

504.

Show HN: Copy-fail-C – portable C port of CVE-2026-31431, with a checker

github.com/tgies

2 months ago

4 points

505.

Show HN: ProtocolSoup – Interactive Sandbox for OAuth, OIDC, SAML, Spiffe, SSF

protocolsoup.com

5 months ago

4 points

506.

Show HN: Beads Viewer (Bv)

github.com/Dicklesworthstone

7 months ago

4 points

507.

Mozilla ignores call to limit misuse of it's lifelike open-source TTS

7 years ago

3 points

508.

Ask HN: Favorite Go testing libraries/tools?

11 years ago

3 points

509.

Ask HN: How can you trust your hardware?

10 days ago

3 points

510.

Ask HN: How to incentivize 10k P2P nodes without Sybil attacks?

2 months ago

3 points