Search: github.com/axic | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Show HN:I built a deterministic 10k-node VRP solver on a $100 phone

2 points

a month ago

452.

Show HN: SafeInstall – local install-time guardrails for NPM/pnpm/bun (safeinstall.dev)

2 points

MichaelLabitzke

2 months ago

453.

Show HN: Jmap-kit – a TypeScript library for JMAP client applications (github.com/lachlanhunt)

2 points

3 months ago

454.

Show HN: Validatedata 0.3.0 – lightweight inline data validation for Python (pypi.org)

2 points

3 months ago

455.

Show HN: Guido Scale – maturity model for SDD migration (github.com/GuiMiran)

2 points

3 months ago

456.

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

2 points

4 months ago

457.

Show HN: Consciousness Gateway – AI routing with consciousness-first alignment (github.com/Move37LLC)

2 points

4 months ago

458.

Show HN: Spine – Verifiable audit logs with BLAKE3 and Ed25519 (github.com/EulBite)

2 points

5 months ago

459.

Show HN: tunn – Share localhost like a Google Doc (tunn.to)

2 points

5 months ago

460.

Bitcoind pyminer with pythonparallel support (github.com/daedalus)

2 points

14 years ago

461.

Sirix - a versioned, treebased storage system in Java (free software) (github.com/JohannesLichtenberger)

2 points

14 years ago

462.

Show HN: OTS-SDK – a tiny OpenTimestamps API that never keeps your data (github.com/Gridsfeed)

2 points

7 months ago

463.

Show HN: I wrote a toy proof assistent (github.com/chrisd1977)

2 points

2 years ago

464.

Show HN: CLI text processing with GNU sed (eBook)

2 points

3 years ago

465.

Show HN: A High-Performance CRC Hardware Generator in Bluespec SystemVerilog (github.com/datenlord)

2 points

3 years ago

466.

Show HN: Brackit – a retargetable JSONiq based query engine for JSON

2 points

4 years ago

467.

DuckEngine – A 2D Game Engine for the web

2 points

5 years ago

468.

Kubegres version 1.1 is available

2 points

5 years ago

469.

Ask HN: Quantum Computing – Concept/Code Review (Qiskit Impl.)

2 points

6 years ago

470.

Git chart: visualize git repo activity by day and author

2 points

6 years ago

471.

Artemis – Laser Object Tracking

2 points

7 years ago

472.

Tell HN: I wrote an ebook on Python regex, free to download this weekend

2 points

7 years ago

473.

Rayo, a set of super fast frameworks

2 points

8 years ago

474.

Ask HN: Which language with an APL-style interface is *best*?

2 points

8 years ago

475.

Show HN: NeuroSync – An experimental Python library for neural cryptography (github.com/CooDiiNgg)

1 point

3 months ago

476.

Show HN: AgentMint – Cryptographic proof of human approval for AI agent actions (github.com/aniketh-maddipati)

1 point

3 months ago

477.

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

1 point

hiddenarchitect

4 months ago

478.

Show HN: PolyAgora – A natural-language multi-agent OS built with GPT-5.1 (github.com/Takeshi-Sakamoto5)

1 point

7 months ago

479.

Show HN: Prosur: Logs all 3D printer activity in a DB, view it all in a browser (github.com/EDG5000)

1 point

4 years ago

480.

Ask HN: Which learning style is better? Mastery Learning or Spiral approach?

1 point

7 years ago