espeed

73 ms·

1. 721.▲
   The system of integer functions (2017) [pdf](arxiv.org)

   2 points by espeed 8y ago|0 comments
2. 722.▲
   Libdivide: optimized integer division(github.com)

   2 points by espeed 8y ago|0 comments
3. 723.▲
   Feynman 100: Dick’s Tricks – Leonard Susskind [video](youtube.com)

   2 points by espeed 8y ago|0 comments
4. 724.▲
   Software Foundations: intro into mathematical underpinnings of reliable software(softwarefoundations.cis.upenn.edu)

   2 points by espeed 8y ago|0 comments
5. 725.▲
   Parinfer – Simpler Lisp Editing(shaunlebron.github.io)

   200 points by espeed 8y ago|82 comments
6. 726.▲
   by espeed 8y ago

   > Bernanke is the fed chairman NB: Bernanke [1] is not the fed chairman and hasn't been since 2014 when he was succeeded by Janet Yellen [2]. Jay Powell [3] is the current fed chair. [1] https://en.m.wikipedia.org/wi
7. 727.▲
   Fractal: a Gnome Matrix chat client(fedoramagazine.org)

   3 points by espeed 8y ago|0 comments
8. 728.▲
   by espeed 8y ago

   That's a good reason! The best kind :)
9. 729.▲
   by espeed 8y ago

   OT FYI: I just looked at your profile and noticed we have something in common. Your HND matches my DOB ~> 224
10. 730.▲
    by espeed 8y ago

    > i.e. adding this check (as a warning) to rustc doesn't look too hard and wouldn't break existing code. One point of distinction: Zig does not have compile-time warnings, only errors. Simplicity by design. Either it will compl
11. 731.▲
    by espeed 8y ago

    Right at about the 20m mark: https://youtu.be/Z4oYSByyRak?t=20m2s
12. 732.▲
    by espeed 8y ago

    There was a HN discussion ~4 months ago that touched on some of this: "Unsafe Zig Is Safer Than Unsafe Rust" https://news.ycombinator.com/item?id=16226235 Also see this previous thread on Rust's stdlib OutOfM
13. 733.▲
    by espeed 8y ago

    > I wonder if zig will ever pursue some sort of memory safety. That's exactly what Zig is designed for [1]. Andrew Kelley (andrewrk) discusses this in the talk. Zig is similar to Rust, but with memory safety designed into the core,
14. 734.▲
    Zig: programming language designed for robustness optimality and clarity [video](youtube.com)

    136 points by espeed 8y ago|70 comments
15. 735.▲
    by espeed 8y ago

    See the just released paper on Anna, which subsumes the related projects: Anna: A Crazy Fast, Super-Scalable, Flexibly Consistent KVS https://databeta.wordpress.com/2018/03/09/anna-kvs/ Discussion: http
16. 736.▲
    DeepMind: From Generative Models to Generative Agents [video](youtube.com)

    194 points by espeed 8y ago|13 comments
17. 737.▲
    by espeed 8y ago

    He didn't start out getting special deals. This is an example of the Pareto Principle [1] / Matthew Principle [2], which appears to be a natural law, an organizing principle like gravity. [1] https://en.wikipedia.org&#x
18. 738.▲
    by espeed 8y ago

    Buffett's field of study is the finance and economic system. It should be easy to see that one of the things that separates Warren Buffett from the rest of us is that he has a unique perspective of the financial world – he sees all of
19. 739.▲
    by espeed 9y ago

    Similarly, see Pavel Grinfeld's argument [2] advocating the vector basis L = {1, x, x²-1/3} w.r.t. Legendre polynomials. [1] https://en.wikipedia.org/wiki/Pavel_Grinfeld [2] MathTheBeautiful: Why {1,x,x²} Is
20. 740.▲
    The Dimensional Ladder(math.ucr.edu)

    2 points by espeed 9y ago|0 comments
21. 741.▲
    From Doom and Gloom to BOOM and Bloom (2016) [video](youtube.com)

    14 points by espeed 9y ago|1 comments
22. 742.▲
    Gerald Jay Sussman on Flexible Systems, the Power of Generic Operations [video](youtube.com)

    16 points by espeed 9y ago|0 comments
23. 743.▲
    Sparse Grids in a Nutshell [pdf](garcke.ins.uni-bonn.de)

    2 points by espeed 9y ago|0 comments
24. 744.▲
    Twenty Years of Number Theory (1998) [video](youtube.com)

    62 points by espeed 9y ago|4 comments
25. 745.▲
    3Blue1Brown: The stunning geometry behind this surprising equation(youtube.com)

    7 points by espeed 9y ago|1 comments
26. 746.▲
    Why Systolic Architectures? – HT Kung (1982) [pdf](eecs.harvard.edu)

    3 points by espeed 9y ago|0 comments
27. 747.▲
    Google Trillian: A Verifiable Data Structure Architecture for Large Merkle Trees(github.com)

    17 points by espeed 9y ago|0 comments
28. 748.▲
    The Impact of the Lambda Calculus (1997) [pdf](www-users.mat.umk.pl)

    1 points by espeed 9y ago|0 comments
29. 749.▲
    OR-Tools: Google Optimization Tools Constraint Solver(developers.google.com)

    4 points by espeed 9y ago|0 comments
30. 750.▲
    There's Plenty of Boole at the Bottom: Reversible CA Against Information Entropy [pdf](ilabs.it)

    2 points by espeed 9y ago|0 comments