🔤 Type Theory

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

Strengthening Digital Rights Knowledge: August Progress in Sudan and Somalia
diff.wikimedia.org·1d
📇Dublin Core
Why your AI factory’s biggest bottleneck isn’t the GPU — it’s the network
blog.apnic.net·2d
🌊Stream Processing
kamailio/kamailio
github.com·4d
🔓Open Source Software
Tit-For-Tat Gerrymandering Wars Won’t End Soon – What Happens in Texas and California Doesn’t Stay There
nakedcapitalism.com·21m
🏛️Byzantine Archiving
The Two Versions of Parquet
jeronimo.dev·2d·
Discuss: Hacker News
💾Database Formats
Easy will always trump simple
surfingcomplexity.blog·6d·
Discuss: Hacker News, Hacker News
🏗️Compiler Archaeology
Experimental determination of partial charges with electron diffraction
nature.com·3d
🌈Spectroscopy
Web Developers for Hire: Your Guide to Finding Skilled Professionals
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Learning from punishment: Model makes sense of the cognitive processes humans use
phys.org·2d
🔲Cellular Automata
AI Agents Authentication: How to secure agentic Logins
dev.to·2d·
Discuss: DEV
🔐PAKE Protocols
⚡ Go Arenas: Request‑Scoped Speed in 2025
dev.to·3d·
Discuss: DEV
⚡gRPC
LM Agents May Fail to Act on Their Own Risk Knowledge
arxiv.org·4d
🎯Threat Hunting
Navigating the New Landscape: A Conceptual Model for Project-Based Assessment (PBA) in the Age of GenAI
arxiv.org·5d
🗺️Competency Maps
Taming the AI Beast: How CAPI Lets You Provision Kubernetes Anywhere for Bursty Workloads
dev.to·14h·
Discuss: DEV
🏠Homelab Orchestration
Will your existing API work with AI agents?
dev.to·3d·
Discuss: DEV
⚡gRPC
LitForager: Exploring Multimodal Literature Foraging Strategies in Immersive Sensemaking
arxiv.org·2d
🏛Digital humanities
Dimension-Decomposed Learning for Quadrotor Geometric Attitude Control with Almost Global Exponential Convergence on SO(3)
arxiv.org·3d
🌀Differential Geometry
Application Modernization: Turning Old Systems into Future-Ready Platforms
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
My AI Unit Test Agent is Alive! Now for Part 2: The QA Agent 🤖
dev.to·2d·
Discuss: DEV
🏠Homelab Pentesting
Imperfect light sources achieve new benchmark in secure quantum communication
phys.org·2d
🔐Quantum Cryptography