📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Fostering Collaboration Across Industry Verticals within The Open Group
blog.opengroup.org·3h
👐Open Source Software
Immich on OpenBSD, part 2
mfashby.net·5h
🦀Rust
The best books on Universal Basic Income, recommended by Matthew Johnson
fivebooks.com·3h
🔐Cryptography
Multigres Architecture Overview
multigres.com·17h·
Discuss: Hacker News
🌍Distributed Systems
Naming Wombie
sahar.io·23h·
Discuss: Hacker News
🎲Probabilistic Programming
JNI Obfuscation, Reverse Engineering, and Android Security
hackernoon.com·1d
👐Open Source Software
Help! I Met Up With My Gaming Community in Real Life. I’m Losing Sleep Over What I Did.
slate.com·55m
🔄Category Theory
AI trained to predict nationality from beliefs and values
phys.org·2h
🧫Cellular Automata
EP177: The Modern Software Stack
blog.bytebytego.com·3d
🔍Static Analysis
Generic 'special object' pattern help
reddit.com·3d·
Discuss: r/AskProgramming
📝Lisp
Fate’s Bane by C.L. Clark: Review by Joanne Anderton
locusmag.com·1d
🔄Category Theory
I built an open-source P2P tool to solve my own privacy frustrations. Could I get your feedback?
reddit.com·23h·
Discuss: r/opensource
👐Open Source Software
New To ShortCuts, Would Like To Start To Make Life Easier
reddit.com·11h·
Discuss: r/shortcuts
🔄Category Theory
Nostalgia and Aesthetic Inertia: A Review of The Last Soviet Artist by Victoria Lomasko
asymptotejournal.com·1d
🧮Programming Language Theory
Can I possibly get some help with this design?
reddit.com·21h·
Discuss: r/homelab
🌍Distributed Systems
Your LLM is 5x Slower Than It Should Be. The Reason? Pessimism—and Stanford Researchers Just Showed How to Fix It - MarkTechPost
news.google.com·9h
🔧Compiler Design
Why Are You Always Worried About What Others Think of You?
psychologytoday.com·1d
🧮Programming Language Theory
How Agentic Protocols Are Redefining the Future of AI Development?
dev.to·4h·
Discuss: DEV
🤖Sci-Fi
Anti-establishment sentiment on TikTok: Implications for understanding influence(rs) and expertise on social media
arxiv.org·1d
🔗Parser Combinators
Postit 2024-12-05 20:18:52
dinandmentink.nl·3d
🧫Cellular Automata