📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Udda mATX-moderkort har fastlödd Ryzen-processor
sweclockers.com·12h
🏗Computer Architecture
Recommended 23 August
store.steampowered.com·1d
⚖️Logic Programming
I made an AI companion you can text in iMessage.
yourfriendmaya.com·2d·
Discuss: r/ClaudeAI
🧩Theorem Proving
Webmentions but manual (for Jekyll)
joelchrono.xyz·1d
🧩Theorem Proving
None the Wiser
harpers.org·22h·
Discuss: Hacker News
📊Information Theory
Unreal Engine isn't ready for AI
cra.mr·2d
🔍Static Analysis
How Reading to My Baby Helped Me Read My Baby
theatlantic.com·8h
🔄Category Theory
Outdated
benn.substack.com·2d·
Discuss: Substack
🤖Sci-Fi
23 — Hoverfly.
buttondown.com·18h
🤖Sci-Fi
Science doesn’t just explain the world. It saves it.
threadreaderapp.com·1d
🤖Sci-Fi
I finally found the perfect knowledge management app after years of switching back and forth
xda-developers.com·2d
🧮Programming Language Theory
"I Won't Use Algorithms in My Job"
github.com·2d·
Discuss: DEV
🔧Compiler Design
I automated my life with n8n, and this open-source Zapier alternative is scarily powerful
xda-developers.com·1d
🔌Network Programming
Lifeline Letters - Friendly Hangman Game with M5Stack Core2
hackster.io·4d
🎲Probabilistic Programming
React MVVM Architecture with TanStack Router: Model Layer
dev.to·3d·
Discuss: DEV
🤝Protocol Design
Comp-X: On Defining an Interactive Learned Image Compression Paradigm With Expert-driven LLM Agent
arxiv.org·2d
🎲Probabilistic Programming
Classification errors distort findings in automated speech processing: examples and solutions from child-development research
arxiv.org·2d
🎲Probabilistic Programming
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.org·3d
🧩Theorem Proving
From Prompts to RAG to RAGAs: Evaluating Retrieval-Augmented Generation Systems the Right Way
pub.towardsai.net·2d
🎲Probabilistic Programming
Announcing StencilBox - build YAML into super speedy simple static sites, with sleek templates.
reddit.com·1d·
Discuss: r/selfhosted
👐Open Source Software