🔤 Type Theory

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

Robots can program each other's brains with AI, scientist shows
theregister.com·9h
🕵️Vector Smuggling
5 Maths Gems #191
resourceaholic.com·17h·
Discuss: www.resourceaholic.com
📐Mathematical Art
States take the lead in AI regulation as federal government steers clear
arstechnica.com·20h
⚖️Constraint Logic
Build with HTMX: Simplify development with a return to fundamentals
testdouble.com·2d
🌐Web Standards
The 17-character code that runs the automotive world
cardog.app·8h·
Discuss: Hacker News
⚙️Assembly Verification
D-Wave's open-source toolkit integrates quantum computing into AI training
siliconangle.com·1d·
Discuss: Hacker News
🕸️Tensor Networks
Genesis Block Easter Egg
johndcook.com·17h
🔧KAITAI
Lessons from writing a Kubernetes Security book
medium.com·2d·
Discuss: DEV, Hacker News
📦Container Security
Speaking in "LLM Idioms"
blog.promptlayer.com·2d·
Discuss: Hacker News
📝Concrete Syntax
Microsoft "Wassette": Rust and WebAssembly to Help AI Agents
phoronix.com·12h·
Discuss: Hacker News
🌐WASI
I created uroman-rs, a 22x faster rewrite of uroman, a universal romanizer.
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
We're Building the Future of the Startup Economy with AI
angellist.com·16h·
Discuss: Hacker News
⚡Proof Automation
How AI Models Like Claude Are Changing the Way We Code
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Guided Delegation: Adding Context7 Documentation to My Maven Tools MCP Server
dev.to·15h·
Discuss: DEV
🔗Dependency Resolution
original ↗
dotat.at·3d·
Discuss: Lobsters, Hacker News, r/programming
🌳Trie Structures
Topolow: Force-Directed Euclidean Embedding of Dissimilarity Data with Robustness Against Non-Metricity and Sparsity
arxiv.org·2d
🌐Computational Topology
GENIE: Gaussian Encoding for Neural Radiance Fields Interactive Editing
arxiv.org·1d
📟Terminal Physics
Dual Prompt Learning for Adapting Vision-Language Models to Downstream Image-Text Retrieval
arxiv.org·5h
🤖Advanced OCR
Is AI Really Making Us Dumber?
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
DD-DeepONet: Domain decomposition and DeepONet for solving partial differential equations in three application scenarios
arxiv.org·1d
🌐Computational Topology