#trustingcomputers — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #trustingcomputers, aggregated by home.social.
-
🤔 Wow, what a groundbreaking revelation: trusting computers is tricky! Meanwhile, arXiv's got job openings—because who wouldn't want to work somewhere that makes "formal uncertainty" sound like a Friday night stand-up routine? 😂💼
https://arxiv.org/abs/2505.20047 #trustingcomputers #formaluncertainty #jobopenings #arXiv #humor #intech #HackerNews #ngated