
Anderson Nascimento
@andersonc0d3
Founder & Security Researcher @allelesecurity Mastodon: @[email protected] Bluesky: @andersonc0d3.bsky.social
ID: 95211322
https://blog.andersonc0d3.io 07-12-2009 14:36:17
8,8K Tweet
2,2K Followers
2,2K Following








I just found out about correctness kernels of abstract interpretation, a paper by Roberto Giacobazzi Roberto Giacobazzi🇮🇹🇺🇸🇫🇷⛳️🌵 and Francesco Ranzato. This allows abstraction simplification, the dual of abstraction refinement. I believe to have found a new interesting application for this!

Earlier this year, a 17-year-old high school student named Hannah Cairo solved a 40-year-old mystery about how waves behave, surprising and exciting mathematicians. Kevin Hartnett reports: quantamagazine.org/at-17-hannah-c…







An extremely informative article on HVCI & VBS, recommended reading! connormcgarr.github.io/hvci/ Connor McGarr - his whole blog is an absolute goldmine of information to cook your brain



