🔤 Type Theory

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

Amiga redux
jmtd.net·8h
🎵Amiga Formats
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens – 2508.01191v2.pdf
jmason.ie·5d
📏Linear Logic
Why Forgiving Yourself Is So Hard and How to Finally Do It
scitechdaily.com·2h
🏠Personal Archives
Buy Gmail Accounts – Safe Buying Guide & Trusted
dev.to·8h·
Discuss: DEV
🔑Cryptographic Protocols
GPT-5 in GitHub Copilot: How I built a game in 60 seconds
github.blog·3d
🔄Language Evolution
Fabian Franklin's Beautiful Proof of the Pentagonal Theorem
pballew.blogspot.com·3d·
Discuss: www.blogger.com
🔢Reed-Solomon Math
Making Python Act Like Bash
dev.to·12h·
Discuss: DEV
🪟Awesome windows command-line
Enhanced Carbon Nanotube Field-Effect Transistors via Dynamic Self-Assembled Graphene Contacts
dev.to·10h·
Discuss: DEV
🔧Hardware Verification
EncryptHub abuses Brave Support in new campaign exploiting MSC EvilTwin flaw
securityaffairs.com·1d
🔓Hacking
Enhanced LBM Simulations via Adaptive Mesh Refinement Optimization with Hybrid Neural Network Control
dev.to·13h·
Discuss: DEV
⚡Incremental Computation
Automated Hyperparameter Optimization for Maritime Autonomous Surface Ship (MASS) Trajectory Planning
dev.to·3h·
Discuss: DEV
🧩WASM Components
Utilizing Vision-Language Models as Action Models for Intent Recognition and Assistance
arxiv.org·1h
🤖Tape Automation
From Decentralized Storage to Decentralized Behavior
dev.to·3d·
Discuss: DEV
🤝Distributed Consensus
Comet Review: The First True AI-Native Browser?
dev.to·23h·
Discuss: DEV
🚀Indie Hacking
Families' Vision of Generative AI Agents for Household Safety Against Digital and Physical Threats
arxiv.org·1h
🏠Home Automation
Enhanced Spin-Induced Gravitational Wave Signature Extraction via Adaptive Fourier Decomposition
dev.to·2d·
Discuss: DEV
🎵Spectral Hashing
Automating Procure-to-Pay with Precision: How I Engineered an End-to-End Invoice Processing System in n8n
dev.to·2d·
Discuss: DEV
📄Document Digitization
Server Hardware-Cooling Co-Design: Proactive Thermal Management via Reinforcement Learning
dev.to·1d·
Discuss: DEV
🖥️Hardware Architecture
Graph Neural Network and Transformer Integration for Unsupervised System Anomaly Discovery
arxiv.org·4d
👁️Observatory Systems
⚡ Supercharge Your HuggingFace Downloads with MCP-HuggingFetch - 3-5x Faster!
dev.to·3d·
Discuss: DEV
🌳Incremental Parsing