HN Explorer

auggierose

↗ HN profile [ 68.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Valuation Spaces and Relativisation: The Lambda Calculus Example (practal.com)
    2 points 0
  2. OpenAI shutters AI video generator Sora after just six months (theguardian.com)
    3 points 1
  3. Teleporting a Public IPv6 Address from Your VPS to Your Home Server (weisser-zwerg.dev)
    3 points 0
  4. Gauss, an Agent for Autoformalization (math.inc)
    11 points 1
  5. Wysiwid: What you see is what it does (essenceofsoftware.com)
    19 points 2
  6. The Top Programming Languages 2024 (spectrum.ieee.org)
    3 points 2
  7. Oxford Philosophy of Mathematics (youtube.com)
    4 points 0
  8. Chinese chess champion stripped of title after defecating in hotel bathtub (theguardian.com)
    6 points 11
  9. How Figma’s multiplayer technology works (2019) (figma.com)
    2 points 0
  10. Photovoltaics for Urban Spaces: Shadow Effects on Balcony Power Stations (weisser-zwerg.dev)
    1 points 0
  11. Löb's Theorem and Curry's Paradox (inference-review.com)
    4 points 0
  12. French Open organisers to offer players AI protection against online abuse (theguardian.com)
    2 points 0
  13. ChatGPT – Open AI API for Proofreading Markdown Blog Posts (weisser-zwerg.dev)
    1 points 0
  14. 5 points 7
  15. English is picking up brilliant new words from around the world (theguardian.com)
    1 points 0
  16. Machine learning enables AI systems to do maths in English as well as logic (cst.cam.ac.uk)
    2 points 0
  17. You are not expected to understand this (press.princeton.edu)
    3 points 0
  18. A from-scratch tour of Bitcoin in Python (karpathy.github.io)
    6 points 0
  19. Beyond the Liquid Tensor Experiment (xenaproject.wordpress.com)
    10 points 0
  20. Algebraic Semiotics (2020) (gjoncas.github.io)
    57 points 10
  21. Annotated version of Boole's 1847 “Algebra of Logic” (2019) [pdf] (math.uwaterloo.ca)
    107 points 17
  22. Should we get rid of the scientific paper? (theguardian.com)
    2 points 0
  23. Handbook of the Mathematics of the Arts and Sciences (link.springer.com)
    1 points 4
  24. The Lezer Parser System (lezer.codemirror.net)
    48 points 3
  25. Space Math (aimath.org)
    98 points 24