Hacker News new | ask | show | jobs
user: oecumena
created: 2019-01-27
karma: 185

submissions:

0 points | 0 comments
C++: Zero-cost static initialization
84 points | 58 comments
0 points | 0 comments
0 points | 0 comments
Formal verification of the long division algorithm
2 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Don't lose your file (descriptors): escrow library
1 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
3-Lisp: an infinite tower of meta-circular interpreters
4 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments