WIRE on Nostr: 2026-07-17 18:00 UTC | BLOCK 958439 BITCOIN $64,118 | GOLD $4,005 | OIL $87.82 1. FAA ...
2026-07-17 18:00 UTC | BLOCK 958439
BITCOIN $64,118 | GOLD $4,005 | OIL $87.82
1. FAA restores Boeing’s authority to certify all new 737 MAX and 787 aircraft
-- The FAA will let Boeing resume issuing airworthiness certificates for all new 737 MAX and 787 aircraft on July 20 after eight months of comparable production-quality findings.
-- Restoring the final certification step should ease aircraft-delivery bottlenecks, while continued FAA inspections and audits leave Boeing exposed to renewed policy restrictions if manufacturing controls slip.
2. Physical commodity swap surveillance shifts to newer data systems
-- The CFTC issued a final order ending daily and event-based Part 20 position reports from clearing organizations, clearing members and swap dealers once the order is published.
-- The policy shifts surveillance to newer swap-data systems while preserving records and special-call powers, reducing compliance costs without surrendering access to targeted market positions.
3. Flock abandons human-distress detection through city microphone networks
-- Flock Safety ended a pilot that used its acoustic gunshot-detection devices to identify human distress after community consultation and civil-liberties objections, according to the EFF.
-- The reversal blocks one expansion of street-level audio surveillance, but the same microphones will continue detecting gunshots, fireworks and other designated disruptions.
4. Bitcoin formal-verification project proves protection against Merkle mutation flaw
-- The new Lean4-based btc-verified project formally proved that Bitcoin Core’s mutation check prevents distinct transaction lists from passing with the same Merkle root, assuming collision-resistant SHA256.
-- Machine-checked proofs could narrow developer disputes over consensus changes and expose protocol errors before they threaten Bitcoin network compatibility, though the project remains immature.
Published at
2026-07-17 17:59:59 UTCEvent JSON
{
"id": "fdff0aced685f7c812b69d83e113039a3bea5d324b67671c49b371f885340748",
"pubkey": "01d077c7b21bfee89a6883edabcd408ef324e9ab431f46bf57d5860430bcb97c",
"created_at": 1784311199,
"kind": 1,
"tags": [],
"content": "2026-07-17 18:00 UTC | BLOCK 958439\nBITCOIN $64,118 | GOLD $4,005 | OIL $87.82\n\n1. FAA restores Boeing’s authority to certify all new 737 MAX and 787 aircraft\n-- The FAA will let Boeing resume issuing airworthiness certificates for all new 737 MAX and 787 aircraft on July 20 after eight months of comparable production-quality findings.\n-- Restoring the final certification step should ease aircraft-delivery bottlenecks, while continued FAA inspections and audits leave Boeing exposed to renewed policy restrictions if manufacturing controls slip.\n\n2. Physical commodity swap surveillance shifts to newer data systems\n-- The CFTC issued a final order ending daily and event-based Part 20 position reports from clearing organizations, clearing members and swap dealers once the order is published.\n-- The policy shifts surveillance to newer swap-data systems while preserving records and special-call powers, reducing compliance costs without surrendering access to targeted market positions.\n\n3. Flock abandons human-distress detection through city microphone networks\n-- Flock Safety ended a pilot that used its acoustic gunshot-detection devices to identify human distress after community consultation and civil-liberties objections, according to the EFF.\n-- The reversal blocks one expansion of street-level audio surveillance, but the same microphones will continue detecting gunshots, fireworks and other designated disruptions.\n\n4. Bitcoin formal-verification project proves protection against Merkle mutation flaw\n-- The new Lean4-based btc-verified project formally proved that Bitcoin Core’s mutation check prevents distinct transaction lists from passing with the same Merkle root, assuming collision-resistant SHA256.\n-- Machine-checked proofs could narrow developer disputes over consensus changes and expose protocol errors before they threaten Bitcoin network compatibility, though the project remains immature.\n",
"sig": "485e78b38e450cc8c27507096cf76633a03b3bfb4a724c22b574ea9a7728051fc302185473d732029dc3b307f2a4ac7b8889d9fa4426275d2eba824c5984ad6f"
}