Type Theory, Lambda Calculus, Semantics, Compiler Design

Physical anthropology of the Lenape or Delawares, and of the eastern Indians in general by Hrdlička
gutenberg.org·2d
🐫Ocaml
Flag this post
#Poetry from David Hernandez
putah-creek.tumblr.com·22h
Zig
Flag this post
🎲 Make an inventory
chavanniclass.wordpress.com·9m
🪜Scala
Flag this post
Swift Concurrency Training Kata
blog.jacobstechtavern.com·2d
🪜Scala
Flag this post
Smooth Page Transitions with Zero Libraries: The View Transitions API
codepen.io·2d·
Discuss: DEV
🪜Scala
Flag this post
Linux kernel patch from Thomas Gleixner improves Postgres benchmark by 15%
lore.kernel.org·2d·
Discuss: Hacker News
🔄Concurrency Models
Flag this post
What AI I Use How and When (November 2025 Update)
everything.intellectronica.net·1d
🤖AI
Flag this post
Yet another redundant workflow engine
github.com·2d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
I built a tiny library that lets you “await” React components — introducing `promise-render`
reddit.com·4h·
Discuss: r/reactjs
🔄Concurrency Models
Flag this post
🚀 Building My First Full-Stack Todo App with React + Supabase ⚛️
dev.to·8h·
Discuss: DEV
📐formal specification
Flag this post
Message length limits are infuriating — any tips?
reddit.com·1d·
Discuss: r/ClaudeAI
💻Claude
Flag this post
College student starts getting good at ricing (kinda)
dev.to·2h·
Discuss: DEV
🔍Static Analysis
Flag this post
Fluence Map Prediction with Deep Learning: A Transformer-based Approach
arxiv.org·16h
🤖AI
Flag this post
Minimal and Mechanistic Conditions for Behavioral Self-Awareness in LLMs
arxiv.org·3d
🔄Concurrency Models
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·5h·
Discuss: DEV
🤖AI
Flag this post
Production-Ready AI Agents: 8 Patterns That Actually Work (with Real Examples from Bank of America…
pub.towardsai.net·8h
📐formal specification
Flag this post
Tech With Tim: Python for Machine Learning - Complete Roadmap!
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
Attention and Compression is all you need for Controllably Efficient Language Models
arxiv.org·3d
🪜Scala
Flag this post
High-dimensional Bayesian filtering through deep density approximation
arxiv.org·2d
🤖AI
Flag this post
Maestro: Learning to Collaborate via Conditional Listwise Policy Optimization for Multi-Agent LLMs
arxiv.org·2d
🔄Concurrency Models
Flag this post