seminar-40

Author: Rob1Ham

content/2026-02-10-socratic-seminar-40.md

@@ -0,0 +1,88 @@
++++
+title = "NashBitDevs Socratic Seminar #40"
+template = "post.html"
+[extra]
+meetup_id = "311856711"
++++
+
+### Agenda
+
+5:00pm Meet and greet and pizza
+6:00pm Socratic seminar discussion of various bitcoin topics
+7:30pm Further hangout TBD
+
+### Location
+
+The event is hosted at [**Bitcoin Park**](https://bitcoinpark.com):
+
+VIP conference room
+1910 21st Ave S
+Nashville, TN  37212
+
+[Map](https://www.google.com/maps/place/1910+21st+Ave+S,+Nashville,+TN+37212/@36.1347819,-86.8029863,17z/data=!3m1!4b1!4m5!3m4!1s0x8864669fea1ce71d:0xdc34986293b94f39!8m2!3d36.1347819!4d-86.8007923)
+
+[Parking Info](/about/bitcoinpark-parking)
+
+### Announcements
+
+Join us for the NashBitDevs [Socratic Seminar](/about)! A special thank you to our
+sponsors [Bitcoin Park](https://bitcoinpark.co/) for hosting us and for providing the pizza.
+
+### Reminders
+
+  - No photos, videos, audio recording
+  - [Chatham House Rule](https://www.chathamhouse.org/about-us/chatham-house-rule)
+  - Leave the meeting space as clean as you found it
+  - Suggest topics for the next Socratic Seminar! [Where to find topics?](/about/find-topics)
+  - Use sats to pay for drinks from the cafe via the BTCPay server terminal
+
+### Raffle
+
+  - Guess the [next block nonce](https://nonce.lab.bitcoinpark.com/)
+    - Must be 8 hex characters, `0-9` and `A-F`, eg. `9A74E2B1`
+  - Winner(s) ranked by numeric closeness to next block nonce
+
+### Socratic Seminar
+
+#### News
+
+- [Fedi is now fully open source](https://x.com/fedibtc/status/2007139666328465726)
+
+#### Mailing List Discussion
+
+- [Falcon Post-Quantum Signature Scheme Proposal](https://groups.google.com/g/bitcoindev/c/PsClmK4Em1E)
+- [libsecp256k1 0.7.1 released](https://groups.google.com/g/bitcoindev/c/3MK8KdX-hjc)
+- [QRAMP addition: Alternative to legacy freeze: "quarantine-mode" legacy spends via two-phase destination commitment](https://groups.google.com/g/bitcoindev/c/8UnhPg0JZ6w)
+- [Hash-Based Signatures for Bitcoin's Post-Quantum Future](https://groups.google.com/g/bitcoindev/c/gOfL5ag_bDU)
+- [Follow-up regarding Motion to Activate BIP 3](https://groups.google.com/g/bitcoindev/c/Sh4I6ogv_sE)
+
+#### Bitcoin Projects
+
+##### Core
+
+- [p2p: send first addr self-announcement in separate message bitcoin#34146](https://github.com/bitcoin/bitcoin/pull/34146)
+- [doc: Use multipath descriptors in descriptors.md and linked test bitcoin#34100](https://github.com/bitcoin/bitcoin/pull/34100)
+- [Fix 11-year-old mis-categorized error code in OP_IF evaluation bitcoin#32143](https://github.com/bitcoin/bitcoin/pull/32143)
+
+##### BDK
+
+- [Add median-time-past (MTP) calculation to CheckPoint bdk#2037](https://github.com/bitcoindevkit/bdk/pull/2037)
+
+##### BIPs
+
+- [BIP346: OP_TXHASH bips#1500](https://github.com/bitcoin/bips/pull/1500)
+- [BIP 433: Add P2A BIP bips#1982](https://github.com/bitcoin/bips/pull/1982)
+- [BIP 110: Reduced Data Temporary Softfork](https://github.com/bitcoin/bips/blob/master/bip-0110.mediawiki)
+
+##### Bitcoin Inquisition
+
+- [Add BIP 54 (Great Consensus Cleanup) support](https://github.com/bitcoin-inquisition/bitcoin/pull/99)
+
+#### Lightning Projects
+
+- [Programming Lightning Course](https://github.com/Beige-Coffee/programming-lightning-payment-channels)
+- [A Mathematical Theory of Payment Channel Networks](https://arxiv.org/pdf/2601.04835)
+
+#### New Work / Research
+
+- [Bithoven: A Formally Verified Imperative Smart Contract Language for Bitcoin](https://delvingbitcoin.org/t/bithoven-a-formally-verified-imperative-smart-contract-language-for-bitcoin/2189)