HN Trends Tracker
backend ok
Repost history
Back to feed
Canonical URL: https://burakemir.ch/post/formal-semantics
Current story
#
Programming Language Semantics and Memory Safety
(burakemir.ch)
HN #49,396,875
2026-08-22 05:38 UTC
1 points
by matt_d
15 days ago
0 comments
Prior reposts (1 of 3 total)
#
Programming Language Semantics and Memory Safety
(burakemir.ch)
HN #49,389,417
2026-08-21 15:16 UTC
2 points
by burakemir
15 days ago
0 comments