VirtualTam's bookmarks

21. The Coq Proof Assistant

    2019-02-08
    algorithm logic mathematics proof software

    Permalink
    • https://github.com/coq/coq
22. The Cryptopals Crypto Challenges

    2019-01-30
    challenge cryptography hack mathematics programming security

    Permalink
    • https://blog.pinboard.in/2013/04/the_matasano_crypto_challenges/
23. SpeedCrunch - a high-precision scientific calculator featuring a fast, keyboard-driven user interface

    2018-12-27
    calculator mathematics scientific user-interface/qt

    Permalink
    • https://bitbucket.org/heldercorreia/speedcrunch/
24. time series - Simple way to algorithmically identify a spike in recorded errors - Cross Validated

    2018-10-30
    mathematics observability observability/time-series observability/time-series/prometheus statistics

    Permalink
25. Gonum, a set of packages designed to make writing numerical and scientific algorithms

    2018-09-21
    data-science mathematics programming/go programming/library science

    Permalink
26. Why Do We Use Fibonacci Numbers to Estimate User Stories? - Scrum Inc

    2018-02-24
    agile fibonacci mathematics sequence

    Permalink
    • https://www.rand.org/topics/delphi-method.html
    • https://dl.acm.org/citation.cfm?id=2083397
    • http://www.yakyma.com/2012/05/why-progressive-estimation-scale-is-so.html
    • https://www.quora.com/Why-does-the-Fibonacci-sequence-repeat-in-nature
27. KaTeX – The fastest math typesetting library for the web

    2017-11-22
    mathematics/equation programming/latex web

    Permalink
28. Mandelmap

    2017-09-18
    image/fractal mandelbrot map mathematics

    Permalink
29. The first page of my applied math textbook's chapter on rings : math

    2017-09-17
    fun lord mathematics rings

    Permalink
30. neozhaoliang/pywonderland - A Tour in the Wonderland of Math with Python

    2017-03-07
    generation graphics/3d image image/fractal mathematics programming/python tile

    Permalink

    via https://www.reddit.com/r/Python/comments/5xw0f7/wow_i_finally_managed_to_make_my_modest_script/ via https://www.reddit.com/r/Python/comments/5xasoe/beautiful_reaction_diffusion_simulation_with/

31. What Music Really İs

    2017-02-05
    mathematics microtonal music research wtf

    Permalink

    "The Manual for The 3rd Millennium Musician, Spiritual Seeker and Free Energy Discoverer"

32. What I learned from writing six functions that all did the same thing

    2016-12-20
    array loop mathematics programming/javascript

    Permalink
33. Emacs org-mode examples and cookbook

    2016-11-21
    diagram ditaa editor/emacs mathematics/equation mode org plantuml software-engineering/uml

    Permalink
34. STLport: An Interview with A. Stepanov

    2016-09-04
    algorithm generic mathematics programming programming/c++ programming/library stl template

    Permalink
35. W3C Math Home

    2016-03-27
    mathematics mathml notation physics programming/html symbol web

    Permalink

    https://en.wikipedia.org/wiki/MathML

36. Euclidean Rhythms

    2016-03-22
    algorithm audio bjorklund euclidean generator music/rhythm music/rhythm/polyrhythm programming/java programming/python toussaint world

    Permalink
    • "Euclidean Rhythms" on tumblr: https://www.tumblr.com/search/euclidean%20rhythms
    • http://cgm.cs.mcgill.ca/~godfried/rhythm-and-mathematics.html
    • http://unthingable.eat-up.org/posts/2014/Jan/26/euclidean-rhythm-generator-in-clojure/
    • https://github.com/heuermh/Euclidean-Pattern-Generator
    • https://github.com/ideoforms/isobar
    • http://blog.brianhouse.net/post/6470884605
    • https://intimateandintricate.wordpress.com/2014/11/13/euclidean-rhythms-python-and-earsketch/
37. Flatland: The Movie trailer

    2015-08-26
    flat flatland graphics/2d mathematics science

    Permalink

    http://www.geom.uiuc.edu/~banchoff/Flatland/

38. Uneventronome

    2015-01-04
    instrument/metronome mathematics music/progressive-rock music/rhythm music/rhythm/uneven

    Permalink
39. LibreCalc | A free (as in speech) calculator, made with free software, using free software, and released as open hardware

    2014-12-10
    calculator embedded linux mathematics open source

    Permalink

    https://github.com/LibreCalc/ti

40. Ultra Vomit - Mountains of Maths

    2014-11-28
    black immortal mathematics metal might mountain parody

    Permalink

    Fait chier, j'ai pas fait mes exos ! C'est sûr, j'vais passer au tableau !