Search: github.com/thesis | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Open Notes – Community Notes-style context for Discord

4 months ago

20 points

62.

Bitcoin vs. Nano

5 years ago

12 points

63.

Built a 1.3M-line agent-native OS in Rust while homeless. What now?

3 months ago

11 points

64.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

github.com/sethirus

5 months ago

9 points

65.

Show HN: Geniusrise, an open source framework and ecosystem for AI agents

github.com/geniusrise

3 years ago

9 points

66.

Show HN: Open-Source Gateway to Stop Tool-Abusing Prompt Injections

8 months ago

9 points

67.

Show HN: We open sourced Vapi – UI included

github.com/dograh-hq

3 months ago

8 points

68.

Show HN: Truly Typed – A writing app for the AI era

a month ago

8 points

69.

Show HN: Bull.sh: Financial Modeling Agent CLI

github.com/alex-duria

6 months ago

7 points

70.

Show HN: TomBoy, an OSS AAC iPhone App for Autistic Kids

16 years ago

6 points

71.

Show HN: Shortest, a natural language AI-powered testing framework

github.com/anti-work

a year ago

6 points

72.

Show HN: Levi – run AlphaEvolve on your Claude Code/Codex for dirt cheap

ttanv.github.io

14 days ago

5 points

73.

Show HN: An edge first feature flag implementation on Cloudflare

github.com/anoop-b

a year ago

4 points

74.

Show HN: Tolgee – developer-friendly localization tool

github.com/tolgee

2 years ago

4 points

75.

Show HN: Ariadne – reason about your codebase on a walk, run, or commute

20 days ago

3 points

76.

Show HN: Hashiverse, an open-source decentralized social network in Rust

a month ago

3 points

77.

Show HN: Doppler.js – WebGPU inference, faster/simpler than transformer.js

4 months ago

3 points

78.

Show HN: Dashboard Tracking Autonomous Coding Agents on GitHub

insights.logicstar.ai

a year ago

3 points

79.

Show HN: LimeJourney – Open-Source Customer.io Alternative

limejourney.com

2 years ago

3 points

80.

Show HN: SirixDB (OS) – versioning through efficient snapshotting (XML/JSON)

7 years ago

3 points

81.

Show HN: Claw Cash – Money agents can trust, and verify. Stablecoins in. BTC out

4 months ago

2 points

82.

Show HN: AI Chat for Research with References (>10-20 PDFs, No Hallucinations)

a year ago

2 points

83.

Show HN: We put ZK attribute proofs inside x402 payment headers

2 months ago

2 points

84.

Ask HN: Would you find optional Python static type checking useful?

15 years ago

2 points

85.

Show HN: Hypatia, difficulty calculator gem (my first gem)

11 years ago

2 points

86.

Show HN: Delta – LLM tool for targeted code edits

github.com/truefire

6 months ago

2 points

87.

Show HN: Tilly – An Open Source Relationship Journal I Actually Use

github.com/ccssmnn

8 months ago

2 points

88.

Show HN: Im Building LimeJourney-Yet Another Open Source Customer.io Alternative

limejourney.com

2 years ago

2 points

89.

Show HN: I reproduced Code Llama fill-in-the-middle code completion training

github.com/BohdanPetryshyn

2 years ago

BohdanPetryshyn

2 points

90.

SEMA Evolution: Redefining Malware Analysis Toolchain Architecture

2 years ago

2 points