Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Show HN: Tarvos – Coding agents that work infinitely (github.com/Photon48)

2 points

3 months ago

512.

Show HN: Aft, a Python toolkit to study agent behavior (github.com/technoyoda)

2 points

3 months ago

513.

Show HN: Mqvpn – Open-source multipath QUIC VPN (github.com/mp0rta)

2 points

3 months ago

514.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com/Shariq81)

2 points

4 months ago

515.

Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source] (github.com/nerv-bit)

2 points

4 months ago

516.

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

2 points

5 months ago

517.

Show HN: Elliptica – Make Art with Elliptic Boundary Value Problems (github.com/afolkest)

2 points

5 months ago

518.

Show HN: Why I'm building a graphical, simple Proof Assistant for kids (substack.com)

2 points

6 months ago

519.

Show HN: RIMC – An Alpha-Drift Framework for Finite-Speed Learning Markets (github.com/rimc-lab)

2 points

6 months ago

520.

Bio-Mimetic Legislative Engine

2 points

6 months ago

521.

Show HN: Polymathic Resource List – 150 Tools and 90 Books (github.com/PolymvthicPunks)

2 points

PolymvthicPunks

8 months ago

522.

Show HN: Umbilic Torus Model of 12‑Tone Harmony (Now, Live TCP Note Tracking) (github.com/jimishol)

2 points

9 months ago

523.

Show HN: Go-DDD: Production-ready DDD patterns and clean architecture in Go (github.com/sklinkert)

2 points

10 months ago

524.

Show HN: Through the Geek's Lens (github.com/marcmagransdeabril)

2 points

a year ago

525.

Show HN: The Council of Perspectives – AI Experts Discussing Any Problem (the-council-of-perspectives.vercel.app)

2 points

a year ago

526.

Show HN: An eBPF-based router to discourage compulsive social media use (github.com/atomic77)

2 points

2 years ago

527.

Show HN: Minimalistic collisions simulation using TypeScript and HTML Canvas (github.com/vandrieu)

2 points

2 years ago

528.

Show HN: Can AI keep my code up-to-date? (github.com/xeol-io)

2 points

2 years ago

529.

Show HN: Python Bindings for llama.cpp with some CLIs (github.com/thomasantony)

2 points

3 years ago

530.

Show HN: Puzzlip (puzzlip.com)

2 points

4 years ago

531.

Show HN: MegaHAL in Pure SQL (github.com/tgies)

1 point

4 months ago

532.

Show HN: An autopoietic agent forge for emergent, consensus-based AI ecosystems (github.com/jzkool)

1 point

hiddenarchitect

4 months ago

533.

Show HN: Ghost Engine – generate weights on the fly (github.com/sajanlamsal)

1 point

5 months ago

534.

How Ransomware era might finally end

1 point

10 years ago

535.

Psynesthesia - A python program to convert sound to color.

1 point

13 years ago

536.

Show HN: I can no longer afford the silicon. Here is my autonomous HPC agent (github.com/KilianDiama)

1 point

3 months ago

537.

Show HN: AgentUQ, a token-logprob runtime gate for LLM agents (github.com/antoinenguyen27)

1 point

3 months ago

538.

Show HN: NHE – Eliminating Frame Drops in 4K 144Hz via Direct-to-Silicon Logic

1 point

3 months ago

539.

Show HN: Verity, Formally verified smart contracts from spec to bytecode (github.com/Th0rgal)

1 point

3 months ago

540.

How to Red Team Your AI Agent in 48 Hours – A Practical Methodology

1 point

4 months ago