Curry-Howard, Proposition Types, Constructive Logic, Verification
Pulumi
jmduke.comยท21h
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.deยท1d
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese Medical Texts
arxiv.orgยท17h
Towards Trustworthy Agentic IoEV: AI Agents for Explainable Cyberthreat Mitigation and State Analytics
arxiv.orgยท17h
Loading...Loading more...