Search: github.com/risc0 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Show HN: Rucat – Cat for Prompt Engineers

github.com/brianredbeard

10 months ago

10 points

272.

DietPi released a new version 8.18

3 years ago

10 points

273.

Show HN: Stamp – A Cryptographic Identity System

5 years ago

9 points

274.

DietPi released a new version 8.23

3 years ago

9 points

275.

Show HN: I made a set of tools to write kernel prototypes.

github.com/glguida

2 years ago

8 points

276.

Show HN: CambiOS – a new Rust-based, sovereign identity, zero-trust OS

github.com/coherentforge

12 days ago

8 points

277.

Home-Made RTOS on Renode Simulation

2 years ago

7 points

278.

Show HN: GPT Classifies HN Titles

3 years ago

6 points

279.

Show HN: KFR 7 – major update for C++ DSP library

github.com/kfrlib

7 months ago

6 points

280.

Show HN: Bit-banged 10BASE-T Ethernet and Wi-Fi router in Rust on the Pico 2 W

github.com/mattdeeds

19 days ago

5 points

281.

Show HN: Axiom – C++ tensor library with NumPy API and Metal GPU support

5 months ago

5 points

282.

Ask HN: Anyone with ppc64le and s390x boxes to test a Docker image?

4 years ago

5 points

283.

Linux Lab v0.2 rc1 released

7 years ago

4 points

284.

Show HN: ProtocolSoup – Interactive Sandbox for OAuth, OIDC, SAML, Spiffe, SSF

protocolsoup.com

5 months ago

4 points

285.

DietPi released a new version 9.10

a year ago

4 points

286.

DietPi released a new version 9.1

2 years ago

4 points

287.

DietPi released a new version 8.15

3 years ago

4 points

288.

Show HN: Axiom – C++ tensor library with NumPys API, optimized for Apple Silicon

github.com/Frikallo

5 months ago

3 points

289.

Show HN: Simten – design hardware in TypeScript and simulate it in the browser

14 days ago

3 points

290.

Show HN: Pointify – DIY Retro analog gauges for system stats and Claude usage

github.com/luftaquila

3 months ago

3 points

291.

Show HN: L-Rep:Geometry engine,GA multivectors,dynamic trees in a single integer

github.com/nahhididwin

4 months ago

3 points

292.

Show HN: Verified 16.7M Mac chip architecture on $60 Android phone

4 months ago

3 points

293.

DietPi released a new version v9.15

a year ago

3 points

294.

Show HN: A toy MCP for AI agents to code, run, and see output of GPU code safely

github.com/mehmetoguzderin

a year ago

mehmetoguzderin

3 points

295.

DietPi released a new version 8.22

3 years ago

3 points

296.

Ask HN: Search engine for discussions about a URL?

6 years ago

2 points

297.

Show HN: PicoClaw 10MB OpenClaw alternative that runs AI agents on $10 hardware

4 months ago

2 points

298.

Show HN: Alpenglow, a Linux distribution that boots to login in 0.6s

github.com/tschk

6 days ago

2 points

299.

Show HN: Chlibc – A ptrace-based tool to hot-swap glibc and interp in user-space

github.com/gzm55

2 months ago

2 points

300.

Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM

4 months ago

2 points