Bookmarks

I have a set of baseline CSS styles that come with me from project to project. In the past, I'd use a typical CSS reset, but times have changed, and I believe I have a better set of global styles!

The White House published a page on its website this month outlining the Trump administration’s key actions on climate and the environment. We annotated some of the claims.

The hero's journey (and a case study) of an iPhone user returning to macOS after over two decades on Windows.

Support for text-wrap: pretty just shipped in Safari Technology Preview, bringing an unprecedented level of polish to typography on the web.

Shop cult classic, Tokyo Style, by Kyoichi Tsuzuki.

The world sees Japan as a paragon of minimalism. But its hidden clutter culture shows that ‘more’ can be as magical as ‘less’

Super-linter is a ready-to-run collection of linters and code analyzers, to help validate your source code

We present a new generalization of (zk-)SNARKs specifically designed for the application domain of safety-critical control systems. These need to be protected against adversarial tampering as well as non-malicious but unintended system failures due to random faults in components. Our SNARKs combine two additional features at the same time. Besides the verification of correct computation, they also allow, first, the verification of input data authenticity. Specifically, a verifier can confirm that the input to the computation originated from a trusted source. Second, our SNARKs support verification of stateful computations across multiple rounds, ensuring that the output of the current round correctly depends on the internal state of the previous round. Our focus is on concrete practicality, so we abstain from arithmetizing hash functions or signatures in our SNARKs. Rather, we modify the internals of an existing SNARK to extend its functionality. We implement and benchmark our new SNARKs in a sample scenario of a real-time high-integrity flight control system. With our construction, prover runtime improves significantly over the baseline by a factor of 90. Verification time increases by 36%, but is less than comparable approaches that do not arithmetize hash functions or signatures.

We’re no stranger to tariff bills, although they have definitely ramped up over the last two months. However, this is our first ‘big bill’, where a large portion was subjected to …