Search: github.com/Marthym | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Mathematical Foundations of Reinforcement Learning (github.com/MathFoundationRL)

424 points

a year ago

62.

Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis (github.com/gjoncas)

2 points

4 years ago

63.

Toasted Marshmallow – Marshmallow's Great API Made 15X Faster (github.com/lyft)

2 points

9 years ago

64.

How to get a solid mathematics base using Functional Programming (github.com/ryukinix)

2 points

10 years ago

65.

A computational algebra system in Smalltalk (github.com/len)

2 points

10 years ago

66.

Ask HN: Why Chrome still has no MathML support?

3 points

7 years ago

67.

How to Model a Problem (with Math) (petemichaud.github.com)

2 points

13 years ago

68.

Show HN: Cryptography-to-Math (github.com/gabrielg)

1 point

11 years ago

69.

Finite math system, verified in Coq – for theory nerds and alt. IT ppl (github.com/probabilistic-minds-consortium)

3 points

10 months ago

70.

India math textbooks and problems with solutions (github.com/srigalibe)

3 points

7 years ago

71.

Show HN: CPU-based Neural Net. Zero floats. Returns "I don't know" (github.com/probabilistic-minds-consortium)

1 point

4 months ago

72.

Hacker School: Day One (marthakelly.github.com)

1 point

14 years ago

73.

Show HN: Grade books and problems (with solutions) to brush up on math (github.com/srigalibe)

1 point

7 years ago

74.

Show HN: Frozen Function-agnostic goldenratio calculus (pip install phi-engine) (github.com/Purrplexia)

1 point

6 months ago

75.

Show HN: Instant Calculus: frozen, function-agnostic, arbitrary-precision GPLv3 (github.com/Purrplexia)

1 point

6 months ago

76.

Code for a Programmer's Introduction to Mathematics (github.com/pim-book)

2 points

8 years ago

77.

Show HN: A P2P Contribution-Based Protocol for Civic Trust (github.com/contribution-protocol)

3 points

10 months ago

78.

Woxi: Wolfram Mathematica Reimplementation in Rust (github.com/ad-si)

350 points

3 months ago

79.

Robotics 501: Mathematics for Robotics (github.com/michiganrobotics)

278 points

4 years ago

80.

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

231 points

6 months ago

81.

Penrose: Create diagrams by typing mathematical notation in plain text (github.com/penrose)

231 points

7 years ago

82.

Mathics 7.0 – Open-source alternative to Mathematica (github.com/Mathics3)

223 points

a year ago

83.

A cheat-sheet for mathematical notation in code form (github.com/Jam3)

199 points

5 years ago

84.

Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)

188 points

a year ago

85.

Penrose: Create diagrams by typing mathematical notation in plain text (github.com/penrose)

184 points

6 years ago

86.

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

154 points

6 years ago

87.

Curv: A language for making art using mathematics (github.com/doug-moen)

152 points

7 years ago

88.

Show HN: MathB.in – Mathematics pastebin written in Common Lisp (github.com/susam)

134 points

4 years ago

89.

Mathpad: A mathematical keypad for students and professionals (github.com/Summa-Cogni)

126 points

a year ago

90.

Show HN: Advanced Mathematics Library for Node.js and JavaScript (github.com/sjkaliski)

123 points

13 years ago