🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Cornell’s Tiny “Microwave Brain” Chip Could Transform Computing and AI
scitechdaily.com·1h
🔧Hardware Verification
RIR Gainers and Leakers: How Policy Choices Shape the Future of the IPv4 Ecosystem
circleid.com·6h
📡BGP Archaeology
Keyboard Holders, Generation 1
cceckman.com·4d·
Discuss: Hacker News
⌨️Mechanical Keyboards
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·3d·
Discuss: Hacker News, Hacker News
📟Terminal Typography
Why did containers happen? A view from ten years in the trenches by Docker's fo
buttondown.com·12h·
Discuss: Lobsters, Hacker News
📦Container Security
Ship Broken Things
matmul.net·4d·
Discuss: Hacker News
🔗Topological Sorting
My Top 5 Favourite Features in Python 3.14
blog.codingconfessions.com·2d·
Discuss: Hacker News
🦀Rust Macros
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·3d·
Discuss: Hacker News
✨Effect Handlers
Build rich TUIs using familiar Razor syntax and the power of Spectre.Console
github.com·7h·
Discuss: Hacker News
📺Terminal UI
Robust Driving Control for Autonomous Vehicles: An Intelligent General-sum Constrained Adversarial Reinforcement Learning Approach
arxiv.org·19h
🧠Machine Learning
Tech With Tim: How to Build AI Agents in Python
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Tech With Tim: How to Build AI Agents in Python
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
LinearSR: Unlocking Linear Attention for Stable and Efficient Image Super-Resolution
arxiv.org·19h
📊Learned Metrics
Estimating Brain Activity with High Spatial and Temporal Resolution using a Naturalistic MEG-fMRI Encoding Model
arxiv.org·19h
📊Quantization
Tech With Tim: How to Build AI Agents in Python
dev.to·7h·
Discuss: DEV
🤖AI Curation
How to Build Modular AI Personalities with LuminoraCore v1.0
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
The Future of Web Development: Integrating Artificial Intelligence
dev.to·2d·
Discuss: DEV
🔄Language Evolution
DPCformer: An Interpretable Deep Learning Model for Genomic Prediction in Crops
arxiv.org·19h
🧠Machine Learning
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·2d·
Discuss: DEV
⚡Proof Automation