Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants
Weekend reads: ChatGPT ignores retractions; the ‘Swiss Cheese Model’ for flagging papers; plagiarism in the age of AI
retractionwatch.com·3h
The long season of langdev
blog.fogus.me·4d
Colt Technical Services gets ransomware’d via SharePoint initial access— some learning points
doublepulsar.com·20h
ChatLoopBackOff: Episode 67 (Kserve)
youtube.com·1d
Loading...Loading more...