- Formal verification as a route to “evil-proof” systems: Coq proof assistant is the tool of choice, exemplified by Quark, a web browser whose security properties have been machine-verified end-to-end.  
- DIY neuroscience hardware roundup: open-source NeuroRighter platform and Backyard Brains’ $100 SpikerBox are positioned as entry-level tools for recording from neurons, with eleitl eyeing the pond snail Lymnaea stagnalis as a first upload target.  
- Cryonics infrastructure collapse: Eugen Leitl’s lab shut down after an investor pulled out; participants concluded that crowdfunding alone cannot fix structural barriers to long-term biostasis projects.  
- Biohacker-space economics snapshot: LA Biohackers stays solvent via dues and paid classes, while Biocurious is “going down in flames” with only 10 active members and ~$6 k monthly burn.  
- Marine-bio 3-D printing experiment: a new LA Biohackers member is embedding sponge cells in gelatin scaffolds so that blended chimeric sponges can self-reassemble into larger structures.  
- Cell-line authentication enters the market: Science Exchange now offers commercial STR profiling for mouse lines, citing >30 % contamination rates in published research.  
- Browser-as-GUI toolkit debate: CEF-Python explored for bidirectional Python↔JavaScript bindings, with participants weighing web stacks against Qt/GTK for long-term maintainability by non-programmers.  
- Historical automation visions revisited: James S. Albus’s 1976 “Robocrane” (cable-driven 6-DOF Stewart platform) and his “Peoples’ Capitalism” basic-income proposal were linked to modern discussions of self-replicating industrial systems and post-scarcity economics.