HN Explorer

hackingonempty

↗ HN profile [ 2246 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Pulse: Proof-Oriented Programming in Concurrent Separation Logic (Output C/Rust) (fstar-lang.org)
    1 points 1
  2. Consciousness and the Laws of Physics (2021) (philarchive.org)
    3 points 0