espeed

58 ms·

1. 571.▲
   Representation theory and geometry – Geordie Williamson (ICM2018) [video](youtube.com)

   4 points by espeed 8y ago|1 comments
2. 572.▲
   Matrix Groups [pdf](faculty.bard.edu)

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

   Here's the code: https://github.com/nykh/cs242-lambda-pi
4. 574.▲
   Simple λΠ-interpreter for matrix computation [pdf](cs242.stanford.edu)

   5 points by espeed 8y ago|1 comments
5. 575.▲
   Network Information Flow (2000) [pdf](pdos.csail.mit.edu)

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

   Carl Jung termed the phenomenon synchronicity [1], "which holds that events are 'meaningful coincidences' if they occur with no causal relationship yet seem to be meaningfully related." Google the philosophy of informa
7. 577.▲
   Google’s Secret and Linear Algebra (2004) [pdf](verso.mat.uam.es)

   146 points by espeed 8y ago|18 comments
8. 578.▲
   by espeed 8y ago

   My burgeoning conjecture (as hinted at in a previous comment) is that all can be unified, transformed, and optimized for modern hardware under the matrix model of computation -- type theory, the lambda calculus, the actor model, neural nets
9. 579.▲
   by espeed 8y ago

   Philip Wadler provides an in depth discussion on the Curry–Howard correspondence [0] in his paper Propositions as Types [1], and he has given several talks under the same name that are on YouTube. The talk Prof Wadler gave at Strange Loop i
10. 580.▲
    Implementing Push-Pull Efficiently in GraphBLAS(arxiv.org)

    2 points by espeed 8y ago|0 comments
11. 581.▲
    by espeed 8y ago

    The significance of this paper is not about learning the λ-calculus. Rather, to me the significance of this paper is that it presents a novel way of "implementing the lambda calculus in an algebraic system" and provides a correspo
12. 582.▲
    Algebra and the Lambda Calculus (1993)(people.csail.mit.edu)

    196 points by espeed 8y ago|39 comments
13. 583.▲
    Cartesian Cubical Computational Type Theory: Constr. Reasoning with Paths and Eq [pdf](cs.cmu.edu)

    1 points by espeed 8y ago|0 comments
14. 584.▲
    The Geometry of Classical and Quantum Fields [pdf](libermath.org)

    4 points by espeed 8y ago|0 comments
15. 585.▲
    It's Just Matrix Multiplication: Notation for Weaving [video](youtube.com)

    2 points by espeed 8y ago|0 comments
16. 586.▲
    Models of Computation: Exploring the Power of Computing (Full Book)(cs.brown.edu)

    2 points by espeed 8y ago|0 comments
17. 587.▲
    by espeed 8y ago

    NB: Better to refrain from saying stuff like "it completely misses the point" unless you are certain you understand the point beyond the level presented.
18. 588.▲
    by espeed 8y ago

    NB: the file command tries to identify file types via file sigs (magic numbers) stored in /usr/share/file/magic, for more mysterious file types or partials, you'll need to use one of the other methods.
19. 589.▲
    The Periodic Table of Data Structures [pdf](stratos.seas.harvard.edu)

    4 points by espeed 8y ago|0 comments
20. 590.▲
    Generalized Data Structure Synthesis (SIGSOFT Distinguished Paper) [pdf](homes.cs.washington.edu)

    4 points by espeed 8y ago|0 comments
21. 591.▲
    Winners Take All: The Elite Charade of Changing the World [video](youtube.com)

    265 points by espeed 8y ago|124 comments
22. 592.▲
    File Signatures Table(garykessler.net)

    35 points by espeed 8y ago|2 comments
23. 593.▲
    AI for Imperfect-Information Games: Beating Top Humans in No-Limit Poker(microsoft.com)

    2 points by espeed 8y ago|0 comments
24. 594.▲
    by espeed 8y ago

    NB: I suspect the number you are thinking of is a 2530 digit sequence on a 4-digit lock, not 153 on 5... https://en.wikipedia.org/wiki/De_Bruijn_sequence#Uses
25. 595.▲
    by espeed 8y ago

    Yes, and in this case the sequence is specifically the "classic" De Bruijn sequence [1]; however, there are other sequences that bear De Bruin's name, such as the Moser de Bruijn sequence, which is the one I reference most du
26. 596.▲
    John Baez: From the Icosahedron to E8(johncarlosbaez.wordpress.com)

    2 points by espeed 8y ago|0 comments
27. 597.▲
    DeepSpec(deepspec.org)

    2 points by espeed 8y ago|0 comments
28. 598.▲
    Vellvm – Verifying the LLVM [video](youtube.com)

    29 points by espeed 8y ago|3 comments
29. 599.▲
    by espeed 8y ago

    Type-driven development, meta languages, specs, provably correct code, and automatic code generation were some of the big overlapping themes at Strange Loop [1] this year. All the talks posted online this week [2], and I've posted link
30. 600.▲
    A Programming Model and Foundation for Lineage-Based Distributed Computation [pdf](infoscience.epfl.ch)

    2 points by espeed 8y ago|0 comments