Search: github.com/mrThe | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: Runtime Mathematical Expression Engine Benchmark (github.com/ArashPartow)

5 points

7 years ago

152.

High Performance Mathematical Expression Parser Benchmarks (github.com/ArashPartow)

5 points

9 years ago

153.

Strong reasoning skills and mathematical thinking is important to program well? (github.com/spamegg1)

4 points

3 years ago

154.

Nvidia Brute-Force Bubble: Why 90% of Physics AI Compute Is a Mathematical Waste (github.com/isaac-sim)

4 points

5 months ago

155.

Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification

4 points

a year ago

156.

Llemma: An open language model for mathematics (github.com/EleutherAI)

4 points

3 years ago

157.

Mathematics & Computer Science Class Notes (github.com/mresposito)

4 points

13 years ago

158.

A mathematical proof assistant (v2) (github.com/teorth)

4 points

a year ago

159.

SymCalc-Ruby: Symbolic mathematics and calculus in Ruby (github.com/symcalc)

4 points

2 years ago

160.

Show HN: I created the mathematics learning path for ML and DS (github.com/sithu-khant)

4 points

2 years ago

161.

Recreated gerbers for the Supermicro X11SSH-F motherboard (github.com/mithro)

4 points

3 years ago

162.

Curv – A language for making art using mathematics (github.com/curv3d)

4 points

6 years ago

163.

Scaffold: An open Hardware motherboard for Hardware security (github.com/Ledger-Donjon)

4 points

7 years ago

164.

Visby: a mathematical and quantitative library for Clojure (github.com/ribelo)

4 points

8 years ago

165.

Show HN: sketch2math – convert any sketch to a single mathematical equation (github.com/jtguibas)

3 points

7 years ago

166.

Request for comments: mathematical paper on naturist venues (SFW) [pdf] (github.com/james-junghanns)

3 points

5 months ago

167.

Di-ary – mathematical note-taking app built on Ruby on Rails, React and Redux (github.com/mkalygin)

3 points

10 years ago

168.

MBR Based Fuzzer for Testing Bios Services / System Motherboards (github.com/nstarke)

3 points

2 years ago

169.

Show HN: Ledtop – htop, but for your motherboard or case LEDs (github.com/keredson)

3 points

5 years ago

170.

Lenia – Mathematical Life Forms (github.com/Chakazul)

3 points

8 years ago

171.

Simplify – Rewrite a mathematical expression in it's simplest terms (github.com/IanS5)

3 points

8 years ago

172.

Clojuratica = Clojure + Mathematica (powerful parallel data analysis) (github.com/bsima)

3 points

12 years ago

173.

Show HN: MoaV – Mother of all VPNs (github.com/shayanb)

3 points

4 months ago

174.

Terence Tao: A collection of optimization problems in mathematics (github.com/teorth)

3 points

4 months ago

175.

Show HN: Mother May I? – Auto-approve safe Bash commands in Claude Code (github.com/dgerlanc)

3 points

4 months ago

176.

Applied Mathematics Notebooks Repository:Collection of Google Colab Notebooks (github.com/GirolamoOddo)

3 points

5 months ago

177.

Recreated PCB gerber files for Supermicro X11SSH-F motherboard (github.com/mithro)

3 points

6 months ago

178.

Show HN: Framework for LLM Iterative Refinement Until Mathematical Convergence (github.com/hankbesser)

3 points

a year ago

179.

Hey, just created a finite mathematical system from unique first principles (github.com/probabilistic-minds-consortium)

3 points

a year ago

180.

Univalent Mathematics: Symmetry Book (github.com/UniMath)

3 points

3 years ago