• A pre-print titled “The demise of the synapse as the locus of memory” challenges the prevailing view that synaptic plasticity is the sole substrate of memory, urging neuroscientists to consider alternative mechanisms for learning and recall.

• Near-atomic cryo-EM structures of the bacterial Type IVa pilus motor ATPases PilB and PilT reveal clockwise vs. counter-clockwise rotational mechanisms that generate piconewton-scale forces, explaining twitching motility, biofilm formation, and virulence.

• Discussion of “sane personal computing” manifestos that require all executable code to be human-readable source highlighted the tension between formal verifiability and practical debugging of compilers and operating systems, with half-serious proposals to build a web browser in Coq to eliminate entire classes of exploits.

• Zero-knowledge systems like Zcash were criticized for their reliance on a “trusted setup” (Common Reference String); if any participant retains the toxic CRS parameters, undetectable infinite inflation or total deanonymization becomes possible, exposing severe social-trust risks.

• Participants called for a “less sucky” successor to mRNA display for in-vitro directed evolution, referencing a 2006 paper on in-vitro compartmentalization as prior art.

• nmz787_ shared an open-source 3-D microfluidic routing solver written in MonoSAT that encodes multi-net channel layout as a SAT problem, aiming to scale beyond previous grid-based methods that explode in variable count.

• OpenTimestamps (opentimestamps.org) was presented as a practical, scalable Bitcoin-backed timestamping tool; kanzure demonstrated its use for timestamping Wikipedia dumps and magnet-link collections to prove data integrity and defend against back-dating claims.

• Peter Todd’s open-source PCB design suite “tuke” (github.com/petertodd/tuke) supports Bézier-curve traces, aiming to move beyond traditional 45°/90° routing constraints, while TopoR, a Russian topological PCB auto-router, was discussed as an alternative curved-trace approach.