Search: github.com/thesis | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Bitcoin vs. Nano

12 points

5 years ago

62.

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

11 points

3 months ago

63.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com/sethirus)

9 points

5 months ago

64.

Show HN: Geniusrise, an open source framework and ecosystem for AI agents (github.com/geniusrise)

9 points

3 years ago

65.

Show HN: Open-Source Gateway to Stop Tool-Abusing Prompt Injections (archestra.ai)

9 points

8 months ago

66.

Show HN: We open sourced Vapi – UI included (github.com/dograh-hq)

8 points

3 months ago

67.

Show HN: Truly Typed – A writing app for the AI era (trulytyped.com)

8 points

22 days ago

68.

Show HN: Bull.sh: Financial Modeling Agent CLI (github.com/alex-duria)

7 points

5 months ago

69.

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

6 points

16 years ago

70.

Show HN: Shortest, a natural language AI-powered testing framework (github.com/anti-work)

6 points

a year ago

71.

Show HN: An edge first feature flag implementation on Cloudflare (github.com/anoop-b)

4 points

a year ago

72.

Show HN: Tolgee – developer-friendly localization tool (github.com/tolgee)

4 points

2 years ago

73.

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

3 points

2 days ago

74.

Show HN: Hashiverse, an open-source decentralized social network in Rust (hashiverse.com)

3 points

22 days ago

75.

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

3 points

3 months ago

76.

Show HN: Dashboard Tracking Autonomous Coding Agents on GitHub (insights.logicstar.ai)

3 points

a year ago

77.

Show HN: LimeJourney – Open-Source Customer.io Alternative (limejourney.com)

3 points

2 years ago

78.

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

3 points

7 years ago

79.

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

2 points

3 months ago

80.

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

2 points

a year ago

81.

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

2 points

a month ago

82.

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

2 points

15 years ago

83.

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

2 points

11 years ago

84.

Show HN: Delta – LLM tool for targeted code edits (github.com/truefire)

2 points

5 months ago

85.

Show HN: Tilly – An Open Source Relationship Journal I Actually Use (github.com/ccssmnn)

2 points

8 months ago

86.

Show HN: Im Building LimeJourney-Yet Another Open Source Customer.io Alternative (limejourney.com)

2 points

2 years ago

87.

Show HN: I reproduced Code Llama fill-in-the-middle code completion training (github.com/BohdanPetryshyn)

2 points

BohdanPetryshyn

2 years ago

88.

SEMA Evolution: Redefining Malware Analysis Toolchain Architecture

2 points

2 years ago

89.

Show HN: Graph-Based Dungeon Generator (halftheopposite.github.io)

2 points

halftheopposite

3 years ago

90.

Show HN: Brackit – a retargetable JSONiq based query engine for JSON

2 points

4 years ago