Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

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

1 point

4 months ago

542.

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

1 point

4 months ago

543.

Show HN: I hated an audiobook narrator, so I built a voice cloning ePub reader (github.com/jarodise)

1 point

4 months ago

544.

Show HN: Meru OS – The First Sovereign AI Stack (<2MB, CPU-Native)

1 point

5 months ago

545.

Show HN: Libcusort – A radix sort for modern Nvidia GPUs (github.com/IlyaGrebnov)

1 point

5 months ago

546.

Show HN: Beating SOTA embeddings on DeepMind's LIMIT benchmark (94% vs. 18%) (github.com/sangeet01)

1 point

6 months ago

547.

Show HN: RIMC – An Alpha-Drift Framework for Recursive Market Dynamics (github.com/rimc-lab)

1 point

6 months ago

548.

Show HN: AsyncFlow – Event-loop aware simulator for async distributed systems (github.com/AsyncFlow-Sim)

1 point

10 months ago

549.

A Fast, In-Browser Decimal ↔ Balanced Ternary Converter (Handles 21M+ Entries)

1 point

a year ago

550.

A compile-time sandbox architecture inspired by biology (C++)

1 point

a year ago

551.

Show HN: MCP Server for any CLI app with logs (Expo) (github.com/Hormold)

1 point

a year ago

552.

Show HN: Finite math system for programmers (human+AI made)

1 point

a year ago

553.

Show HN: TokenFlow – Visualize LLM inference speed (dave.ly)

1 point

a year ago

554.

Show HN: Handbook for better QA in organisation(s)

1 point

2 years ago

555.

Ask HN: It is worth to add to PJON bus network communication functionality?

1 point

10 years ago

556.

CMS with automatic JSON API for “thick client” front-ends, written in Go (github.com/ponzu-cms)

4 points

the_cap_theorem

9 years ago

557.

Show HN: Ungate – use Claude and GPT subscriptions in Cursor without API costs (github.com/orchidfiles)

2 points

2 months ago

558.

List of Rules for Cursor (github.com/PatrickJS)

2 points

3 months ago

559.

Cursor Rules and Prompts (github.com/thehimel)

2 points

3 months ago

560.

Show HN: Ungate – use Claude and GPT subscriptions in Cursor without API costs (github.com/orchidfiles)

1 point

a month ago

561.

Multi-tentacled orchestrator for Claude Code (github.com/nyldn)

1 point

3 months ago

562.

OpenClaw Skills (github.com/VoltAgent)

1 point

3 months ago

563.

Rails adds a Code of Conduct (github.com/rails)

1 point

11 years ago