Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
Questions and answers on AI and verification: follow-up to my May ACM Tech Talk
(
bertrandmeyer.com
)
4 points
by
rbanffy
16 hours ago
