lainon

18 ms·

1. 151.▲
   The Problem of Thinking Too Much (2003) [pdf](statweb.stanford.edu)

   255 points by lainon 7y ago|82 comments
2. 152.▲
   Early History and Perspectives of Automated Deduction (2007) [pdf](intellektik.de)

   2 points by lainon 7y ago|0 comments
3. 153.▲
   Learning to Evolve(arxiv.org)

   1 points by lainon 7y ago|0 comments
4. 154.▲
   What We’ve Built Is a Computational Language(blog.stephenwolfram.com)

   2 points by lainon 7y ago|3 comments
5. 155.▲
   A Mathematical Introduction to Robotic Manipulation (1994) [pdf](pdfs.semanticscholar.org)

   3 points by lainon 7y ago|0 comments
6. 156.▲
   IBM Unveils Beta of Next Generation Quantum Development Platform(ibm.com)

   1 points by lainon 7y ago|0 comments
7. 157.▲
   On the Pitfalls of Measuring Emergent Communication(arxiv.org)

   2 points by lainon 7y ago|0 comments
8. 158.▲
   For Cybersecurity, Computer Science Must Rely on the Opposite of Gödel’s Results(philsci-archive.pitt.edu)

   1 points by lainon 7y ago|0 comments
9. 159.▲
   Fault-tolerant quantum computation with few qubits (2018)(nature.com)

   1 points by lainon 7y ago|0 comments
10. 160.▲
    TLS-Attacker(github.com)

    1 points by lainon 7y ago|0 comments
11. 161.▲
    Breaking Android Security Mechanisms via Malicious Bluetooth Peripherals(ndss-symposium.org)

    3 points by lainon 7y ago|0 comments
12. 162.▲
    Pythia: Identifying Dangerous Data-Flows in Django-Based Applications [pdf](dimitro.gr)

    1 points by lainon 7y ago|0 comments
13. 163.▲
    XJsnark – A high-level framework for developing efficient zk-SNARK circuits(github.com)

    2 points by lainon 7y ago|0 comments
14. 164.▲
    Physicist's Journeys Through the AI World – A Topical Review(arxiv.org)

    2 points by lainon 7y ago|0 comments
15. 165.▲
    EDVR: Video Restoration with Enhanced Deformable Convolutional Networks(xinntao.github.io)

    1 points by lainon 7y ago|0 comments
16. 166.▲
    Visorsurf: A Hardware Platform for Software-Driven Functional Metasurfaces(visorsurf.eu)

    1 points by lainon 7y ago|0 comments
17. 167.▲
    Spiking NN Modelling Approach Reveals How Mindfulness Training Rewires the Brain(nature.com)

    2 points by lainon 7y ago|0 comments
18. 168.▲
    A Phenomenology of Professional Failure [pdf](philpapers.org)

    2 points by lainon 7y ago|0 comments
19. 169.▲
    Chronus Quantum(chronusquantum.org)

    1 points by lainon 7y ago|0 comments
20. 170.▲
    A Denotational Engineering of Programming Languages(arxiv.org)

    2 points by lainon 7y ago|0 comments
21. 171.▲
    TensorNetwork: A Library for Physics and Machine Learning(arxiv.org)

    2 points by lainon 7y ago|0 comments
22. 172.▲
    Principles of Information Storage in Small-Molecule Mixtures(arxiv.org)

    3 points by lainon 7y ago|0 comments
23. 173.▲
    The Hard Problem of Consciousness(iep.utm.edu)

    3 points by lainon 7y ago|0 comments
24. 174.▲
    Other Minds(plato.stanford.edu)

    17 points by lainon 7y ago|1 comments
25. 175.▲
    Computer Science and Metaphysics: A Cross-Fertilization [pdf](mally.stanford.edu)

    42 points by lainon 7y ago|4 comments
26. 176.▲
    Microsoft Quantum Development Kit Samples(github.com)

    2 points by lainon 7y ago|0 comments
27. 177.▲
    NWChem: Open-Source High-Performance Computational Chemistry(nwchem-sw.org)

    2 points by lainon 7y ago|0 comments
28. 178.▲
    4 Years of EU Cookie Law: Results and Lessons Learned [pdf](petsymposium.org)

    1 points by lainon 7y ago|0 comments
29. 179.▲
    Numerical Tours of Data Sciences(numerical-tours.com)

    1 points by lainon 7y ago|0 comments
30. 180.▲
    Reconciling High-Level Optimizations and Low-Level Code in LLVM (2018) [pdf](cs.utah.edu)

    2 points by lainon 7y ago|0 comments