🔤 Type Theory

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

Hook Version 3: The Banking Trojan with The Most Advanced Capabilities
zimperium.com·2d
🛡️ARM TrustZone
Over-Filtering The Internet
tedium.co·1d
📡DNS Archaeology
Evidence of active sound production by a shark
royalsocietypublishing.org·3d·
Discuss: Hacker News
📡Frequency Archaeology
Show HN: An AI Tool to Summarize YouTube Videos
vdown.me·22h·
Discuss: Hacker News
⚖️Feed Ranking
Agile: Rise, Fall and What Remains
taoem.com·2d·
Discuss: Hacker News
🔄Language Evolution
Which is the stronger password? g72$l#pT9a or –.COW
ianmccloy.com·2d·
Discuss: Hacker News
🔓Password Cracking
The genius of trees: how forests have shaped humanity, from chocolate cravings to our ability to dream
theguardian.com·2d
🌍Cultural Algorithms
Do Nothing Preemption
papers.ssrn.com·2d·
Discuss: Hacker News
⚖️Hoare Logic
Why Some Companies Scale Effortlessly While Others Hit Walls
adia.substack.com·2d·
Discuss: Substack
🔌Interface Evolution
Research into stability of foams finds a valuable test subject in a tall glass of beer
phys.org·1d
☕Precision Brewing
End Application Bottlenecks
dev.to·16h·
Discuss: DEV
🌊Stream Processing
Study Links Thumb Length to Brain Size and Cognition
neurosciencenews.com·1d·
Discuss: Hacker News
✋Tactile Computing
Python for Optimizing IoT Device Control in Carboxytherapy
dev.to·2d·
Discuss: DEV
🖥️Modern Terminals
Best 10 AI Coding Sites in 2025: Which One Should You Trust?
medium.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Boosting Laravel Boost
dev.to·3d·
Discuss: DEV
🦀Rust Macros
US startup set to test new CPU that could herald the era of Exaflop on a single chip - I still can't believe Neurophos's OPU claims to deliver 234 POPS with a 1...
techradar.com·3h
🌊Stream Processing
The New Currency War: US Stablecoin-China Digital Yuan Rivalry as a Test of Monetary Discipline
nakedcapitalism.com·17h
🤝Distributed Consensus
Beyond the Hype: Why Tailored AI is the Only AI That Truly Works
dev.to·9h·
Discuss: DEV
⚡Incremental Computation
What’s hierarchical about a hierarchical wallet?
johndcook.com·4d
🌳Archive Merkle Trees
Unlocking the Power of Kuma Service Mesh: Enhancing Reliability and D... Deepak Verma & Arpit Mishra
youtube.com·1d
🕸️Mesh Networking