🔤 Type Theory

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

Arti 1.4.6 is released: Hidden Service resilience; work on flow control, Conflux, and CGO.
blog.torproject.org·19h
🔒Linear Types
I Co-Wrote a Modern Prophetic Trilogy with GPT-4: Here's What Emerged
scribd.com·22h·
Discuss: Hacker News
🏛Digital humanities
AssemblyScript
assemblyscript.org·1d·
Discuss: Lobsters
🛡️WebAssembly Security
OpenAI Just Released Its First Open-Weight Models Since GPT-2
wired.com·2h·
Discuss: r/technews
🔓Open Source Software
MathJax v4.0.0
github.com·7h·
Discuss: Hacker News
📐Document Algebra
TypeScript 5.9 creates leaner tsconfig.json files
heise.de·1d
🎯Gradual Typing
Agentic AI vs Generative AI: Innovation in Software Development
future.forem.com·14h·
Discuss: DEV
⚡Incremental Computation
10 years building internal tools, and the SaaS stack is still a nightmare
news.ycombinator.com·3h·
Discuss: Hacker News
❄️Nix Flakes
This web framework was built by Claude
rgk.io·4d·
Discuss: Hacker News
🌳Incremental Parsing
One Weird Trick to Untie Landin's Knot
arxiv.org·6d
⬆️Lambda Lifting
Unsupervised Model Improvement via Internal Coherence Maximization
huggingface.co·2d·
Discuss: Hacker News
🧮SMT Solvers
Modern, lightweight RN modal library with reanimated (3/4) and gesture support
github.com·1d·
Discuss: Hacker News
🎬WebCodecs
Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
arxiv.org·15h
⚙️Tape Mechanics
BOOST: Bayesian Optimization with Optimal Kernel and Acquisition Function Selection Technique
arxiv.org·15h
🧠Machine Learning
Explainable AI Methods for Neuroimaging: Systematic Failures of Common Tools, the Need for Domain-Specific Validation, and a Proposal for Safe Application
arxiv.org·15h
🧠Machine Learning
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·5d
🧠Machine Learning
How Legal Language Loses Responsibility When It Becomes Executable
dev.to·4d·
Discuss: DEV
📝Concrete Syntax
The Developer Workflow I Wish I Had 1,000 Commits Ago
dev.to·12h·
Discuss: DEV
🦀Rust Macros
Automated C Solid-State NMR Fingerprint Reconstruction and Temporal Mapping for Carbon Sequestration Monitoring
dev.to·5h·
Discuss: DEV
🧲Magnetic Resonance
AutoDebias: Automated Framework for Debiasing Text-to-Image Models
arxiv.org·1d
🤖Advanced OCR