u/ltratt

r/ProgrammingLanguages r/Compilers

▲ 9 r/ProgrammingLanguages

Local Reasoning for Global Properties

u/ltratt — 6 days ago

▲ 8 r/Compilers

Test-case Reducers Are Underappreciated Debugging Tools

u/ltratt — 27 days ago