🔤 Type Theory

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

Digital accessibility in a post-EAA deadline world: Actionable advice for developments in the Netherlands and France
deque.com·2d
✋Tactile Computing
Beer Drinkers Are Mosquito Magnets, According To a Festival Study
science.slashdot.org·3h
🎵Music Universality
Careers Are More Than Ladders: They're Cyclones and Rhymes
sungwc.substack.com·3h·
Discuss: Substack
🖥️Terminal Renaissance
Observability for Databases in CI/CD
blog.sonichigo.com·2d·
Discuss: Hacker News
👁️System Observability
Broadcom Steps Up to Challenge Nvidia in AI Chip Arms Race
hpcwire.com·5h·
Discuss: Hacker News
🖥️Modern Terminals
2025 AI Darwin Award Nominees – Worst AI Failures of the Year
aidarwinawards.org·3d·
Discuss: Hacker News
🌍Cultural Algorithms
'Want to, but can't': New model explains the gap in waste separation behavior
phys.org·1h
💰Preservation Economics
Selective packaging of RNA molecules by viral coat proteins in cells
pnas.org·3d·
Discuss: Hacker News
🧬Copy Number Variants
Is There Life on Mars? This Rock May Hold the Answer
scientificamerican.com·5h
🦴Binary Paleontology
Malicious code found in error-ex NPM package (47M weekly downloads) 30M ago
jdstaerk.substack.com·2d·
Discuss: Substack, Hacker News, r/javascript
📦Package Managers
Rapid Response: Zimperium’s Full Detection for RatOn — NFC Heists, Remote Control, and Automated Transfers
zimperium.com·5h
🕵️Vector Smuggling
ClockBench – Visual Reasoning AI Benchmark
github.com·3d·
Discuss: Hacker News
🌀Brotli Internals
How I Built an AI Workspace To Help Students & Researchers
dev.to·3h·
Discuss: DEV
🤖AI Curation
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com·2d·
Discuss: Hacker News
🌊Stream Processing
You Don't Need the Apple Watch Series 11 to Get Your Sleep Score
macrumors.com·52m
🏠Home Automation
Nyxoah SA (NYXH) Presents At Morgan Stanley 23rd Annual Global Healthcare Conference Transcript
seekingalpha.com·13h
🧲Magnetic Recording
AI, ITSM, and the Future of Work: MJB Tech Predictions and Playbooks for 2026 and Beyond
dev.to·13h·
Discuss: DEV
🌊Stream Processing
Bio-Energy Harvesting: Enhanced Microbial Fuel Cell Efficiency via Dynamic Redox Mediator Optimization
dev.to·1d·
Discuss: DEV
☕Precision Brewing
JFrog CEO: AI Agents Require Practices Beyond Security, Traceability
devops.com·1d
🏠Homelab Orchestration
King has private tea with Harry in first meeting for 19 months
the-independent.com·2h
📜Family History Data