Search: github.com/mikm | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

Show HN: Roast my SQLite encryption at-rest (github.com/ncruces)

99 points

2 years ago

752.

Show HN: Fireproof – local-first database with Git-like encrypted sync (fireproof.storage)

99 points

2 years ago

753.

Show HN: Gambit, an open-source agent harness for building reliable AI agents (github.com/bolt-foundry)

91 points

5 months ago

754.

Show HN: DBOS transact – Ultra-lightweight durable execution in Python (github.com/dbos-inc)

89 points

2 years ago

755.

Show HN: Wave – Modern Open-Source Terminal (macOS and Linux) (github.com/wavetermdev)

82 points

2 years ago

756.

Show HN: CodeRLM – Tree-sitter-backed code indexing for LLM agents (github.com/JaredStewart)

81 points

4 months ago

757.

Show HN: AudioNimbus – Steam Audio's immersive spatial audio, now in Rust (github.com/MaxenceMaire)

77 points

a year ago

758.

Show HN: A personalised AI tutor with < 1s voice responses (educationbot.cerebrium.ai)

72 points

2 years ago

759.

Show HN: BloomSearch – Keyword search with hierarchical Bloom filters (github.com/danthegoodman1)

66 points

a year ago

760.

Show HN: I3wm Alt+Tab Workspace Switcher

61 points

2 years ago

761.

Ola Bini: privacy defender, free software developer still in detention in Ecuado

59 points

7 years ago

762.

Show HN: Panza: A personal email assistant, trained and running on-device (github.com/IST-DASLab)

49 points

2 years ago

763.

Show HN: Chainloop, A Software Supply Chain Attestation solution devs won't hate (github.com/chainloop-dev)

45 points

3 years ago

764.

I open sourced my startup

42 points

MikeChristensen

12 years ago

765.

Show HN: Write JSON processor queries (jq) in natural language (github.com/AgentOps-AI)

38 points

2 years ago

766.

I'm 16 and Trying to Save Coral Reefs with Open-Source Symbiotic Biotech

35 points

a year ago

767.

Show HN: QTap DevTools – Chrome-style encrypted traffic inspector for Linux (qpoint.io)

30 points

5 months ago

768.

Show HN: HyperDX Local – Open-source Datadog alternative for local debugging/dev (github.com/hyperdxio)

29 points

2 years ago

769.

Ask HN: Business models for single dev OSS

25 points

9 years ago

770.

Show HN: GPULlama3.java Llama Compilied to PTX/OpenCL Now Integrated in Quarkus

24 points

6 months ago

771.

Show HN: Misata – synthetic data engine using LLM and Vectorized NumPy (github.com/rasinmuhammed)

24 points

6 months ago

772.

Ask HN: What is your RP 2040 development environment?

16 points

2 years ago

773.

Show HN: Xorq – open-source Python-first Pandas-style pipelines (github.com/xorq-labs)

15 points

a year ago

774.

Show HN: A password system with no database, no sync, and nothing to breach (bastion-enclave.vercel.app)

14 points

4 months ago

775.

Show HN: I trained a chess engine to play like humans

14 points

a month ago

776.

What does it mean to use C++ in the front end?

14 points

a year ago

777.

Show HN: ClickStack – open-source Datadog alternative by ClickHouse and HyperDX (github.com/hyperdxio)

14 points

a year ago

778.

Show HN: Lotus – open-source pricing engine (demo.uselotus.io)

14 points

3 years ago

779.

Show HN: Jido – Run 10k agents at 25KB each (Elixir) (github.com/agentjido)

13 points

a year ago

780.

Show HN: Outline Driven Development – New AI-Assisted Coding Paradigm; BN (github.com/OutlineDriven)

11 points

7 months ago