Reprogramming Biology
summary
Argues that biology is being treated as a programmable fabric and shows concrete tools: DNA strand displacement circuits implemented as NAND gates and a demonstrated 4‑bit square‑root circuit, a simulator that reproduces wet‑lab traces, property tests using FSCheck, parsers built with FParsec, and model synthesis via the z3 SMT solver. Presents a visualization pipeline and cluster that exhausts permutations, a network‑synthesis tool that proposes gene interaction graphs for pluripotency, and reports successful predictions that guide experiments and match laboratory results.
AI-written summary · about
chapters (7)
- 0:00Introduction
- 1:41Audience
- 9:48Modeling
- 16:55DNA Locks
- 17:45Property Based Testing
- 23:29Digital vs Analog Computing
- 46:26Summary
related talks
01h 32mThe cell as a computer: Turing complete and massively parallel
10mLife isn’t logical! It’s hard to put NOR gates in bacteria!
25mHow DNA Origami Disrupts Medicine and Becomes the New Cornerstone of Nano Robotics
45mKeynote: Writing Code? Pfft... Evolve it Instead!
53mApplied Functional Programming in Computational Genomics
30mCracking the code: neuronal networks in the brain
47mBig Ideas in Program Synthesis
25mProgramming microbes using Python