Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

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

2 months ago

3 points

512.

Show HN: QKD eavesdropper detector using Krylov complexity-open source Python

github.com/quantumspiritresearch-crypto

3 months ago

3 points

513.

Show HN: I spent 40 hours vibe coding after 40 years of traditional programming

marcobenedetti.substack.com

a year ago

3 points

514.

Show HN: LLaMA Nuts and Bolts, A holistic way of understanding how LLMs run

github.com/adalkiran

2 years ago

3 points

515.

Show HN: Open dataset of real-world LLM performance on Apple Silicon

4 months ago

2 points

516.

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

16 years ago

2 points

517.

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

10 years ago

2 points

518.

Show HN: Musefs – organize and tag music without touching the original files

github.com/Sohex

12 days ago

2 points

519.

Show HN: SkillFortify, a formal verification for AI agent skills

github.com/varun369

4 months ago

2 points

520.

12 years ago

2 points

521.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean

github.com/typednotes

3 months ago

2 points

522.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

523.

Release of open source Android anti-censorship library

6 years ago

2 points

524.

Show HN: Anitag2vec – Tag set embedding for ranking recommendations

github.com/michael-0acf4

3 months ago

2 points

525.

Show HN: Tarvos – Coding agents that work infinitely

github.com/Photon48

3 months ago

2 points

526.

Show HN: Aft, a Python toolkit to study agent behavior

github.com/technoyoda

4 months ago

2 points

527.

Show HN: Mqvpn – Open-source multipath QUIC VPN

github.com/mp0rta

4 months ago

2 points

528.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

github.com/Shariq81

4 months ago

2 points

529.

Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source]

github.com/nerv-bit

5 months ago

2 points

530.

Show HN: A 134-Modality AGI Core Built in Python (Velocity_Nova_Prime)

6 months ago

2 points

531.

Show HN: Elliptica – Make Art with Elliptic Boundary Value Problems

github.com/afolkest

6 months ago

2 points

532.

Show HN: Why I'm building a graphical, simple Proof Assistant for kids

6 months ago

2 points

533.

Show HN: RIMC – An Alpha-Drift Framework for Finite-Speed Learning Markets

github.com/rimc-lab

7 months ago

2 points

534.

Bio-Mimetic Legislative Engine

7 months ago

2 points

535.

Show HN: Polymathic Resource List – 150 Tools and 90 Books

github.com/PolymvthicPunks

9 months ago

PolymvthicPunks

2 points

536.

Show HN: Umbilic Torus Model of 12‑Tone Harmony (Now, Live TCP Note Tracking)

github.com/jimishol

10 months ago

2 points

537.

Show HN: Go-DDD: Production-ready DDD patterns and clean architecture in Go

github.com/sklinkert

a year ago

2 points

538.

Show HN: Through the Geek's Lens

github.com/marcmagransdeabril

a year ago

2 points

539.

Show HN: The Council of Perspectives – AI Experts Discussing Any Problem

the-council-of-perspectives.vercel.app

a year ago

2 points

540.

Show HN: An eBPF-based router to discourage compulsive social media use

github.com/atomic77

2 years ago

2 points