📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

CAP is not the full picure: PACELC comes to rescue
en.wikipedia.org·14h·
Discuss: Hacker News
🌍Distributed Systems
Agent Factory: The new era of agentic AI—common use cases and design patterns - Microsoft Azure
news.google.com·8h
🤖Sci-Fi
Pieces of Autonomy
reactiverobot.com·1d·
Discuss: Hacker News
🤖Sci-Fi
Coding Agents Showdown: VSCode Forks vs. IDE Extensions vs. CLI Agents | Forge Code
forgecode.dev·1d·
Discuss: r/programming
🔌Network Programming
Artificial intelligence is learning to understand people in surprising new ways
thebrighterside.news·11h
🔗Parser Combinators
Writing an LLM from scratch, part 17 – the feed-forward network
gilesthomas.com·1d·
Discuss: Hacker News
🔗Parser Combinators
The Internet You Missed: A 2025 Snapshot
theintrinsicperspective.com·8h
🤖Sci-Fi
Karma as a Gravitational Trap
i.redd.it·8h·
Discuss: r/ProjectGhostwheel
🧫Cellular Automata
Benchmarking Array Merges in PHP: When to Optimise and Why It Matters
github.com·1d·
Discuss: DEV
🧠Memory Management
Perl 🐪 Weekly #733 - Perl using AI
dev.to·2d·
Discuss: DEV
📝Lisp
The Modern Data Toolbox: Combining LLMs, ML, and Statistics for Greater Impact
pub.towardsai.net·1d
🎲Probabilistic Programming
Lightning Prediction under Uncertainty: DeepLight with Hazy Loss
arxiv.org·1d
🎲Probabilistic Programming
Measuring Emergent Identity Through the Differences in 4o vs 5.x
reddit.com·1d·
Discuss: r/LLM
🧮Programming Language Theory
How I’d Learn React, TypeScript & Tailwind in 2025 — and Build a Job-Ready Portfolio
dev.to·6h·
Discuss: DEV
📦WebAssembly
AI Coding Assistants Made Me a Lazy Developer… And That’s Okay
dev.to·8h·
Discuss: DEV
🔧Compiler Design
High-Performance Routing System Design and Implementation(5488)
dev.to·18h·
Discuss: DEV
🦀Rust
The systems language from the '70s that almost beat C
news.ycombinator.com·15h·
Discuss: Hacker News
💾Retrocomputing
Build Your Own AI Stock Portfolio Agent with LlamaIndex + AG-UI
dev.to·9h·
Discuss: DEV
🧩Theorem Proving
Adaptive Hierarchical Clustering via Dynamic Affinity Propagation with Kernel Resonance
dev.to·1h·
Discuss: DEV
🔗Parser Combinators
The Anemic Domain Model Trap: Why Your OOP ISN'T Object-Oriented!
dev.to·1d·
Discuss: DEV
🔍Static Analysis