Debunking NIST's calculation of the Kyber-512 security level (2023)
(news.ycombinator.com)
6301.
6302.
Tell HN: Beware confidentiality agreements that act as lifetime non competes
(news.ycombinator.com)
6303.
6305.
Verified dynamic programming with Σ-types in Lean
(news.ycombinator.com)
6306.
6307.
Verified Dynamic Programming with Σ-types in Lean
(news.ycombinator.com)
6308.
6309.
6310.
6312.
Malicious AI swarms can threaten democracy
(news.ycombinator.com)
6313.
Windows parental controls are blocking Chrome
(engadget.com)
6314.
The startups rolling out of Europe’s early-stage micromobility scene
(techcrunch.com)
6316.
Mierle Laderman Ukeles, a '70s artist who became a hero to 'garbage men'
(news.ycombinator.com)
6317.
Can users reset their own passwords without sacrificing security?
(bleepingcomputer.com)
6318.
6319.
6320.
Microsoft to remove legacy drivers from Windows Update for security boost
(bleepingcomputer.com)
6321.
My A11y Journey
(news.ycombinator.com)
6322.
6323.
A '70s performance artist who became a hero to 'garbage men'
(news.ycombinator.com)
6324.
My A11 Journey
(news.ycombinator.com)
6325.
BBC threatens AI firm with legal action over unauthorised content use
(feeds.bbci.co.uk)
6326.
Google Messages will help you shame your friends into finally turning on RCS (APK teardown)
(androidauthority.com)
6327.
He '70s Performance Artist Who Became a Hero to 'Garbage Men'
(news.ycombinator.com)
6328.
A real fixed-point decimal crate in Rust
(news.ycombinator.com)
6329.
FedFlix — Public Domain Stock Footage Library
(news.ycombinator.com)
6330.
Today's top topics:
apple
amazon
openai
google
chemistry
cnet
android authority
sora
anthropic
large language models