Search: github.com/axios | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: Axiom – Open-source AI research agent that runs locally (C#, Ollama) (github.com/DynamicCSharp)

1 point

4 months ago

152.

Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com/matthew-scherf)

1 point

6 months ago

153.

Pyano: A formalization of first-order logic and Peano's axioms in Python (github.com/sanjoy)

1 point

3 years ago

154.

A fast 3D collision detection algorithm (cairno.substack.com)

269 points

a year ago

155.

Show HN: Compass CNC – Open-source handheld CNC router (compassrouter.com)

176 points

a year ago

156.

Show HN: Kimu – Open-Source Video Editor (trykimu.com)

106 points

10 months ago

157.

Show HN: A high-altitude low-power flight computer for high-altitude balloons (github.com/New-England-Weather-Balloon-Society)

42 points

10 months ago

158.

Show HN: Advanced-Alchemy – A framework agnostic library for SQLAlchemy (github.com/litestar-org)

38 points

a year ago

159.

Show HN: Create Matplotlib visualizations from the command-line (github.com/dcmoura)

11 points

4 years ago

160.

Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem? (academia.edu)

7 points

5 months ago

161.

Show HN: Crystalline Protocol – A blockchain with a built-in "Logic Firewall" (github.com/deramazesaa-web)

7 points

5 months ago

162.

Show HN: DIVZ – a new open-source 3D Slider for your website, built in React (github.com/lewhunt)

5 points

2 years ago

163.

Show HN: VizGPT – Make contextual data visualizations with a chat interface (github.com/ObservedObserver)

5 points

3 years ago

164.

Show HN: uPlot.js v1.0 – A fast, small chart for time series, OHLC and bars

5 points

6 years ago

165.

Toward a new mathematical theory of computation.

5 points

17 years ago

166.

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

4 points

10 months ago

167.

Show HN: XOC 1.6.0: A Powerful, Commercially-Proven Compiler Framework

4 points

a year ago

168.

Release of XOC Compiler Framework: A Powerful, Commercially-Proven Solution

4 points

a year ago

169.

Show HN: Sptfw – (unofficial) Spotify wrapped, how mediocre is your taste? (github.com/fwttnnn)

3 points

5 months ago

170.

Show HN: UltraPlot 2.0 – semantic legends, better layouts, faster imports (github.com/Ultraplot)

3 points

4 months ago

171.

Show HN: We made a VS Code extension to recreate a debugger experience from logs (marketplace.visualstudio.com)

3 points

a year ago

172.

Show HN: Linkitall – create dependency-graphs of ideas (github.com/charstorm)

3 points

3 years ago

173.

Proton/electron mass ratio pure geometry – 10⁻¹³% error, zero free parameters

2 points

5 months ago

174.

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

2 points

a month ago

175.

Show HN: Helices Create a New Model of Deterministic Computation [pdf] (lambdalord.github.io)

2 points

a year ago

176.

Show HN: Aigr.id – Decentralized Internet of Intelligence (github.com/OpenCyberspace)

2 points

a year ago

177.

Show HN:I built a deterministic 10k-node VRP solver on a $100 phone

2 points

a month ago

178.

Show HN: Dracula-AI – A lightweight, async SQLite-backed Gemini wrapper (github.com/suleymanibis0)

2 points

3 months ago

179.

Show HN: Guido Scale – maturity model for SDD migration (github.com/GuiMiran)

2 points

3 months ago

180.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com/Shariq81)

2 points

3 months ago