Verification, Type-level Programming, Safety Proofs, Linear Types
Twittering Machines: LS1c is a magical looking glass
grimmaudio.com·1d
FOSS Weekly #25.34: Mint 22.2 Features, FreeVPN Fiasco, Windows Update Killing SSDs, AI in LibreOffice and More
itsfoss.com·3d
AI Killed My Job: Translators - by Brian Merchant
bloodinthemachine.com·2d
Much Ado About Vibe Coding
kottke.org·2d
Orange Belgium July data breach impacted 850,000 customers
securityaffairs.com·2d
DashCam Video: A complementary low-cost data stream for on-demand forest-infrastructure system monitoring
arxiv.org·6d
GitLab 18.3: Expanding AI orchestration in software engineering
about.gitlab.com·3d
Loading...Loading more...