🔤 Type Theory

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

September 11, 2025 : Issue #98
lawrenceweschler.substack.com·5h·
Discuss: Substack
🧲Magnetic Philosophy
Major attack on node.js
heise.de·2d
🔓Hacking
Possibilities for Low-Fidelity Mind Uploading
zaira.blog·21h·
Discuss: Hacker News
🧠Learned Codecs
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com·3d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
OpenAI and Oracle: 300 billion deal for Project Stargate
heise.de·13h
🏠Homelab Federation
Hypertext as constructed and hypertext as read
statmodeling.stat.columbia.edu·2d
🔗Hypertext Systems
Building An AI-Agnostic Conversation Logger - Phase 4: Mini-Me
blog.scottlogic.com·3d·
Discuss: Hacker News
✨Effect Handlers
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com·3d·
Discuss: Hacker News
🤖Archive Automation
‘Astronaut-in-distress’ romance scammer steals money from elderly woman
malwarebytes.com·9h
📡Feed Security
Links 9/11/2025
nakedcapitalism.com·9h
🌐WARC Forensics
PGIM Jennison Global Infrastructure Fund Q2 2025 Commentary
seekingalpha.com·1d
🔍BitFunnel
Pose-Free 3D Quantitative Phase Imaging of Flowing Cellular Populations
arxiv.org·3d
⟷Bidirectional Programming
Cooperation and competition: How fetal and maternal cells evolved to work together
phys.org·2d
🔲Cellular Automata
Django Without the Mess: Repositories for Data, Services for Rules
dev.to·4d·
Discuss: DEV
🦋Format Metamorphosis
The Leading AI-Powered DeFi Staking and Trading
dev.to·1d·
Discuss: DEV
🔗Blockchain Archives
Can researchers stop AI making up citations?
nature.com·3d·
Discuss: Hacker News
💻Local LLMs
The Garden Speaks: On Cucumbers, Mildew, and Projects
zakelfassi.com·4d·
Discuss: Hacker News
🐚Shell Calculus
Scientist returns to microbial roots and discovers potential quantum computing advancement
phys.org·1d
⚛️Information Physics
Gilead Sciences, Inc. (GILD) Presents At Baird Global Healthcare Conference 2025 Transcript
seekingalpha.com·1d
📡RSS
The Algorithmic Conscience: A Real-Time Ethical and Cognitive Auditor
dev.to·4d·
Discuss: DEV
🏛Digital humanities