Search: github.com/mrThe | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

ITX-Llama (Vortex86EX ITX Motherboard) (github.com/eivindbohler)

21 points

2 years ago

122.

Mathematics Resources for Engineers (github.com/yewalenikhil65)

21 points

5 years ago

123.

We are open sourcing The Mathematical Universe (github.com/UOR-Foundation)

14 points

8 months ago

124.

"The mother of all demo apps" (github.com/gothinkster)

14 points

2 years ago

125.

Show HN: Expreduce 0.2, a free Mathematica-compatible CAS written in Go (github.com/corywalker)

14 points

9 years ago

126.

Golden Algebra: A unifying mathematical framework (github.com/TristenHarr)

13 points

a year ago

127.

Show HN: C++ Mathematical Expression Parser and Evaluation Benchmark (github.com/ArashPartow)

10 points

8 years ago

128.

Show HN: A mathematical proof that more dirty features can beat fewer clean ones (github.com/tjleestjohn)

9 points

3 months ago

129.

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

9 points

6 months ago

130.

Code for engineers, Comments for mathematicians (github.com/deckar01)

8 points

12 years ago

131.

Show HN: PolymurHash, a fast hash with a mathematically proven collision rate (github.com/orlp)

8 points

3 years ago

132.

Show HN: A mathematical solution to any Game of Life variation (github.com/fibo)

7 points

11 years ago

133.

Show HN: Mec.py Mathematical Expression Calculator (github.com/kuesji)

7 points

6 years ago

134.

Math-as-code: a cheat-sheet for mathematical notation in code form (github.com/Jam3)

7 points

10 years ago

135.

Dual SSI EEB motherboards PC case parametrically designed in SolveSpace (github.com/nazar-pc)

6 points

3 years ago

136.

Show HN: UltraCompress – first mathematically lossless 5-bit LLM compression (github.com/sipsalabs)

6 points

a month ago

137.

Deep Learning for Symbolic Mathematics (github.com/facebookresearch)

6 points

6 years ago

138.

Proof-engine A mathematical rendering engine for Rust

5 points

2 months ago

139.

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

5 points

a year ago

140.

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

5 points

a year ago

141.

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

5 points

6 months ago

142.

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

5 points

10 months ago

143.

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

5 points

2 years ago

144.

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

5 points

4 years ago

145.

Toward a new mathematical theory of computation.

5 points

17 years ago

146.

System76 Virgo GPLv3 Laptop Motherboard (github.com/system76)

5 points

3 years ago

147.

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

5 points

4 years ago

148.

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

5 points

4 years ago

149.

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

5 points

5 years ago

150.

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

5 points

7 years ago