Hacker News new | ask | show | jobs
by zimo3000 524 days ago
Yes that’s a valid question and the reason is because I havent’t yet got to convert all of them to SMT.