Obsidian plugin was abused to deploy a remote access trojan
Hacker News (score: 31)Description
More from Hacker
Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons.<p>The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps.<p>Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM.<p>Also check out the web demo built around the verified core linked in the readme: <a href="https://schildep.github.io/verified-polygon-intersection/" rel="nofollow">https://schildep.github.io/verified-polygon-intersection/</a>. It supports multipolygons including holes, self intersections, and overlapping edges.
No other tools from this source yet.