Resource Awareness, Session Types, Proof Nets, Substructural Logic
Interest(s)
languagelog.ldc.upenn.edu·3d
Winning the Game You Didn’t Choose: The Case for External Cyber Defense in Government and Education
blog.checkpoint.com·2d
3D-printed PCB made with PVA and liquid metal is fully recyclable — dissolves and separates when immersed in water, allowing for later re-use
tomshardware.com·11h
Empowering cybersecurity product managers with LangChain
datasciencecentral.com·4d
Is your data ready? This is the biggest mistake businesses make when building AI systems
techradar.com·2d
Beyond Brainstorming: What Drives High-Quality Scientific Ideas? Lessons from Multi-Agent Collaboration
arxiv.org·2d
Loading...Loading more...