1. 10
    Iverson's Algebra: An Algorithmic Treatment ☶ pdf apl historical math jsoftware.com
    lorddimwit avatar via lorddimwit 20 hours ago | cached | no comments
  2. 1
    Symbolic Computation with C++ pdf slides c++ math www-zeuthen.desy.de
    nickpsecurity avatar via nickpsecurity 29 hours ago | cached | no comments
  3. 3
    Modal Logic Playground math visualization rkirsling.github.io
    pushcx avatar via pushcx 43 hours ago | cached | no comments
  4. 52
    Fibonacci Hashing: The Optimization that the World Forgot (or: a Better Alternative to Integer Modulo) compsci math probablydance.com
    colin avatar via colin 3 days ago | cached | 14 comments
  5. 5
    List of Applications of Set Theory in Computer Science compsci formalmethods math quora.com
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | no comments
  6. 3
    Illustrating Mathematics using 3D Printers art cogsci design graphics math arxiv.org
    animatronic avatar via animatronic 7 days ago | cached | 1 comment
  7. 8
    Monte Carlo Integration Explanation in 1D math blog.demofox.org
    calvin avatar via calvin 7 days ago | cached | no comments
  8. 2
    Recursive Lambda Functions the Y-Combinator math programming sookocheff.com
    pek avatar via pek 8 days ago | cached | no comments
  9. 7
    The Paradox of the Proof (2013) math projectwordsworth.com
    adsouza avatar via adsouza 10 days ago | cached | 2 comments
  10. 2
    The Beginning of the Monte Carlo Method math fermatslibrary.com
    balajmarius avatar via balajmarius 13 days ago | cached | no comments
  11. 5
    The Beginning of the Monte Carlo Method (1987) pdf historical math fas.org
    calvin avatar via calvin 14 days ago | cached | 1 comment
  12. 23
    Markets are efficient if and only if P = NP ☶ pdf finance math arxiv.org
    pushcx avatar via pushcx 14 days ago | cached | 1 comment
  13. 2
    The Philosophy of Computational Complexity compsci math philosophy ristret.com
    LeoLambda avatar via LeoLambda 21 days ago | cached | no comments
  14. 5
    versilov/matrex - A blazing fast matrix library for Elixir/Erlang with C implementation using CBLAS elixir math github.com
    friendlysock avatar via friendlysock 21 days ago | cached | no comments
  15. 6
    Reinforcement Learning of Theorem Proving ai math arxiv.org
    sanxiyn avatar via sanxiyn 22 days ago | cached | no comments
  16. 14
    Theorem Proving in Lean ☶ formalmethods math leanprover.github.io
    bwr avatar via bwr 23 days ago | cached | 1 comment
  17. 5
    A memory-bound graph-theoretic proof-of-work system cryptocurrencies distributed math github.com
    readevalprint avatar via readevalprint 28 days ago | cached | 2 comments
  18. 23
    SmoothLife: Generalization of Conway's "Game of Life" to a continuous domain math python release github.com
    pushcx avatar via pushcx 29 days ago | cached | 6 comments
  19. 2
    Is the Square a Secure Polygon? math math3ma.com
    JordiGH avatar via JordiGH 1 month ago | cached | no comments
  20. 7
    Frink: Tool and Programming Language for Physical Calculations math programming frinklang.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  21. 9
    What is mathwashing? ai culture math mathwashing.com
    Shamar avatar via Shamar 1 month ago | cached | 25 comments
  22. 12
    The Axiom of Choice is Wrong math cornellmath.wordpress.com
    JordiGH avatar via JordiGH 1 month ago | cached | 9 comments
  23. 5
    what the Dunning-Kruger effect is and isn’t cogsci math talyarkoni.org
    friendlysock avatar via friendlysock 1 month ago | cached | no comments
  24. 2
    Understanding Gergonne's Card Trick - Python implementation and underlying mathematics math taranovk.github.io
    gandro avatar via gandro 1 month ago | cached | no comments
  25. 7
    EvilPlot — A combinator based plotting library for Scala math scala visualization medium.com
    tel avatar via tel 1 month ago | cached | 1 comment
Page 2 >>