| 1. | | Show HN: TidyPython – Real-time syntax repair for Python (tidyparse.github.io) |
| 1 point by bmc7505 42 minutes ago | past | discuss |
|
| 2. | | Introduction to Linear Types (austral-lang.org) |
| 2 points by bmc7505 4 months ago | past |
|
| 3. | | Show HN: Tidyparse – Real-time context-free syntax repair (tidyparse.github.io) |
| 2 points by bmc7505 11 months ago | past |
|
| 4. | | RE#: High Performance Derivative-Based Regex Matching (ieviev.github.io) |
| 2 points by bmc7505 on Jan 13, 2025 | past | 1 comment |
|
| 5. | | Amplifying human performance in combinatorial competitive programming (arxiv.org) |
| 2 points by bmc7505 on Dec 7, 2024 | past |
|
| 6. | | Show HN: Tidyparse: Real-time syntax error correction for context-free languages (tidyparse.github.io) |
| 2 points by bmc7505 on Dec 24, 2023 | past | 2 comments |
|
| 7. | | Efficient and Portable Einstein Summation in SQL (acm.org) |
| 1 point by bmc7505 on June 27, 2023 | past |
|
| 8. | | Courcelle's Theorem (wikipedia.org) |
| 1 point by bmc7505 on May 13, 2023 | past |
|
| 9. | | Building Acronyms by Contextually Retrieving Optimal Names with FuzzY Mining (jonbell.net) |
| 2 points by bmc7505 on April 30, 2023 | past |
|
| 10. | | Machine Learning, Linear Algebra, and More: Is SQL All You Need? [pdf] (cidrdb.org) |
| 2 points by bmc7505 on April 28, 2023 | past |
|
| 11. | | Transformers Learn Shortcuts to Automata (arxiv.org) |
| 37 points by bmc7505 on April 26, 2023 | past | 2 comments |
|
| 12. | | Tighter bounds on the expressivity of transformer encoders (arxiv.org) |
| 76 points by bmc7505 on April 25, 2023 | past | 13 comments |
|
| 13. | | Computus (wikipedia.org) |
| 2 points by bmc7505 on April 10, 2023 | past |
|
| 14. | | The Planiverse: Computer Contact with a Two-Dimensional World (stanford.edu) |
| 44 points by bmc7505 on April 7, 2023 | past | 23 comments |
|
| 15. | | Trust in Automation (2017) (breandan.net) |
| 1 point by bmc7505 on March 22, 2023 | past |
|
| 16. | | Superlinear Speedup in HPC Systems: why and when? [pdf] (annals-csis.org) |
| 3 points by bmc7505 on March 20, 2023 | past |
|
| 17. | | The Busy Beaver Challenge (bbchallenge.org) |
| 67 points by bmc7505 on Feb 7, 2023 | past | 21 comments |
|
| 18. | | Skelet #34 Is Infinite (sligocki.com) |
| 40 points by bmc7505 on Feb 7, 2023 | past | 7 comments |
|
| 19. | | A New Lower Bound in the ABC Conjecture (arxiv.org) |
| 51 points by bmc7505 on Jan 31, 2023 | past | 14 comments |
|
| 20. | | Wittgenstein versus Turing on the nature of Church's thesis [pdf] (projecteuclid.org) |
| 3 points by bmc7505 on Jan 8, 2023 | past |
|
| 21. | | Words Matter: Alternatives for Charged Terminology in the Computing Profession (acm.org) |
| 2 points by bmc7505 on Dec 23, 2022 | past |
|
| 22. | | Programming in the Age of Intelligent Machines (breandan.net) |
| 2 points by bmc7505 on Dec 22, 2022 | past |
|
| 23. | | One Venue, Two Conferences: Separation of Chinese and American Citation Networks (arxiv.org) |
| 1 point by bmc7505 on Nov 24, 2022 | past |
|
| 24. | | It's here: the all-new Descript, backed by OpenAI Startup Fund (descript.com) |
| 1 point by bmc7505 on Nov 15, 2022 | past | 1 comment |
|
| 25. | | Discrete mean estimates and the Landau-Siegel zero (arxiv.org) |
| 3 points by bmc7505 on Nov 7, 2022 | past |
|
| 26. | | Bent Function (wikipedia.org) |
| 1 point by bmc7505 on Oct 23, 2022 | past |
|
| 27. | | SAT-Solver and Optimization-Based Preimage Attacks on SHA-256 (trevphil.com) |
| 5 points by bmc7505 on Sept 24, 2022 | past |
|
| 28. | | Tarski's high school algebra problem (wikipedia.org) |
| 2 points by bmc7505 on Sept 18, 2022 | past |
|
| 29. | | Equilibrium in the Jungle (2007) [pdf] (tau.ac.il) |
| 1 point by bmc7505 on June 13, 2022 | past |
|
| 30. | | A maximally-dense encoding for n-choose-k (2013) (farside.org.uk) |
| 58 points by bmc7505 on May 20, 2022 | past | 28 comments |
|
|
| More |
