Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Show HN: Logos of Aether – Rebuilding Physics Without Zero or Empty Space (github.com/chrisnchips42-blip)

10 points

5 months ago

482.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com/sethirus)

9 points

5 months ago

483.

Show HN: Forensic evidence of iOS mesh networking bypassing Airplane Mode (github.com/JGoyd)

8 points

5 months ago

484.

Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms (github.com/DanexCodr)

8 points

6 months ago

485.

Show HN: Pathetic – Java pathfinding: 10k concurrent paths in ~7ms (github.com/bsommerfeld)

8 points

a month ago

486.

Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem? (academia.edu)

7 points

5 months ago

487.

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

6 points

2 years ago

488.

Show HN: Lythonic – Compose Python functions into data-flow pipelines (github.com/walnutgeek)

5 points

2 months ago

489.

Show HN: FPGA prime finder – discovered a 1,123-digit Proth prime (github.com/0xdeadbeefnetwork)

5 points

4 months ago

490.

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

5 points

a year ago

491.

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them (github.com/kerberosmansour)

4 points

kerberosmansour

3 years ago

492.

Show HN: Copy-fail-C – portable C port of CVE-2026-31431, with a checker (github.com/tgies)

4 points

a month ago

493.

Show HN: ProtocolSoup – Interactive Sandbox for OAuth, OIDC, SAML, Spiffe, SSF (protocolsoup.com)

4 points

5 months ago

494.

Show HN: Beads Viewer (Bv) (github.com/Dicklesworthstone)

4 points

6 months ago

495.

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

3 points

6 years ago

496.

Ask HN: Favorite Go testing libraries/tools?

3 points

11 years ago

497.

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

3 points

2 months ago

498.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

3 points

2 months ago

499.

Show HN: QKD eavesdropper detector using Krylov complexity-open source Python (github.com/quantumspiritresearch-crypto)

3 points

3 months ago

500.

Show HN: I spent 40 hours vibe coding after 40 years of traditional programming (marcobenedetti.substack.com)

3 points

10 months ago

501.

Show HN: LLaMA Nuts and Bolts, A holistic way of understanding how LLMs run (github.com/adalkiran)

3 points

2 years ago

502.

Show HN: Open dataset of real-world LLM performance on Apple Silicon (devpadapp.com)

2 points

3 months ago

503.

Ask HN: What do you think about a simpler syntax that compiles into LaTeX?

2 points

16 years ago

504.

Ask HN: What are the pros/cons to using a single non-JS lang to rule them all?

2 points

10 years ago

505.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

506.

2 points

12 years ago

507.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

508.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago

509.

Release of open source Android anti-censorship library

2 points

6 years ago

510.

Show HN: Anitag2vec – Tag set embedding for ranking recommendations (github.com/michael-0acf4)

2 points

2 months ago