2024-06-06 UTC
# 
capjamesg[d] I know you like text summaries [tantek]. Here is mine: "FB Infer was built by listening to engineers’ problems and coming up with solutions to those; undecidability problems are more tractable if you approximate results, or work on a limited subset instead of the general case. — start from a single case, then grow from there. Work by hand first.