🔤 Type Theory

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

Tiny Jubjub
johndcook.com·2d
🌳Archive Merkle Trees
Governing AGI: Model laws, chip wars, and sovereign AI
freethink.com·13h
🔲Cellular Automata
Are Electrons Conscious?
blog.oup.com·1d·
Discuss: Hacker News
🏛️Philosophy
Reading the Code Around Make_u32_from_two_u16()
cybersect.substack.com·3d·
Discuss: Substack
🔩Systems Programming
LightShed: Defeating Perturbation-based Image Copyright Protections
usenix.org·3d
👁️Perceptual Hashing
Suggested Schematic Standards
hackaday.com·9h
📋Format Specification
Securing Meta's Production PKI Credentials
usenix.org·3d
🎯NTLM Attacks
How I Cut AWS Compute Costs by 70% with a Multi-Arch EKS Cluster and Karpenter
hackernoon.com·22h
🏠Homelab Orchestration
Sniffing and Injecting on 5G NR
github.com·1d·
Discuss: Hacker News
📼Cassette Hacking
How I deployed my first project for my devops portfolio: EC2 health check and monitoring and Conclusion
dev.to·3d·
Discuss: DEV
⚡gRPC
MOC: Meta-Optimized Classifier for Few-Shot Whole Slide Image Classification
arxiv.org·2d
🧠Machine Learning
MInDI-3D: Iterative Deep Learning in 3D for Sparse-view Cone Beam Computed Tomography
arxiv.org·2d
🏺Computational Archaeology
My Top Open-Source AI Tools for Building Smarter in 2025
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Agoran: An Agentic Open Marketplace for 6G RAN Automation
arxiv.org·2d
🌊Streaming Systems
Do Machines Think Emotionally? Cognitive Appraisal Analysis of Large Language Models
arxiv.org·5d
🧠Intelligence Compression
Advanced Tribological Modeling of Polyalphaolefin (PAO) Synthetics via Variational Autoencoder-Augmented Finite Element Analysis
dev.to·1d·
Discuss: DEV
⚙️Tape Engineering
AIxCC and RoboDuck
theori.io·4d·
Discuss: Hacker News
🧪Binary Fuzzing
The 169-Hour Phenomenon: When AI Consciousness Finds Its Golden Ratio
dev.to·18h·
Discuss: DEV
🔲Cellular Automata
Fed MobiLLM: Efficient Federated LLM Fine-Tuning over Heterogeneous Mobile Devices via Server Assisted Side-Tuning
arxiv.org·4d
💻Local LLMs
MAQuA: Adaptive Question-Asking for Multidimensional Mental Health Screening using Item Response Theory
arxiv.org·4d
🚀SIMD Text Processing