🔤 Type Theory

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

Check Point Named a Leader in the 2025 Gartner Magic Quadrant for Hybrid Mesh Firewalls
blog.checkpoint.com·21h
🕸️Mesh Networking
How DPE can speed development — and boost your AppSec
reversinglabs.com·21h
🔩Systems Programming
SOC Visibility Quad: Why Application Telemetry Completes the Framework | Oligo Security
oligo.security·23h
👁️System Observability
Cheating is the least AI can do
vox.com·1h
🚀Indie Hacking
Calvinball Makes the Supreme Court
supremecourt.gov·1d·
Discuss: Hacker News
🏛️Philosophy
Common Antenna Integration Challenges (In Gaming Mouse) and How to Handle Them
allaboutcircuits.com·19h·
Discuss: Hacker News
⚡Circuit Archaeology
Vibe coding is here to stay — but engineers and computer scientists say 'learn to code' is still good advice
businessinsider.com·1h
🎙️Whisper
Devious Tricks Pathogens Use Against Us (2024)
rachel.fast.ai·3d·
Discuss: Hacker News
🔲Cellular Automata
We're no longer at our unhappiest during middle age
newscientist.com·17h
🎨Nordic Design
This Plant-Inspired Molecule Could Be the Key to Artificial Photosynthesis
scitechdaily.com·15h
🌈Spectroscopy
Evaluating Long-Term Conversational Memory of LLM Agents
arxiv.org·3d·
Discuss: Hacker News
📝ABNF Parsing
One long sentence is all it takes to make LLMs misbehave
theregister.com·2d·
Discuss: Hacker News
💻Local LLMs
WhatsApp’s new AI-powered writing helper could help you avert another awkward conversation disaster
techradar.com·1h
🎙️Whisper
**High-Performance Packet Processing: Combining eBPF, XDP, and Go for Million-Packet-Per-Second Throughput**
dev.to·2d·
Discuss: DEV
🛡️eBPF Programs
Hybrid Quantum-Classical Learning for Multiclass Image Classification
arxiv.org·2d
⚛️Quantum Codes
Speech-Based Depressive Mood Detection in the Presence of Multiple Sclerosis: A Cross-Corpus and Cross-Lingual Study
arxiv.org·2d
🎙️Whisper
Driving AI Visibility in Search with Smart LLM Optimization
dev.to·1d·
Discuss: DEV
📊Feed Optimization
What can make AI companies pay for data instead of scraping?
dev.to·16h·
Discuss: DEV
🚀Indie Hacking
Co-Optimization of EV Charging Control and Incentivization for Enhanced Power System Stability
arxiv.org·2d
📐E-graphs
My First Wikimania: A Journey, an Immersion, an Inspiration
diff.wikimedia.org·2h
🏛Digital humanities