Hacker Papers

  1. 526
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 0 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 0 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 0 mentions 4 active months · 4 people · 5 threads2023: 0 mentions 4 active months · 4 people · 5 threads2024: 3 mentions 4 active months · 4 people · 5 threads2025: 1 mention 4 active months · 4 people · 5 threads2026: 1 mention 4 active months · 4 people · 5 threads
  2. 527
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 0 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 0 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 0 mentions 4 active months · 4 people · 5 threads2023: 0 mentions 4 active months · 4 people · 5 threads2024: 0 mentions 4 active months · 4 people · 5 threads2025: 0 mentions 4 active months · 4 people · 5 threads2026: 5 mentions 4 active months · 4 people · 5 threads
  3. 528
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 3 mentions 4 active months · 4 people · 5 threads2017: 2 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 0 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 0 mentions 4 active months · 4 people · 5 threads2023: 0 mentions 4 active months · 4 people · 5 threads2024: 0 mentions 4 active months · 4 people · 5 threads2025: 0 mentions 4 active months · 4 people · 5 threads2026: 0 mentions 4 active months · 4 people · 5 threads
  4. 529
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 1 mention 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 2 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 1 mention 4 active months · 4 people · 5 threads2022: 0 mentions 4 active months · 4 people · 5 threads2023: 0 mentions 4 active months · 4 people · 5 threads2024: 1 mention 4 active months · 4 people · 5 threads2025: 0 mentions 4 active months · 4 people · 5 threads2026: 0 mentions 4 active months · 4 people · 5 threads
  5. 530
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 0 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 0 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 2 mentions 4 active months · 4 people · 5 threads2023: 1 mention 4 active months · 4 people · 5 threads2024: 0 mentions 4 active months · 4 people · 5 threads2025: 1 mention 4 active months · 4 people · 5 threads2026: 1 mention 4 active months · 4 people · 5 threads
  6. 531
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 0 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 0 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 1 mention 4 active months · 4 people · 5 threads2023: 5 mentions 4 active months · 4 people · 5 threads2024: 0 mentions 4 active months · 4 people · 5 threads2025: 0 mentions 4 active months · 4 people · 5 threads2026: 0 mentions 4 active months · 4 people · 5 threads
  7. 532
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 0 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 0 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 0 mentions 4 active months · 4 people · 5 threads2023: 2 mentions 4 active months · 4 people · 5 threads2024: 3 mentions 4 active months · 4 people · 5 threads2025: 0 mentions 4 active months · 4 people · 5 threads2026: 0 mentions 4 active months · 4 people · 5 threads
  8. 533
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 3 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 0 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 0 mentions 4 active months · 4 people · 5 threads2023: 0 mentions 4 active months · 4 people · 5 threads2024: 2 mentions 4 active months · 4 people · 5 threads2025: 0 mentions 4 active months · 4 people · 5 threads2026: 0 mentions 4 active months · 4 people · 5 threads
  9. 534

    Emergence of grid-like representations by training recurrent neural networks to perform spatial localization

    Hacker News threads
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 0 mentions 4 active months · 4 people · 5 threads2018: 2 mentions 4 active months · 4 people · 5 threads2019: 1 mention 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 1 mention 4 active months · 4 people · 5 threads2023: 0 mentions 4 active months · 4 people · 5 threads2024: 1 mention 4 active months · 4 people · 5 threads2025: 0 mentions 4 active months · 4 people · 5 threads2026: 0 mentions 4 active months · 4 people · 5 threads
  10. 535
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 0 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 4 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 0 mentions 4 active months · 4 people · 5 threads2023: 2 mentions 4 active months · 4 people · 5 threads2024: 0 mentions 4 active months · 4 people · 5 threads2025: 0 mentions 4 active months · 4 people · 5 threads2026: 0 mentions 4 active months · 4 people · 5 threads
  11. 536
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 0 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 0 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 0 mentions 4 active months · 4 people · 5 threads2023: 2 mentions 4 active months · 4 people · 5 threads2024: 3 mentions 4 active months · 4 people · 5 threads2025: 0 mentions 4 active months · 4 people · 5 threads2026: 0 mentions 4 active months · 4 people · 5 threads
  12. 537

    Repeat After Me: Transformers are Better than State Space Models at Copying

    Hacker News threads
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 0 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 0 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 0 mentions 4 active months · 4 people · 5 threads2023: 0 mentions 4 active months · 4 people · 5 threads2024: 6 mentions 4 active months · 4 people · 5 threads2025: 0 mentions 4 active months · 4 people · 5 threads2026: 0 mentions 4 active months · 4 people · 5 threads
  13. 538
    2007: 0 mentions 4 active months · 4 people · 5 threads2008: 0 mentions 4 active months · 4 people · 5 threads2009: 0 mentions 4 active months · 4 people · 5 threads2010: 0 mentions 4 active months · 4 people · 5 threads2011: 0 mentions 4 active months · 4 people · 5 threads2012: 0 mentions 4 active months · 4 people · 5 threads2013: 0 mentions 4 active months · 4 people · 5 threads2014: 0 mentions 4 active months · 4 people · 5 threads2015: 0 mentions 4 active months · 4 people · 5 threads2016: 0 mentions 4 active months · 4 people · 5 threads2017: 0 mentions 4 active months · 4 people · 5 threads2018: 0 mentions 4 active months · 4 people · 5 threads2019: 0 mentions 4 active months · 4 people · 5 threads2020: 0 mentions 4 active months · 4 people · 5 threads2021: 0 mentions 4 active months · 4 people · 5 threads2022: 0 mentions 4 active months · 4 people · 5 threads2023: 0 mentions 4 active months · 4 people · 5 threads2024: 0 mentions 4 active months · 4 people · 5 threads2025: 1 mention 4 active months · 4 people · 5 threads2026: 4 mentions 4 active months · 4 people · 5 threads
  14. 539
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 0 mentions 4 active months · 4 people · 4 threads2018: 0 mentions 4 active months · 4 people · 4 threads2019: 0 mentions 4 active months · 4 people · 4 threads2020: 0 mentions 4 active months · 4 people · 4 threads2021: 0 mentions 4 active months · 4 people · 4 threads2022: 3 mentions 4 active months · 4 people · 4 threads2023: 0 mentions 4 active months · 4 people · 4 threads2024: 0 mentions 4 active months · 4 people · 4 threads2025: 1 mention 4 active months · 4 people · 4 threads2026: 0 mentions 4 active months · 4 people · 4 threads
  15. 540
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 0 mentions 4 active months · 4 people · 4 threads2018: 0 mentions 4 active months · 4 people · 4 threads2019: 1 mention 4 active months · 4 people · 4 threads2020: 1 mention 4 active months · 4 people · 4 threads2021: 0 mentions 4 active months · 4 people · 4 threads2022: 1 mention 4 active months · 4 people · 4 threads2023: 0 mentions 4 active months · 4 people · 4 threads2024: 0 mentions 4 active months · 4 people · 4 threads2025: 0 mentions 4 active months · 4 people · 4 threads2026: 1 mention 4 active months · 4 people · 4 threads
  16. 541
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 0 mentions 4 active months · 4 people · 4 threads2018: 0 mentions 4 active months · 4 people · 4 threads2019: 1 mention 4 active months · 4 people · 4 threads2020: 0 mentions 4 active months · 4 people · 4 threads2021: 1 mention 4 active months · 4 people · 4 threads2022: 1 mention 4 active months · 4 people · 4 threads2023: 1 mention 4 active months · 4 people · 4 threads2024: 0 mentions 4 active months · 4 people · 4 threads2025: 0 mentions 4 active months · 4 people · 4 threads2026: 0 mentions 4 active months · 4 people · 4 threads
  17. 542

    Beating the World's Best at Super Smash Bros. with Deep Reinforcement Learning

    Hacker News threads
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 3 mentions 4 active months · 4 people · 4 threads2018: 1 mention 4 active months · 4 people · 4 threads2019: 0 mentions 4 active months · 4 people · 4 threads2020: 0 mentions 4 active months · 4 people · 4 threads2021: 0 mentions 4 active months · 4 people · 4 threads2022: 0 mentions 4 active months · 4 people · 4 threads2023: 0 mentions 4 active months · 4 people · 4 threads2024: 0 mentions 4 active months · 4 people · 4 threads2025: 0 mentions 4 active months · 4 people · 4 threads2026: 0 mentions 4 active months · 4 people · 4 threads
  18. 543
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 0 mentions 4 active months · 4 people · 4 threads2018: 0 mentions 4 active months · 4 people · 4 threads2019: 1 mention 4 active months · 4 people · 4 threads2020: 1 mention 4 active months · 4 people · 4 threads2021: 0 mentions 4 active months · 4 people · 4 threads2022: 0 mentions 4 active months · 4 people · 4 threads2023: 0 mentions 4 active months · 4 people · 4 threads2024: 1 mention 4 active months · 4 people · 4 threads2025: 1 mention 4 active months · 4 people · 4 threads2026: 0 mentions 4 active months · 4 people · 4 threads
  19. 544
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 2 mentions 4 active months · 4 people · 4 threads2018: 1 mention 4 active months · 4 people · 4 threads2019: 0 mentions 4 active months · 4 people · 4 threads2020: 0 mentions 4 active months · 4 people · 4 threads2021: 0 mentions 4 active months · 4 people · 4 threads2022: 0 mentions 4 active months · 4 people · 4 threads2023: 0 mentions 4 active months · 4 people · 4 threads2024: 0 mentions 4 active months · 4 people · 4 threads2025: 1 mention 4 active months · 4 people · 4 threads2026: 0 mentions 4 active months · 4 people · 4 threads
  20. 545
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 0 mentions 4 active months · 4 people · 4 threads2018: 0 mentions 4 active months · 4 people · 4 threads2019: 0 mentions 4 active months · 4 people · 4 threads2020: 0 mentions 4 active months · 4 people · 4 threads2021: 0 mentions 4 active months · 4 people · 4 threads2022: 1 mention 4 active months · 4 people · 4 threads2023: 1 mention 4 active months · 4 people · 4 threads2024: 1 mention 4 active months · 4 people · 4 threads2025: 1 mention 4 active months · 4 people · 4 threads2026: 0 mentions 4 active months · 4 people · 4 threads
  21. 546
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 0 mentions 4 active months · 4 people · 4 threads2018: 0 mentions 4 active months · 4 people · 4 threads2019: 0 mentions 4 active months · 4 people · 4 threads2020: 0 mentions 4 active months · 4 people · 4 threads2021: 0 mentions 4 active months · 4 people · 4 threads2022: 0 mentions 4 active months · 4 people · 4 threads2023: 0 mentions 4 active months · 4 people · 4 threads2024: 2 mentions 4 active months · 4 people · 4 threads2025: 1 mention 4 active months · 4 people · 4 threads2026: 1 mention 4 active months · 4 people · 4 threads
  22. 547
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 0 mentions 4 active months · 4 people · 4 threads2018: 0 mentions 4 active months · 4 people · 4 threads2019: 0 mentions 4 active months · 4 people · 4 threads2020: 0 mentions 4 active months · 4 people · 4 threads2021: 0 mentions 4 active months · 4 people · 4 threads2022: 0 mentions 4 active months · 4 people · 4 threads2023: 0 mentions 4 active months · 4 people · 4 threads2024: 0 mentions 4 active months · 4 people · 4 threads2025: 2 mentions 4 active months · 4 people · 4 threads2026: 2 mentions 4 active months · 4 people · 4 threads
  23. 548
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 2 mentions 4 active months · 4 people · 4 threads2015: 1 mention 4 active months · 4 people · 4 threads2016: 1 mention 4 active months · 4 people · 4 threads2017: 0 mentions 4 active months · 4 people · 4 threads2018: 0 mentions 4 active months · 4 people · 4 threads2019: 0 mentions 4 active months · 4 people · 4 threads2020: 0 mentions 4 active months · 4 people · 4 threads2021: 0 mentions 4 active months · 4 people · 4 threads2022: 0 mentions 4 active months · 4 people · 4 threads2023: 0 mentions 4 active months · 4 people · 4 threads2024: 0 mentions 4 active months · 4 people · 4 threads2025: 0 mentions 4 active months · 4 people · 4 threads2026: 0 mentions 4 active months · 4 people · 4 threads
  24. 549

    Metamath Zero: The Cartesian Theorem Prover

    Hacker News threads
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 0 mentions 4 active months · 4 people · 4 threads2018: 0 mentions 4 active months · 4 people · 4 threads2019: 0 mentions 4 active months · 4 people · 4 threads2020: 1 mention 4 active months · 4 people · 4 threads2021: 1 mention 4 active months · 4 people · 4 threads2022: 0 mentions 4 active months · 4 people · 4 threads2023: 1 mention 4 active months · 4 people · 4 threads2024: 1 mention 4 active months · 4 people · 4 threads2025: 0 mentions 4 active months · 4 people · 4 threads2026: 0 mentions 4 active months · 4 people · 4 threads
  25. 550
    2007: 0 mentions 4 active months · 4 people · 4 threads2008: 0 mentions 4 active months · 4 people · 4 threads2009: 0 mentions 4 active months · 4 people · 4 threads2010: 0 mentions 4 active months · 4 people · 4 threads2011: 0 mentions 4 active months · 4 people · 4 threads2012: 0 mentions 4 active months · 4 people · 4 threads2013: 0 mentions 4 active months · 4 people · 4 threads2014: 0 mentions 4 active months · 4 people · 4 threads2015: 0 mentions 4 active months · 4 people · 4 threads2016: 0 mentions 4 active months · 4 people · 4 threads2017: 2 mentions 4 active months · 4 people · 4 threads2018: 0 mentions 4 active months · 4 people · 4 threads2019: 1 mention 4 active months · 4 people · 4 threads2020: 0 mentions 4 active months · 4 people · 4 threads2021: 1 mention 4 active months · 4 people · 4 threads2022: 0 mentions 4 active months · 4 people · 4 threads2023: 0 mentions 4 active months · 4 people · 4 threads2024: 0 mentions 4 active months · 4 people · 4 threads2025: 0 mentions 4 active months · 4 people · 4 threads2026: 0 mentions 4 active months · 4 people · 4 threads

Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.