Search: github.com/dimes | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Show HN: Pydantypes – The missing Pydantic types for cloud, DevOps, AI (github.com/oborchers)

2 points

3 months ago

392.

Show HN: AegisBPF – Deterministic Runtime Enforcement via eBPF LSM (github.com/ErenAri)

2 points

3 months ago

393.

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

2 points

4 months ago

394.

Show HN: AI Station Navigator – LLM=CPU, Agents=Processes, Skills=Apps (github.com/canishowtime)

2 points

4 months ago

395.

Show HN: A brutalist architectural framework for CLI-based workflows (github.com/lucky7xz)

2 points

4 months ago

396.

Show HN: Consensus for Side Effects (github.com/abokhalill)

2 points

5 months ago

397.

Show HN: Basic AI agent that auto-generates B2B sales follow-ups (github.com/sneurgaonkar)

2 points

5 months ago

398.

Show HN: A 134-Modality AGI Core Built in Python (Velocity_Nova_Prime)

2 points

5 months ago

399.

Show HN: Elliptica – Make Art with Elliptic Boundary Value Problems (github.com/afolkest)

2 points

5 months ago

400.

Show HN: HN-Brief – Catch up on the top stories in 5 minutes (hn-brief.com)

2 points

5 months ago

401.

Show HN: Awesome Directories – Open-source launch directory aggregator (awesome-directories.com)

2 points

6 months ago

402.

Show HN: Umbilic Torus Model of 12‑Tone Harmony (Now, Live TCP Note Tracking) (github.com/jimishol)

2 points

9 months ago

403.

Show HN: Olla – Lightweight LLM Proxy for Homelab and OnPrem AI Inference

2 points

thushanfernando

10 months ago

404.

Show HN: PTS Library – Analyze LLM reasoning through "thought anchors"

2 points

10 months ago

405.

MatrixTransformer – A Unified Framework for Matrix Transformations

2 points

AyodeleFikayomi

a year ago

406.

Ragged – Leveraging Video Container Formats for Efficient Vector DB Distribution

2 points

a year ago

407.

Show HN: Functioneer – Do eng/sci analysis in <5 lines of code (github.com/qthedoc)

2 points

a year ago

408.

Show HN: Digger Solo – Semantic Search and Maps for Local Files (solo.digger.lol)

2 points

a year ago

409.

Show HN: I built HN Buddy to stop compulsive HN checking (hn-buddy.com)

2 points

a year ago

410.

Show HN: A SQLite-backed job queue handling 15k jobs/s (github.com/justplainstuff)

2 points

2 years ago

411.

Show HN: Minimalistic collisions simulation using TypeScript and HTML Canvas (github.com/vandrieu)

2 points

2 years ago

412.

Show HN: Jonline – decentralized social media and event platform, by a solo dev (jonline.io)

2 points

2 years ago

413.

Show HN: Manage a portfolio website with lots of projects – ortfo (ortfo.org)

2 points

2 years ago

414.

Show HN: Chai - remote PDF and Hex Viewer service accessible via remote browser (github.com/BrowserBox)

2 points

2 years ago

415.

Developer Friendly Data Observability Tool

2 points

4 years ago

416.

Git is removed from the latest maven and openjdk Docker images

2 points

6 years ago

417.

Show HN: Logging in Java with Diagnostic Backtraces

2 points

6 years ago

418.

Show HN: Reliza Hub – DevOps metadata management system

2 points

6 years ago

419.

Show HN: The Public Tab – See every federal dollar flowing through your district (thepublictab.com)

1 point

2 months ago

420.

Show HN: Open-sourced an email QA lib 8 checks across 12 clients in 1 audit call (github.com/emailens)

1 point

3 months ago