Search: github.com/lawl | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Show HN: BigBangrs – A (simple, but fun) gravity simulator (github.com/felipellrocha)

1 point

3 months ago

302.

Show HN: LOAB – AI agents get decisions right but skip the process [pdf] (github.com/shubchat)

1 point

3 months ago

303.

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

1 point

3 months ago

304.

Show HN: Agent Protocols Tech Tree (harvard-lil.github.io)

1 point

3 months ago

305.

Show HN: Agent Hypervisor – Reality Virtualization for AI Agents (github.com/sv-pro)

1 point

4 months ago

306.

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

1 point

4 months ago

307.

Show HN: Allowing web agents to click and type like humans (Python library) (github.com/Super-44)

1 point

4 months ago

308.

Show HN: Scribefully is a portfolio/HN-style community for academics & pros (scribefully.com)

1 point

4 months ago

309.

Show HN: A curated list of academic papers and resources on Physical AI (github.com/keon)

1 point

5 months ago

310.

Show HN: Foom.ist: When silicon surpasses human brainpower (foom.ist)

1 point

5 months ago

311.

Show HN: Frozen Function-agnostic goldenratio calculus (pip install phi-engine) (github.com/Purrplexia)

1 point

6 months ago

312.

Show HN: Instant Calculus: frozen, function-agnostic, arbitrary-precision GPLv3 (github.com/Purrplexia)

1 point

6 months ago

313.

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

1 point

7 months ago

314.

Show HN: da Vinci Codex-open physics sims of Leonardo's machines (w UQ and FMEA) (github.com/Shannon-Labs)

1 point

9 months ago

315.

Show HN: Containers for Lean 4 (polynomial functors, with M-types) (github.com/fraware)

1 point

9 months ago

316.

LLM Orchestrator: General Bots

1 point

2 years ago

317.

Show HN: ZkSafeZones – Civilian Protection in Conflict Areas (zklocus.dev)

1 point

2 years ago

318.

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

1 point

3 years ago

319.

Popcorn Time Is Back (github.com/popcorn-official)

405 points

4 years ago

320.

Grandmaster-level chess without search (github.com/google-deepmind)

365 points

2 years ago

321.

Devon: An open-source pair programmer (github.com/entropy-research)

54 points

2 years ago

322.

Global high-performance proof-of-stake blockchain with erasure coding (github.com/qkniep)

36 points

a year ago

323.

CLIP inference in plain C/C++ with no extra dependencies (github.com/monatis)

12 points

3 years ago

324.

ControlNet: Adding Conditional Control to Text-to-Image Diffusion Models (github.com/lllyasviel)

6 points

3 years ago

325.

Anthropic Sandbox Runtime (Srt) (github.com/anthropic-experimental)

5 points

8 months ago

326.

Show HN: Stratum – An open source silicon-independent switch operating system (github.com/stratum)

5 points

5 years ago

327.

FBSimulatorControl: A Mac OS X library for managing iOS simulators (github.com/facebook)

5 points

11 years ago

328.

Awesome libghostty (github.com/Uzaaft)

4 points

3 months ago

329.

Fine-tuning Mistral 7B using QLoRA (github.com/brevdev)

4 points

3 years ago

330.

AlphaZero's Monte Carlo tree search implementation in Jax (github.com/deepmind)

4 points

3 years ago