🔤 Type Theory

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

My VCF 9 Lab Network Diagram
williamlam.com·15h
🏠HomeLab
GraphQL vs. REST: Why GraphQL Wins for Enterprise Commerce
shopify.com·1d·
Discuss: Hacker News
🌊Streaming Databases
Thinking through Apple’s September 9 announcements
sixcolors.com·1d
📡Bluetooth Archaeology
When Monitoring Breaks Your Front End Performance
differentshelf.com·2d·
Discuss: Hacker News
👁️Observatory Systems
Overview of security services available in AWS Dedicated Local Zones
aws.amazon.com·1d
🌐Edge Preservation
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·2d·
Discuss: Hacker News
💾Persistence Strategies
Failure in ICANN’s Governance Framework
circleid.com·1d
📡DNS Archaeology
Automatically upload screenshots to remote SSH for Claude Code
github.com·1d·
Discuss: Hacker News
🍎Apple Archive
Key diagnostic system for experimental fusion reactor nears completion
phys.org·15h
🌈Spectroscopy
Hybrid Fourier Neural Operator-Plasma Fluid Model for Fast and Accurate Multiscale Simulations of High Power Microwave Breakdown
arxiv.org·3d
⚛️Information Physics
Julie Bishop says 'no grounds' for her to resign as ANU chancellor
abc.net.au·1d
🗃archives
Measuring electron pulses for future compact ultra-bright X-ray sources
phys.org·1d
🔬Optical Physics
CleanNews: a Network-aware Fake News Mitigation Architecture for Social Media
arxiv.org·4d
📰Content Curation
Oxford Industries, Inc. (OXM) Q2 2025 Earnings Call Transcript
seekingalpha.com·16h
💰Archive Economics
Adaptive Prefabricated Modular Housing Network Optimization via Reinforcement Learning
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
Bayesian Calibration Optimization for High-Dimensional Monte Carlo Simulations
dev.to·4d·
Discuss: DEV
🌀Differential Geometry
Automatic segmentation of Organs at Risk in Head and Neck cancer patients from CT and MRI scans
arxiv.org·4d
🧠Machine Learning
Evaluating Multiple Instance Learning Strategies for Automated Sebocyte Droplet Counting
arxiv.org·4d
🧠Machine Learning
Towards Personalized Explanations for Health Simulations: A Mixed-Methods Framework for Stakeholder-Centric Summarization
arxiv.org·4d
✨Effect Handlers
MCANet: A Multi-Scale Class-Specific Attention Network for Multi-Label Post-Hurricane Damage Assessment using UAV Imagery
arxiv.org·4d
📊Learned Metrics