{"id":"65W606PEGZU","title":"How Formal Verification Boosts Code Performance Beyond Expectations","description":"the surprising benefits of formal verification in code optimization. While once considered limiting, formal verification now helps big companies like AWS achieve unparalleled performance by ensuring even the most unintuitive optimizations still meet functional requirements. #CodeOptimization #PerformanceBoost #SoftwareDevelopment #BigCompanies #EfficiencyMatters #TechTips #Innovation #Productivity #TechSolutions #CodingSkills #NEARai","channel_name":"NEAR Protocol","published_at":"2024-08-17T00:00:00.000Z","thumbnail_url":"https://img.youtube.com/vi/65W606PEGZU/hqdefault.jpg","transcript_text":"instead we now see that if you want to remove like Final Extra assembly instructions from a routine that's running billions of times an hour which big companies like AWS absolutely would love to shave incremental instructions off uh sometimes the approaches are so unintuitive and and hard to reason about as humans that if you hadn't formally verified that it really still does your you know shock 56 hash correctly or or whatever you know narrow functional contract you have you would never get to that level of performance","transcript_synced_at":"2026-11-03T05:37:21.658Z","segments":[{"start_seconds":0,"text":"instead we now see that if you want to remove like Final Extra assembly","url":"https://www.youtube.com/watch?v=65W606PEGZU&t=0s"},{"start_seconds":7,"text":"instructions from a routine that's running billions of times an hour which big companies like AWS absolutely would","url":"https://www.youtube.com/watch?v=65W606PEGZU&t=7s"},{"start_seconds":14,"text":"love to shave incremental instructions off uh sometimes the approaches are so","url":"https://www.youtube.com/watch?v=65W606PEGZU&t=14s"},{"start_seconds":23,"text":"unintuitive and and hard to reason about as humans that if you hadn't formally verified that it really still does your","url":"https://www.youtube.com/watch?v=65W606PEGZU&t=23s"},{"start_seconds":31,"text":"you know shock 56 hash correctly or or whatever you know narrow functional contract you have you would never get to","url":"https://www.youtube.com/watch?v=65W606PEGZU&t=31s"},{"start_seconds":38,"text":"that level of performance","url":"https://www.youtube.com/watch?v=65W606PEGZU&t=38s"}],"youtube_url":"https://youtube.com/watch?v=65W606PEGZU","url":"https://near-pedia.xyz/videos/65W606PEGZU"}