Posts

Showing posts from January 20, 2023

A Gentle Tutorial for Lattice-Based Cryptanalysis [pdf]

-
Comments from Hacker News https://ift.tt/NbJWu0H via
Post a Comment
Read more

Lean – Theorem Prover

-
Article URL: https://leanprover.github.io/ Comments URL: https://news.ycombinator.com/item?id=34456573 Points: 15 # Comments: 1 from Hacker News: Front Page https://ift.tt/Qgkl9bW via
Post a Comment
Read more

Spy Cams Reveal the Grim Reality of Slaughterhouse Gas Chambers

-
Comments from Hacker News https://ift.tt/nKsByV4 via
Post a Comment
Read more

ChatGPT is not all you need. A SOTA Review of large Generative AI models

-
Article URL: https://arxiv.org/abs/2301.04655 Comments URL: https://news.ycombinator.com/item?id=34453877 Points: 23 # Comments: 1 from Hacker News: Front Page https://ift.tt/IBGorOz via
Post a Comment
Read more

ChatGPT is not all you need. A SOTA Review of large Generative AI models

-
Comments from Hacker News https://ift.tt/IBGorOz via
Post a Comment
Read more