1. Programming Language Fundamentals in Agda  plfa.github.io
    2026-10-19 06:12:44   #math #plt #new
  2. OpenAI shares mathematics research catalogue  github.com
    2026-10-07 03:16:26   #math #ai #code #new
  3. Consistent Hashing Proofs  ch.terabyteoff.com
    2026-09-19 14:24:51   #compsci #math #new
  4. A Severe Misalignment of AI in Mathematics  mathandai.org
    2026-09-11 19:09:22   #math #vibecoding #new
  5. Logic for Programmers  logicforprogrammers.com
    2026-07-30 12:24:16   #math #programming #new
  6. L-system  en.wikipedia.org
    2026-06-26 20:37:27   #math #logiclangs #wiki
  7. Network Science (2017)  networksciencebook.com
    2026-05-27 15:47:16   #book #math #new
  8. Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding  gist.github.com
    2026-04-02 16:25:28   #python #math #ai #plt #vibecoding #gist
  9. Raphtory: The temporal graph engine  www.raphtory.com
    2026-03-20 09:57:55   #databases #math #new
  10. Vibecoding Challenge 2: The Five Feathers (Spring 2026)  gist.github.com
    2026-03-02 15:27:13   #math #ai #plt #vibecoding #gist
  11. Lambda cube  en.wikipedia.org
    2026-02-02 07:28:39   #math #wiki
  12. CSLib: A Focused Effort on Formalizing Computer Science in Lean  www.cslib.io
    2026-01-22 12:50:52   #compsci #math #formalmethods #new
  13. Play the Monty Hall game  monty.donk.systems
    2025-12-26 15:32:38   #math #games #new
  14. normals_revisited: revisiting a known normal transformation in computer graphics (2019)  github.com
    2025-12-16 11:51:47   #math #graphics #code #new
  15. Nonpareil: High-Fidelity HP Calculator Simulator  nonpareil.brouhaha.com
    2025-11-23 20:13:13   #c #math #new
  16. lolremez: Polynomial Approximations using the Remez Algorithm  github.com
    2025-10-04 16:10:43   #math #performance #plt #code #new
  17. Jovial Reverse Polish Notation Calculators  jrpn.jovial.com
    2025-08-19 20:10:33   #reversing #math #new
  18. polycode: Encode a binary file as a rational polynomial function  codeberg.org
    2025-07-18 12:28:26   #math #rust #code #new
  19. Elliptic curves as art  elliptic-curves.art
    2025-06-19 08:52:49   #math #art #new
  20. Binary Lambda Calculus  gist.github.com
    2025-06-06 17:07:56   #math #plt #gist
  21. Summer of Math Exposition 4  some.3b1b.co
    2025-05-06 02:54:31   #math #education #new
  22. Correct application of the Lanczos filter in 2D  github.com
    2025-05-02 06:46:22   #math #graphics #code #new
  23. A5 - Pentagonal Spatial Index  a5geo.org
    2025-04-22 19:20:13   #design #math #new
  24. Matrix Calculus for Machine Learning and Beyond  github.com
    2025-04-17 16:59:35   #math #education #ai #code #new
  25. CORE-MATH: high performance open-source mathematical functions with correct rounding  core-math.gitlabpages.inria.fr
    2025-04-12 15:52:04   #math #new

< 1 / 3 >