Zellic's and V12's Work on x86 Binary Formal Verification

hey guys im new at dev.to let's connect

More people should build browsers

Article URL: https://seg6.space/posts/electron-browser/ Comments URL: https://news.ycombinator.com/item?id=50340539 Poin

Byesky: Wipe your Bluesky account clean

Article URL: https://byesky.pirhoo.com Comments URL: https://news.ycombinator.com/item?id=50340601 Points: 1 # Comments:

Electric trucks hit 50% of China's heavy truck sales, diesel demand falls

Article URL: https://electrek.co/2026/11/02/electric-trucks-50-percent-china-heavy-truck-sales-diesel-demand/ Comments U

Poles and polars in projective space with homogeneous coordinates

Article URL: https://www.johndcook.com/blog/2026/11/01/projective-poles-and-polars/ Comments URL: https://news.ycombinat

Making Peace with the Projective Plane

Article URL: https://www.johndcook.com/blog/2026/11/02/projective-plane/ Comments URL: https://news.ycombinator.com/item