Stories by PaulHoule

A systematic approach to deriving incremental type checkers (2020)

Precedence-Aware Pretty Printing

Advanced Python: Achieving High Performance with Code Generation

Computer scientists discover vulnerabilities in a popular security protocol

PolyMeme: Fine-Grained Internet Meme Sensing

Uber-backed e-scooter startup Lime enters Japan after Korea exit

Sleep on it: How the brain processes many experiences, even when 'offline'

LiquidStack says its new CDU can chill more than 1MW of AI compute

The Powerful Potential of Tiny Conservation Plots

RAO-SS: A Prototype of Run-Time Auto-Tuning Facility for Sparse Direct Solvers

Needle-free Covid-19 intranasal vaccine provides broad immunity, study finds

In Bali, water temple priests guide a sustainable rice production system

Why DePIN Is Taking Off Now

Symmetric surface-energy ratchet motor driven by biased random walk

Bacteria make thermally stable plastics similar to polystyrene and PET

New Approach to Vertical Plant Cultivation Maximises Crop Efficiency

Electrified thermochemical systems with high-frequency metamaterial reactors

Tokenization Pioneer Centrifuge Unveils Lending Market with Morpho, Coinbase

De novo design of allosterically switchable protein assemblies

An unordered list of hidden gems inside NixOS