Settings

Theme

chaitanyya

Karma
1
Created
1 year ago

About

All things software correctness, reliability, formal methods, and mathematics

All submissions on HN · View profile on HN

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection