Search: github.com/mitmath | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Subtle Failure Modes I Keep Seeing in Production‑Grade AI Systems (github.com/onestardao)

6 points

10 months ago

32.

Show HN: mcp-recorder – VCR.py for MCP servers. Record, replay, verify (github.com/devhelmhq)

6 points

3 months ago

33.

Show HN: Operon – Reliable Agents Using Biological Motifs and Category Theory (github.com/coredipper)

6 points

5 months ago

34.

Show HN: A tiny reasoning layer that steadies LLM outputs (MIT; +22.4% accuracy) (github.com/onestardao)

6 points

10 months ago

35.

We scanned 100 Smithery MCP servers, 22 flagged, here's what we found

5 points

a month ago

36.

Show HN: 70 days, 800 stars. If AI bugs are not random but math inevitable? (github.com/onestardao)

5 points

9 months ago

37.

Show HN: 70 Days → 800 GitHub Stars (Cold Start) – My Secret Was a Problem Map (github.com/onestardao)

5 points

9 months ago

38.

Show HN: Data from a mixed-brand LiFePO₄ battery bank

4 points

5 months ago

39.

Show HN: Ruby-TI – Static Type Checker for Mruby (Version 1.0) (github.com/engneer-hamachan)

4 points

6 months ago

40.

Show HN: Dotenv-gad – typed, validated .env with CLI and grouping (github.com/kasimlyee)

4 points

4 months ago

41.

Show HN: EACL – ReBAC Authorization in Clojure and Datomic Based on SpiceDB (github.com/theronic)

4 points

10 months ago

42.

Show HN: BlockDL – A FOSS neural net sketchpad with shape checking and live code (blockdl.com)

3 points

10 months ago

43.

Show HN: Dgs-CLI – 63-command CLI for D-Link DGS-1100 switches via Selenium (github.com/bobberb)

3 points

2 months ago

44.

Show HN: Demarkus – De-centralized Markup for Us:memory for AI agents and humans (github.com/latebit-io)

3 points

3 months ago

45.

Show HN: Dynamic Code Execution with MCP: A More Efficient Approach (github.com/pranftw)

3 points

7 months ago

46.

Chat vs. Tab: What's the best way to do local AI dev? (github.com/continuedev)

3 points

2 years ago

47.

Show HN: RAG Doctor – CLI tool to diagnose broken RAG pipelines (ragdoctor.dev)

2 points

3 months ago

48.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

49.

Show HN: Valmi: Outcome-Billing and Payments for AI Agents (Open Source SDK) (github.com/valmi-io)

2 points

6 months ago

50.

Show HN: BetterClaw – Compile a paragraph into a workflow that gates agent tools

2 points

a month ago

51.

Show HN: Tested 12 LLMs with few-shot examples

2 points

2 months ago

52.

Show HN: "hard questions" as a shared language for cross-domain reasoning (github.com/onestardao)

2 points

4 months ago

53.

Show HN: PSP,A vector retrieval algorithm like HNSW and NSG for MIPS (github.com/ZJU-DAILY)

2 points

5 months ago

54.

Show HN: CAML-Lint – a linter for narrative/quest JSON used in game design (github.com/dkoepsell)

2 points

5 months ago

55.

ClipE96: We Left the Clipboard Unguarded for 40 Years

2 points

6 months ago

56.

Show HN: Python Code Harmonizer – Semantic analysis for clean maintainable code (github.com/BruinGrowly)

2 points

7 months ago

57.

Validation pipeline that blocks AI-generated files with schema errors

1 point

3 months ago

58.

Show HN: Testing SQL logic without a real database

1 point

3 months ago

59.

How do you catch schema drift and security gaps in Firestore?

1 point

3 months ago

60.

Show HN: Crash-safe job queue – lease-expiry race and fencing fix (github.com/kritibehl)

1 point

3 months ago