Search: github.com/dkter | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Show HN: TurkishSieve CPU/GPU prime sieve found errors in Nicely's tables

github.com/bilgisofttr

4 months ago

2 points

662.

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

4 months ago

2 points

663.

Show HN: Design is Code – UML to TDD tests that constrain AI code generation

mossgreen.github.io

4 months ago

2 points

664.

Show HN: Dress – A parameter-free O(E) graph equation that provably exceeds 1-WL

github.com/velicast

4 months ago

2 points

665.

Show HN: Catching breaking interface changes in TypeScript refactors (AST-based)

github.com/LogicStamp

4 months ago

2 points

666.

Show HN: LocalAgent: local coding agent CLI with trust and replay

github.com/CalvinSturm

4 months ago

2 points

667.

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift)

github.com/OneInX

4 months ago

2 points

668.

Show HN: Silo – Every Git branch gets its own localhost

github.com/silo-rs

4 months ago

2 points

669.

Show HN: cgrep – local, code-aware search for AI coding agents

github.com/meghendra6

4 months ago

2 points

670.

Show HN: Wax – RAG in a single file (SQLite for AI memory)

github.com/christopherkarani

4 months ago

2 points

671.

Show HN: Libgd-GIS – Render maps and GIS data directly in Ruby (GeoJSON → Image)

ggerman.github.io

4 months ago

2 points

672.

Show HN: A pipeline to render and serve web components dynamically via LLM

github.com/pilifs

4 months ago

2 points

673.

Show HN: Agentrial – pytest for AI agents with statistical rigor

github.com/alepot55

5 months ago

2 points

674.

Show HN: Sandy – Accelerate AI agents: think once, replay forever

github.com/Sangkwun

5 months ago

2 points

675.

Show HN: OAuth 2.0 server with AI security agents (EU sovereign alternative)

github.com/devon39

5 months ago

2 points

676.

Show HN: JobTrackerPro – open-source job tracker that updates via AI and email

thughari.github.io

5 months ago

2 points

677.

Show HN: Bellwether – MCP Server Testing and Drift Detection for CI/CD

github.com/dotsetlabs

5 months ago

2 points

678.

Show HN: Kakveda – Failure intelligence and pre-flight warnings for LLM systems

github.com/prateekdevisingh

5 months ago

2 points

679.

Show HN: EditorWatch – Detect AI cheating by analyzing how students write code

github.com/Vic-Nas

5 months ago

2 points

680.

Show HN: Cuttlefish – 40ns causal consistency using algebra instead of consensus

github.com/abokhalill

5 months ago

2 points

681.

Show HN: BlackTent – a strictly local CLI for sanitized incident bundles

github.com/sylviesuite

5 months ago

2 points

682.

Show HN: Spine – an execution-centric backend framework for Go

spine.na2ru2.me

5 months ago

2 points

683.

Show HN: Lobsim: L3 Limit Order Book replay and paper execution simulator

github.com/kpetridis24

5 months ago

2 points

684.

Show HN: Consensus for Side Effects

github.com/abokhalill

5 months ago

2 points

685.

Show HN: Create promo videos for your projects with Claude Code

github.com/alentodorov

5 months ago

2 points

686.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

5 months ago

2 points

687.

Show HN: LinuxMate generates reproducible Linux setup script

github.com/Henkster72

5 months ago

2 points

688.

Show HN: Atrion – A physics-based circuit breaker for Node.js (TypeScript)

github.com/laphilosophia

5 months ago

2 points

689.

Show HN: Plotnik – type-safe query language for Tree-sitter

github.com/plotnik-lang

6 months ago

2 points

690.

Show HN: Production-readiness – Turn Sr engineer intuition into automated checks

github.com/chuanjin

6 months ago

2 points