HN Explorer

mauricioc

↗ HN profile [ 75.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Mathematicians put AI model AlphaProof to the test (nature.com)
    3 points 1
  2. Olympiad-level formal mathematical reasoning with reinforcement learning (nature.com)
    3 points 0
  3. The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction (informit.com)
    4 points 1
  4. The ∞-Cosmos Project (leanprover-community.github.io)
    2 points 0
  5. 1 points 0
  6. Lean into Verified Software Development (aws.amazon.com)
    3 points 0
  7. 1 points 0
  8. Formalising modern research mathematics in real time (xenaproject.wordpress.com)
    111 points 17
  9. A Graduate Course in Applied Cryptography (2023-01-14 update) (toc.cryptobook.us)
    2 points 0
  10. Lean Together 2021 – A meeting for Lean users and other formalizers (leanprover-community.github.io)
    2 points 0
  11. Web Replay (Formerly Known as Firefox Replay) (webreplay.io)
    7 points 2
  12. Remove Firefox Replay (bugzilla.mozilla.org)
    3 points 2
  13. Knuth's 25th Christmas Lecture – Pi and the Art of Computer Programming [video] (youtube.com)
    2 points 0
  14. Telegram rolls out fix for voicemail hack used against Brazilian politicians (zdnet.com)
    1 points 0
  15. Brouwer–Heyting–Kolmogorov Interpretation (en.wikipedia.org)
    2 points 0
  16. Survey: Autopilot name causes people to overestimate Tesla capabilities (arstechnica.com)
    2 points 0
  17. Agda-sessions: Learn the Agda basics in three 2-hour sessions (github.com)
    3 points 0
  18. Security Advisory for the Standard Library (blog.rust-lang.org)
    54 points 6
  19. Am I the only one seeing the '90s retro theme, with the unicorns and sparkles? (meta.stackoverflow.com)
    68 points 25
  20. Jan Overduin Invites You to Knuth's “Fantasia Apocalyptica” [video] (youtube.com)
    2 points 0
  21. Brazil arrests Facebook executive in row over police access to data (news.yahoo.com)
    97 points 58
  22. Adding Digits in Python (or Smarter-looking doesn't mean better) (explique.me)
    6 points 1