🦞🌯 Lobster Roll

Stories by natfu

Building blocks for peer-to-peer applications (p2panda.org)
Property-Based Testing in Practice (dl.acm.org)
Property-based testing (PBT) is a testing methodology where users write executable formal specifications of software components and an automated harness checks these specifications against many automatically generated inputs. From its roots in the QuickCheck library in Haskell, PBT has made sign...
Local-first access control (inkandswitch.com)
Continuous Snapshotting Filesystem (nilfs.sourceforge.io)
An Empirical Evaluation of Property-Based Testing in Python (cseweb.ucsd.edu)
Property-based testing (PBT) is a testing methodology with origins in the functional programming community. In recent years, PBT libraries have been developed for non-functional languages, including Python. However, to date, there is little evidence regarding how effective property-based tests ar...
Runtime validation in type annotations (blog.natfu.be)
How To Dynamically Install Custom (HTML) Elements (heydonworks.com)
Notes on the expression problem and type design (2018) (tedinski.com)
Design Pressure: The Invisible Hand That Shapes Your Code (youtube.com)
From the details: > Abstract: > >Ever had this weird gut feeling that something is off in your code, but couldn't put the finger on why? Are you starting your projects with the best intentions, following all best practices, and still feel like your architecture turns weird eventually? Maybe, i...
Software Acceleration and Desynchronization (ferd.ca)
Verified Spec-Driven Development (VSDD) (gist.github.com)