nioj

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

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 2020, 40 comments – https://news.ycombinator.com/item?id=21979350

How to Read a Paper (2016) [pdf], 372 points, April 2017, 40 comments – https://news.ycombinator.com/item?id=14228912

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!

I think you meant to type WW1 instead of WW2

I just discovered that this book by John L. Hennessy & David A. Patterson is freely available from ACM, so just wanted to share it. I came across it by reading this thread from three weeks ago: https://news.ycombinator.com/item?id=42157558

Another bonus:

Ask HN: How to self-learn math? - https://news.ycombinator.com/item?id=16562173 - March 2018 (211 comments)

Looks like the access have been shut down.

You can also get a free PDF version of that textbook here https://www.distributed-systems.net/index.php/books/ds4/ (you only need to provide an email)

The blog post from Microsoft: https://blogs.microsoft.com/on-the-issues/2024/10/28/googles...

Maybe not so related, but the Spotify desktop client uses a link-styled piece of text after having downloaded an update — "click here to to update" — when you navigate to the updates menu, where I would expect a button instead of a regular link

Related discussion (178 points, 1 day ago, 248 comments) https://news.ycombinator.com/item?id=41919670

I think the music part is related to the setting called "Show Featured Content" in the Photos app settings.

You can get ISOs from the following link for Home and Pro edition but you have to visit the site from a non-Windows device (a different user-agent might also work)

https://www.microsoft.com/en-us/software-download/windows10I...

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