🔤 Type Theory

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

I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·4h
🧮Z3 Solver
Which Colors Are Primary?
jamesgurney.substack.com·2h·
Discuss: Substack
🌈Color Science
New imaging system detects greenhouse gas emissions from space with high precision
phys.org·22h
🏺Media Archaeology
Ask HN: What is the go-to programming language in your industry and why?
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Language Evolution
Claude Code and shipping stuff to prod
boliv.substack.com·3d·
Discuss: Substack
🦀Rust Macros
70 Companies You Didn't Know Were Using Rails in 2025
thoughtbot.com·1d·
Discuss: Lobsters, Hacker News
📚MARC Evolution
O3 Series vs Claude 4: Which is Better
dev.to·20h·
Discuss: DEV
🖥️Modern Terminals
Pay What LLM Wants: Can LLM Simulate Economics Experiment with 522 Real-human Persona?
arxiv.org·8h
💻Local LLMs
HALO: Hindsight-Augmented Learning for Online Auto-Bidding
arxiv.org·8h
🧠Learned Indexing
ff4ERA: A new Fuzzy Framework for Ethical Risk Assessment in AI
arxiv.org·1d
🤖AI Curation
TCDiff: Triplex Cascaded Diffusion for High-fidelity Multimodal EHRs Generation with Incomplete Clinical Data
arxiv.org·1d
🎙️Whisper
Slack-GitHub Threads – Post Slack Thread Replies as GitHub Comments
github.com·23h·
Discuss: Hacker News
🔓Open Source Software
OpenAI Releases GPT-OSS: What It Means for AI Developers and Agent Builders
dev.to·15h·
Discuss: DEV
🔓Open Source Software
From Browser to Serverless: How We Protected Our AI Font Generation IP (And You Should Too)
dev.to·12h·
Discuss: DEV
🎬WebCodecs API
Pre-Tactical Flight-Delay and Turnaround Forecasting with Synthetic Aviation Data
arxiv.org·1d
🧪Data science
A Reward-Directed Diffusion Framework for Generative Design Optimization
arxiv.org·1d
🔲Cellular Automata
Solved in Unit Domain: JacobiNet for Differentiable Coordinate Transformations
arxiv.org·1d
🌀Riemannian Computing
Trustworthy scientific inference for inverse problems with generative models
arxiv.org·1d
🧠Machine Learning
EgoPrompt: Prompt Pool Learning for Egocentric Action Recognition
arxiv.org·8h
📊Learned Metrics
Efficient Multi-Slide Visual-Language Feature Fusion for Placental Disease Classification
arxiv.org·8h
🧠Machine Learning