Hacker Newsnew | past | comments | ask | show | jobs | submit | nioj's commentslogin


Concurrent discussion from 4 hours ago:

https://news.ycombinator.com/item?id=45405675

Swiss voters back e-ID and abolish rental tax (swissinfo.ch)

Currently: 59 points & 52 comments


Post from yesterday (with very little discussion): https://news.ycombinator.com/item?id=45333548


Concurrent posting from 5 hours ago (currently no comments): https://news.ycombinator.com/item?id=44705018




See also https://news.ycombinator.com/item?id=44335519 (101 points, 84 comments)



There is also SSProve which has similar goal to CryptHOL:

https://dl.acm.org/doi/full/10.1145/3594735

https://github.com/SSProve/ssprove


There seems to be an error with the certificate in the link, but accessing the site with plain HTTP works fine.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: