![Screenshot of youtube.com: Strange Loops: journeys in declarative logic programming in genomics [video]](https://hn.urlbox.com/shots/renders/2023/11/30/02843a2b-724e-4c2a-9604-0948e1f21808.jpg)
![Screenshot of youtube.com: Towards Higher-Level Abstractions for Molecular Programming [video]](https://hn.urlbox.com/shots/renders/2023/11/30/ca4b6313-93f7-408c-b576-0b30937aa17f.jpg)
First screen, captured .
Looks similar
![Screenshot of youtube.com: Mechanochemistry of Molecular Motors [video]](https://hn.urlbox.com/shots/renders/2026/10/1/c7303850-855b-4d90-9539-314c4bb3c8a3.jpg)
Mechanochemistry of Molecular Motors [video](youtube.com)
11 points by surprisetalk | 2 comments
YouTube video of a Foresight Institute talk by Jonathon Howard on the mechanochemistry of molecular motors.
![Screenshot of youtube.com: What we learned from C++ atomics and memory model standardization [video]](https://hn.urlbox.com/shots/renders/2024/3/4/5c826977-4b94-4544-8418-0438d432e1f5.jpg)
![Screenshot of youtube.com: Machine Assisted Proof [video]](https://hn.urlbox.com/shots/renders/2024/2/15/f2b223a5-01a5-4922-934f-6fb694c091f6.jpg)
Machine Assisted Proof [video](youtube.com)
204 points by stefanpie | 78 comments
![Screenshot of youtube.com: Math's pedagogical curse – Grant Sanderson [video] (2023)](https://hn.urlbox.com/shots/renders/2026/10/4/0ece93c4-08a4-4a65-a31b-97d586312ec1.jpg)
Math's pedagogical curse – Grant Sanderson [video] (2023)(youtube.com)
62 points by bobajeff | 30 comments
YouTube video of Grant Sanderson's JPBM Communications Award lecture at the 2023 Joint Mathematics Meetings, titled "Math's pedagogical curse."
![Screenshot of youtube.com: 2024 MIT Integration Bee – Finals [video]](https://hn.urlbox.com/shots/renders/2024/2/28/eb7a0471-35cf-467e-a4df-6628bea15109.jpg)