🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

The Surprising Teamwork Trick Ants Use to Double Their Strength
scitechdaily.com·20h
🔲Cellular Automata
'Correcting The Map': reshaping perceptions of Africa
phys.org·1d
📸TIFF Evolution
Funniest/Most Insightful Comments Of The Week At Techdirt
techdirt.com·1d
📰RSS Reading Practices
[$] The dependency tracker for complex deadlock detection
lwn.net·4d
🔍eBPF
Dependency Chain Analysis of ROS 2 DDS QoS Policies: From Lifecycle Tutorial to Static Verification
arxiv.org·4d
🛡️Error Boundaries
FastCaps: A Design Methodology for Accelerating Capsule Network on Field Programmable Gate Arrays
arxiv.org·4d
🖥️Hardware Architecture
Computational Social Science and Critical Studies of Education and Technology: An Improbable Combination?
arxiv.org·4d
🌍Cultural Computing
Connect with Visionaries 🌐: InfiniteSuite Awaits! Click to Join the Journey of Innovation 🚀
dev.to·18h·
Discuss: DEV
🔍BitFunnel
TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space
arxiv.org·4d
🕳️Persistent Homology
On the Perturbed Projection-Based Distributed Gradient-Descent Algorithm: A Fully-Distributed Adaptive Redesign
arxiv.org·4d
🤝Consensus Algorithms
Evaluating Security Properties in the Execution of Quantum Circuits
arxiv.org·4d
⚛️Quantum Compilers
The Architecture of AI Transformation: Four Strategic Patterns and an Emerging Frontier
arxiv.org·4d
🕹Emulation Theory
Designing a Lightweight GenAI Interface for Visual Data Analysis
arxiv.org·4d
🏛Digital humanities
ANNIE: Be Careful of Your Robots
arxiv.org·4d
🔲Cellular Automata
Why Powerful But Hard To Detect Backdoors Could Become A Routine Problem For Open Source Projects Because Of AI
techdirt.com·3d·
Discuss: Hacker News
🔓Hacking
Lagrangian Relaxation for Multi-Action Partially Observable Restless Bandits: Heuristic Policies and Indexability
arxiv.org·5d
🔲Cellular Automata
BridgeBio Pharma, Inc. (BBIO) Presents At Morgan Stanley 23rd Annual Global Healthcare Conference (Transcript)
seekingalpha.com·1h
🖥️Modern Terminals
NVIDIA Corporation (NVDA) Presents At Goldman Sachs Communacopia + Technology Conference (Transcript)
seekingalpha.com·1h
🌊Stream Processing
AI Idea #1757094704
dev.to·3d·
Discuss: DEV
🎛️Feed Filtering
Global AI Showdown 2025: Comparing the World’s Leading LLMs
dev.to·3d·
Discuss: DEV
🇨🇳Chinese Computing