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,407,632
2026-08-23 10:25 UTC
3 points
by birdculture
12 days ago
0 comments
Prior reposts (2 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
14 days ago
0 comments
#
Programming Language Semantics and Memory Safety
(burakemir.ch)
HN #49,396,875
2026-08-22 05:38 UTC
1 points
by matt_d
14 days ago
0 comments