HN Explorer

Poudlardo

↗ HN profile [ 74.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)

    Lean 4 paper (2021): https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37

    783 points 76
  2. Kubernetes isn't dead, you just misused it (medium.com)
    2 points 0
  3. Apple Launches Apple Maps on the Web – Firefox Unsupported (beta.maps.apple.com)
    2 points 2
  4. Murena releases v2 of /e/OS, an open source and privacy-first mobile OS (youtube.com)
    3 points 0
  5. Google open sourced CDC File Transfer from the ashes of Stadia (github.com)
    4 points 1