espeed

46 ms·

1. 451.▲
   Finite of sense and infinite of thought [video](youtube.com)

   22 points by espeed 8y ago|2 comments
2. 452.▲
   William Cook: Information, Computation, Optimization [video](youtube.com)

   40 points by espeed 8y ago|0 comments
3. 453.▲
   Groute: An Asynchronous Multi-GPU Programming Model for Irregular Computations [pdf](users.ices.utexas.edu)

   3 points by espeed 8y ago|0 comments
4. 454.▲
   Foundations for Efficient and Expressive Differentiable Programming [pdf](papers.nips.cc)

   80 points by espeed 8y ago|14 comments
5. 455.▲
   Holistic specifications for robust code [video](youtube.com)

   7 points by espeed 8y ago|0 comments
6. 456.▲
   Topology of Numbers(pi.math.cornell.edu)

   153 points by espeed 8y ago|20 comments
7. 457.▲
   The coolest way to generate binary strings (2013) [pdf](researchgate.net)

   34 points by espeed 8y ago|6 comments
8. 458.▲
   by espeed 8y ago

   Three years ago I got a similar call to build a user-facing knowledge graph for the region. Effectively replicating Freebase, backed by the regional telecom and the Royal Family. It was likely the same group that approached you because I wa
9. 459.▲
   by espeed 8y ago

   Have you heard that Idris 2 is implementated in Scheme, and runs faster than when it was on the GHC. Check out Edwin's tweet stream, he's loving Scheme and can't stop raving about it. The idea of Idris on Scheme is so sweet a
10. 460.▲
    by espeed 8y ago

    For more on trits, see Mihai's 2010 paper... An Alternative to Arithmetic Coding with Local Decodability (2010) [pdf] http://people.csail.mit.edu/mip/papers/trits/paper.pdf Changing base without losing s
11. 461.▲
    Neural Networks and Graph Algorithms with Next-Generation Processors [pdf](osti.gov)

    57 points by espeed 8y ago|1 comments
12. 462.▲
    Succincter (2008) [pdf](people.csail.mit.edu)

    52 points by espeed 8y ago|5 comments
13. 463.▲
    Tensor Decomposition: A Mathematical Tool for Data Analysis [video](youtube.com)

    2 points by espeed 8y ago|0 comments
14. 464.▲
    Let There Be Light, and Thus, Time (2015) [video](youtube.com)

    41 points by espeed 8y ago|10 comments
15. 465.▲
    Teddy Atlas on What It Means to Be a Fighter [video](youtube.com)

    1 points by espeed 8y ago|0 comments
16. 466.▲
    by espeed 8y ago

    Good recommendations. In addition to the UT, MIT and Stanford courses you recommend above, for developing your visual intuition, 3Blue1Brown's Essence of Linear Algebra video series is second to none. [0] Another good one is MathTheBea
17. 467.▲
    MIT 15.071: The Analytics Edge (Spring 2017 Lectures) [video](youtube.com)

    2 points by espeed 8y ago|0 comments
18. 468.▲
    Machine Learning by 2D Hierarchical Tensor Networks: A Quantum Deep Architecture(arxiv.org)

    2 points by espeed 8y ago|0 comments
19. 469.▲
    Backprop as Functor: A compositional perspective on supervised learning [pdf](arxiv.org)

    2 points by espeed 8y ago|0 comments
20. 470.▲
    by espeed 8y ago

    Yes, thanks -- my browser glitched and auto-posted before it captured the URL... http://www.axler.net/DwD.html
21. 471.▲
    Down with Determinants (1995)

    3 points by espeed 8y ago|2 comments
22. 472.▲
    The Stony Brook Algorithm Repository(algorist.com)

    39 points by espeed 8y ago|1 comments
23. 473.▲
    by espeed 8y ago

    NB: Rosette 3.0 has been released: https://github.com/emina/rosette/blob/master/NOTES.md Also, the 2017 Clojure/West talk "Synthesis and Verification for All" [1] presented by UW Prof Emin
24. 474.▲
    Rosette: Solver-aided programming language(emina.github.io)

    3 points by espeed 8y ago|1 comments
25. 475.▲
    SPIRAL: Extreme Performance Portability (IEEE 2018 Preprint) [pdf](users.ece.cmu.edu)

    4 points by espeed 8y ago|0 comments
26. 476.▲
    by espeed 8y ago

    Its relation to the j-invariant, modular forms, Steiner System (5,8,24), Binary Golay Code G24, Mathieu Group M24, the Leech Lattice, the Monster Group, Monstrous Moonshine, and the Miracle Octad Generator... [1] https://en.wikip
27. 477.▲
    MIT TabulaROSA: Tabular OS Arch for Massively Parallel Heterogeneous Comp Engine(arxiv.org)

    33 points by espeed 8y ago|2 comments
28. 478.▲
    The Octad Graph(win.tue.nl)

    14 points by espeed 8y ago|2 comments
29. 479.▲
    J-invariant(en.wikipedia.org)

    3 points by espeed 8y ago|0 comments
30. 480.▲
    The Craft of Writing Effectively (2014) [video](youtube.com)

    3 points by espeed 8y ago|0 comments