Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Show HN: Physics from "I am": a recursive model that works? (github.com/ktynski)

4 points

10 months ago

362.

Show HN: PromptOptimizer – Minimize LLM token complexity to save cost (github.com/vaibkumr)

4 points

3 years ago

363.

Show HN: A better way of version controlling IAC (gist.github.com)

4 points

4 years ago

364.

Show HN: Clawdstrike – a security toolbox for the OpenClaw ecosystem (github.com/backbay-labs)

4 points

backbay-machine

4 months ago

365.

Corehash Protocol – Decentralized hashrate liquidity provision with HashFi

4 points

5 years ago

366.

Show HN: Spreadsheets Cells with Uncertainty Distributions (github.com/PragmaticMachineLearning)

4 points

24 days ago

367.

Grand Time: Time-Based Models in Decentralized Trust

4 points

4 months ago

368.

Show HN: Microagentic Stacking – Manifesto for Reliable Agentic AI Architecture (github.com/ericmora)

4 points

4 months ago

369.

Show HN: SGR – A Linear-Complexity "Living Cell" Outperforming Transformers

4 points

4 months ago

370.

Show HN: Project Base 44" – A Fairness-Driven Protocol for Social Physics (github.com/yourname)

4 points

5 months ago

371.

Show HN: Equations Explained Colorfully (KaTeX and Markdown) (p.migdal.pl)

4 points

6 months ago

372.

Show HN: Kumi – a portable, declarative, functional core for business logic (kumi-play-web.fly.dev)

4 points

7 months ago

373.

Show HN: A high-performance Rust based MCP server (github.com/PSU3D0)

4 points

7 months ago

374.

Ask HN: Official Hacker News ranking experiments?

4 points

3 years ago

375.

Show HN: A better way of version controlling IAC (gist.github.com)

4 points

4 years ago

376.

Show HN: Alice Architecture: An Attempt at Autonomous AGI Based on ±0 Theory (github.com/xian367422611213344-source)

3 points

6 months ago

377.

GitHub permanently banned my account for using Actions to validate VPN nodes

3 points

3 months ago

378.

Ask HN: Suggesting better employee-supporting AI Chatbot to a mid sized corpo

3 points

3 years ago

379.

Show HN: Mitsuki, a Python web framework as fast as Node or Java (github.com/DavidLandup0)

3 points

6 months ago

380.

Show HN: OpenGrammar Open-source, self-hostable Grammarly alternative (swadhinbiswas.github.io)

3 points

3 months ago

381.

Show HN: Using AI to judge a drinking game – SplitTheG.dev (splittheg.dev)

3 points

a year ago

382.

Show HN: Dixit – Semantic search from quotation database (dixit.app)

3 points

3 years ago

383.

Ask HN: How to test or proove logic programming?

3 points

10 years ago

384.

Show HN: simple_ans – Asymmetric Numeral Systems Compression in Python/C++ (github.com/flatironinstitute)

3 points

2 months ago

385.

Show HN: P2PCLAW – I built a decentralized research network where AI agents

3 points

FranciscoAngulo

3 months ago

386.

Show HN: I tried coding theology – accidentally built AI accountability (github.com/ubunturbo)

3 points

9 months ago

387.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

3 points

2 months ago

388.

Show HN: I built an open protocol for Agent-to-agent commercial negotiation (a2cn.io)

3 points

2 months ago

389.

Show HN: A conversation about OS design turned into an actual OS in a week

3 points

3 months ago

390.

Show HN: Open-source expense and budget tracker with SQL API for AI agents (github.com/kirill-markin)

3 points

3 months ago