Search: github.com/Marthym | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: Elltwo – A browser-based tool for mathy markdown composition (github.com/iamlemec)

5 points

9 years ago

122.

DAC: An Innovative Prompting Technique to Enhance Mathematical Accuracy in LLMs (github.com/JasonAlbertEinstien)

5 points

a year ago

123.

DAC: Revolutionizing LLM Accuracy in Mathematical Applications (github.com/JasonAlbertEinstien)

5 points

a year ago

124.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (github.com/deepseek-ai)

5 points

6 months ago

125.

What if the structure of post-capitalism could be mathematically proven? (github.com/contribution-protocol)

5 points

10 months ago

126.

Educational, mathematically transparent, well documented cryptography in Rust (github.com/pluto)

5 points

2 years ago

127.

Prime number sets as mathematical sequence based on sine products (github.com/8HoLoN)

5 points

4 years ago

128.

Toward a new mathematical theory of computation.

5 points

17 years ago

129.

Writing Mathematical Expressions in Markdown (docs.github.com)

5 points

4 years ago

130.

C Implementation of Gregory Chaitin's the Limits of Mathematics (github.com/poppingtonic)

5 points

4 years ago

131.

Reticule: A new way to write and explore mathematical texts (github.com/yishn)

5 points

5 years ago

132.

Show HN: Benchmarking C++ Mathematical Expression Parsers (github.com/ArashPartow)

5 points

7 years ago

133.

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

5 points

7 years ago

134.

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

5 points

9 years ago

135.

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

4 points

3 years ago

136.

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

4 points

5 months ago

137.

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

4 points

a year ago

138.

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

4 points

3 years ago

139.

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

4 points

13 years ago

140.

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

4 points

a year ago

141.

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

4 points

2 years ago

142.

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

4 points

2 years ago

143.

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

4 points

6 years ago

144.

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

4 points

8 years ago

145.

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

3 points

7 years ago

146.

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

3 points

5 months ago

147.

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

3 points

10 years ago

148.

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

3 points

8 years ago

149.

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

3 points

8 years ago

150.

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

3 points

12 years ago