Fully homomorphic encryption and the dawn of a private internet(bozmen.io)

395 points by barisozmen 1 year ago | 183 comments

Personal blog essay by Barış Özmen explaining fully homomorphic encryption and how it could enable a truly private internet.

Swift Homomorphic Encryption(swift.org)

302 points by yAak 2 years ago | 108 comments

Google fixed more Chrome bugs in June than over the past two years, thanks to AI(blog.google)

536 points by Garbage 2 months ago | 548 comments

Google Security blog post from the Chrome Security Team on how Chrome uses AI to improve vulnerability discovery, triage, and patching.

Learnings from kCTF VRP's 42 Linux kernel exploits submissions(security.googleblog.com)

186 points by tim_sw 3 years ago | 88 comments

Updates on HEIR, the Homomorphic Encryption Compiler Project(jeremykun.com)

32 points by turtleyacht 1 month ago | 0 comments

'Reptar', a new CPU vulnerability(cloud.google.com)

114 points by el_duderino 2 years ago | 62 comments

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

Google is winning on every AI front(thealgorithmicbridge.com)

847 points by vinhnx 1 year ago | 687 comments

A paid Algorithmic Bridge Substack post by Alberto Romero arguing that Google is ahead of OpenAI and Anthropic across every front of AI.

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.

AI models can provably hide arbitrary capabilities(arxiv.org)

252 points by sbulaev 13 days ago | 118 comments

An arXiv paper showing AI models can embed encrypted neural network backdoors that provably hide arbitrary capabilities from elicitation-based safety evaluations.

AI has access to a vastly larger working memory than the human brain(davidepiffer.com)

524 points by rzk 2 months ago | 452 comments

A Substack essay by Davide Piffer arguing that AI's edge over mathematicians comes from a vast symbolic working memory rather than superior reasoning.

Artificial intelligence is losing hype(economist.com)

453 points by bx376 2 years ago | 663 comments

An Economist Free exchange column arguing that artificial intelligence is losing hype and asking whether that signals the technology will eventually succeed.