Search: github.com/ldaw | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Show HN: Routebop - my weekend/month/year-long project

13 years ago

1 points

302.

Show HN: Pro Health Ledger – An open-source, net-neutral reputation system

a month ago

1 points

303.

Ask HN: Can someone reproduce or break this frozen gravity/time/quantum bundle?

2 months ago

1 points

304.

Show HN: Lexicon – Write legal contracts in Markdown

3 months ago

1 points

305.

Show HN: BigBangrs – A (simple, but fun) gravity simulator

github.com/felipellrocha

3 months ago

1 points

306.

Show HN: LOAB – AI agents get decisions right but skip the process [pdf]

github.com/shubchat

3 months ago

1 points

307.

Show HN: ODL – Organization as Code. I wrote specs, AI wrote 100% of the code

4 months ago

1 points

308.

Show HN: Agent Protocols Tech Tree

harvard-lil.github.io

4 months ago

1 points

309.

Show HN: Agent Hypervisor – Reality Virtualization for AI Agents

github.com/sv-pro

4 months ago

1 points

310.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

5 months ago

1 points

311.

Show HN: Allowing web agents to click and type like humans (Python library)

github.com/Super-44

5 months ago

1 points

312.

Show HN: Scribefully is a portfolio/HN-style community for academics & pros

scribefully.com

5 months ago

1 points

313.

Show HN: A curated list of academic papers and resources on Physical AI

github.com/keon

5 months ago

1 points

314.

Show HN: Foom.ist: When silicon surpasses human brainpower

5 months ago

1 points

315.

Show HN: Frozen Function-agnostic goldenratio calculus (pip install phi-engine)

github.com/Purrplexia

7 months ago

1 points

316.

Show HN: Instant Calculus: frozen, function-agnostic, arbitrary-precision GPLv3

github.com/Purrplexia

7 months ago

1 points

317.

Show HN: Hosting a Production, Computationally Intensive, Mobile Bot

8 months ago

1 points

318.

Show HN: da Vinci Codex-open physics sims of Leonardo's machines (w UQ and FMEA)

github.com/Shannon-Labs

9 months ago

1 points

319.

Show HN: Containers for Lean 4 (polynomial functors, with M-types)

github.com/fraware

9 months ago

1 points

320.

LLM Orchestrator: General Bots

2 years ago

1 points

321.

Show HN: ZkSafeZones – Civilian Protection in Conflict Areas

2 years ago

1 points

322.

A Journey of Creation and Innovation: An Invitation to Explore Uncommon Paths

3 years ago

1 points

323.

Popcorn Time Is Back

github.com/popcorn-official

4 years ago

405 points

324.

Grandmaster-level chess without search

github.com/google-deepmind

2 years ago

365 points

325.

Teletext for Raspberry Pi

github.com/ali1234

11 years ago

143 points

326.

Ruby inline assembler

github.com/seattlerb

13 years ago

64 points

327.

Devon: An open-source pair programmer

github.com/entropy-research

2 years ago

54 points

328.

Global high-performance proof-of-stake blockchain with erasure coding

github.com/qkniep

a year ago

36 points

329.

CLIP inference in plain C/C++ with no extra dependencies

github.com/monatis

3 years ago

12 points

330.

ControlNet: Adding Conditional Control to Text-to-Image Diffusion Models

github.com/lllyasviel

3 years ago

6 points