Stories tagged as math – Mathematics
  1. 4
    Logic in Action: an open course in logic pdf education math logicinaction.org
    yonkeltron avatar via yonkeltron 3 days ago | cached | 2 comments
  2. 7
    PyMC3: probabilistic programming module for Python math python docs.pymc.io
    unbalancedparentheses avatar via unbalancedparentheses 6 days ago | cached | 2 comments
  3. 14
    Bayesian Deep Learning ai math programming twiecki.github.io
    unbalancedparentheses avatar via unbalancedparentheses 6 days ago | cached | no comments
  4. 58
    1/0 = 0 math hillelwayne.com
    hwayne avatar authored by hwayne 9 days ago | cached | 62 comments
  5. 2
    Functional Bits: Lambda Calculus based Algorithmic Information Theory pdf compsci math tromp.github.io
    rain1 avatar via rain1 9 days ago | cached | no comments
  6. 6
    A Visual, Intuitive Guide to Imaginary Numbers education math betterexplained.com
    nickpsecurity avatar via nickpsecurity 9 days ago | cached | 2 comments
  7. 4
    Explanation of Binary Arithmetic (1703) historical math leibniz-translations.com
    calvin avatar via calvin 9 days ago | cached | no comments
  8. 4
    On Automatically Proving the Correctness of math.h Implementations ☶ pdf formalmethods math programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 10 days ago | cached | no comments
  9. 12
    Legible Mathematics — Sketches of an interactive arithmetic for programming math glench.com
    pushcx avatar via pushcx 11 days ago | cached | 22 comments
  10. 7
    Herbie: Automatically Improving Floating Point Accuracy ☶ compsci math programming herbie.uwplse.org
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | no comments
  11. 5
    How many ways to design rock paper scissors lizard Spock? math johndcook.com
    pek avatar via pek 11 days ago | cached | 1 comment
  12. 7
    Lean Forward: Usable Computer-Checked Proofs and Computations for Number Theorists formalmethods math lean-forward.github.io
    pushcx avatar via pushcx 12 days ago | cached | no comments
  13. 2
    polyHédronisme – tool to construct and explore polyhedra math visualization levskaya.github.io
    nil avatar via nil 12 days ago | cached | no comments
  14. 3
    Visualizing an Assassin Puzzle math jeremykun.com
    signal-11 avatar via signal-11 13 days ago | cached | no comments
  15. 9
    Polyhedra Viewer math visualization polyhedra.tessera.li
    pushcx avatar via pushcx 13 days ago | cached | no comments
  16. 4
    Generating Random Points in a Sphere math karthikkaranth.me
    calvin avatar via calvin 14 days ago | cached | 1 comment
  17. 3
    How RSA works math programming yurichev.com
    nc avatar via nc 14 days ago | cached | no comments
  18. 11
    Life Lessons from Differential Equations math philosophy practices johndcook.com
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | 2 comments
  19. 1
    From singularities to graphs pdf math philosophy arxiv.org
    lainon avatar via lainon 16 days ago | cached | no comments
  20. 5
    [1807.04271] A quantum-inspired classical algorithm for recommendation systems math programming arxiv.org
    jstoja avatar via jstoja 17 days ago | cached | no comments
  21. 25
    Right and wrong ways to pick random points inside a sphere math blog.joeardent.net
    pushcx avatar via pushcx 20 days ago | cached | 11 comments
  22. 2
    The Perils of Floating Point math lahey.com
    friendlysock avatar via friendlysock 20 days ago | cached | no comments
  23. 32
    Is COBOL holding you hostage with Math? math programming medium.com
    pushcx avatar via pushcx 21 days ago | cached | 3 comments
  24. 6
    The Case for Teaching Functional Programming in Discrete Math (2011) ☶ pdf education math programming cs.wheaton.edu
    nickpsecurity avatar via nickpsecurity 22 days ago | cached | no comments
  25. 13
    Mathigon: Learn Mathematics math mathigon.org
    rain1 avatar via rain1 22 days ago | cached | no comments
Page 2 >>