Adiantum allows us to use the ChaCha stream cipher in a length-preserving mode, by adapting ideas from AES-based proposals for length-preserving encryption such as HCTR and HCH.

Games have been used for decades as an important way to test and evaluate the performance of artificial intelligence systems.

After a series of events, the lives of a security operative and an assassin become inextricably linked.

HTTP is the application protocol that powers the Web.

When slaughterhouse workers Endre and Mária discover they share the same dreams - where they meet in a forest as deer and fall in love - they decide to make their dreams come true but it’s difficult in real life.

We implemented the DNS-over-TLS specification along with the RFC 7766 recommendations to minimize the overhead of using TLS.

dav1d is good enough that it has an official release, dav1d now covers all the spec and features of AV1 (including 12bits), dav1d is very fast on modern desktop and it is getting faster on mobile chips.

The protocol that’s been called HTTP-over-QUIC for quite some time has now changed name and will officially become HTTP/3.

We’re proposing an AI safety technique called iterated amplification that lets us specify complicated behaviors and goals that are beyond human scale, by demonstrating how to decompose a task into simpler sub-tasks, rather than by providing labeled data or a reward function.

Composable planning is a new way of building artificial intelligence (AI) agents that are better at solving unfamiliar tasks.