HN Explorer

mrigger

↗ HN profile [ 48.4 ms ] full profile
Karma
165
Created
June 7, 2020 (6y ago)
Submissions
0
Researcher at ETH Zurich, Switzerland. https://twitter.com/RiggerManuel
  1. Encrypted Databases Made Secure yet Maintainable (github.com)
    2 points 1
  2. Dynamic Data-Race Prediction: Fundamentals, Theory and Practice (3 Hours Video) (youtube.com)
    1 points 0
  3. Modus: A language for building Docker/OCI container images (github.com)
    56 points 28
  4. DuckDB Testing – Present and Future (youtube.com)
    1 points 0
  5. Linear-Time Temporal Logic Guided Greybox Fuzzing (github.com)
    1 points 0
  6. YouTube Interviewing Series on Getting Faculty Positions in Computer Science (youtube.com)
    1 points 0
  7. Interview Questions for Computer Science Faculty Jobs (csfaculty.github.io)
    1 points 0