Viewing profile — nioj

Related: https://news.ycombinator.com/item?id=49034589

Related: Cybersecurity Employees Plead Guilty to Ransomware Attacks Using ALPHV BlackCat (justice.gov): https://news.ycombinator.com/item?id=46438478

See also: https://news.ycombinator.com/item?id=45860843

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 comment…

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

Related: https://news.ycombinator.com/item?id=44565416

Link to the paper: https://openreview.net/forum?id=K0sv5T2usb&noteId=HYuMJZsl3K

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

Concurrent discussion: https://news.ycombinator.com/item?id=44149019

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.

Previous discussions: How to Read a Paper [pdf], 246 points, Nov 2023, 49 comments – https://news.ycombinator.com/item?id=38446418 How to Read a Paper(2016) [pdf], 343 points, Jan …

Related ongoing discussion: https://news.ycombinator.com/item?id=43243580

The site appears to be hugged to death for me.

That one is from windowscentral (but yes it is still a dupe).

Apparently it is Windows-only and you can only save files on OneDrive.

Related https://news.ycombinator.com/item?id=42763231

Related https://news.ycombinator.com/item?id=42761648

Happy New Year from Europe!