You're viewing the discuss.systems public feed.

burakemirburakemir
Aug 21, 2026, 2:56 PM
Writing on memory safety and formal semantics. Just an explanation of operational, denotational and axiomatic semantics, with a discussion on UB and unsafe at the end.
These blog posts will continue until security improves! https://burakemir.ch/post/formal-semantics/ #memorysafety
💬 1🔄 8⭐ 14

Replies

MZX7vT9tpZlDMZX7vT9tpZlD@mastodon.social
Aug 21, 2026, 5:57 PM
@burakemir
Thank you for this interesting blog. As someone who is not very deep into PL and semantics, this is easy to understand and opens another point of view!
💬 1🔄 0⭐ 0
burakemirburakemir
Aug 21, 2026, 6:23 PM
@MZX7vT9tpZlD My pleasure and thanks for the acknowledgement! I am always looking for good ways to explain. If only grad students know this stuff we will never advance collectively.
💬 0🔄 0⭐ 1