HN Explorer

bmc7505

↗ HN profile [ 129 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Optimization Constants in Mathematics (teorth.github.io)
    2 points 0
  2. Towards a Linear-Algebraic Hypervisor (arxiv.org)
    1 points 0
  3. Tetris Is Hard with Just One Piece Type (arxiv.org)
    3 points 0
  4. Yet another catalogue of fast matrix multiplication algorithms (fmm.univ-lille.fr)
    1 points 0
  5. Show HN: TidyPython – Real-time syntax repair for Python (tidyparse.github.io)
    1 points 0
  6. Introduction to Linear Types (austral-lang.org)
    2 points 0
  7. Show HN: Tidyparse – Real-time context-free syntax repair (tidyparse.github.io)
    2 points 0
  8. RE#: High Performance Derivative-Based Regex Matching (ieviev.github.io)
    2 points 1
  9. Amplifying human performance in combinatorial competitive programming (arxiv.org)
    2 points 0
  10. Show HN: Tidyparse: Real-time syntax error correction for context-free languages (tidyparse.github.io)
    2 points 2
  11. Efficient and Portable Einstein Summation in SQL (dl.acm.org)
    1 points 0
  12. Courcelle's Theorem (en.wikipedia.org)
    1 points 0
  13. Building Acronyms by Contextually Retrieving Optimal Names with FuzzY Mining (jonbell.net)
    2 points 0
  14. Machine Learning, Linear Algebra, and More: Is SQL All You Need? [pdf] (cidrdb.org)
    2 points 0
  15. Transformers Learn Shortcuts to Automata (arxiv.org)
    37 points 2
  16. Tighter bounds on the expressivity of transformer encoders (arxiv.org)
    76 points 15
  17. Computus (en.wikipedia.org)
    2 points 0
  18. The Planiverse: Computer Contact with a Two-Dimensional World (cs.stanford.edu)
    44 points 25
  19. Trust in Automation (2017) (breandan.net)
    1 points 0
  20. Superlinear Speedup in HPC Systems: why and when? [pdf] (annals-csis.org)
    3 points 0
  21. The Busy Beaver Challenge (bbchallenge.org)
    67 points 24
  22. Skelet #34 Is Infinite (sligocki.com)
    40 points 8
  23. A New Lower Bound in the ABC Conjecture (arxiv.org)
    51 points 14
  24. Wittgenstein versus Turing on the nature of Church's thesis [pdf] (projecteuclid.org)
    3 points 0
  25. Words Matter: Alternatives for Charged Terminology in the Computing Profession (acm.org)
    2 points 0