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

RIR Gainers and Leakers: How Policy Choices Shape the Future of the IPv4 Ecosystem
circleid.com·1h
📡BGP Archaeology
Tech Labor Rights for Human Rights
papers.ssrn.com·4h·
Discuss: Hacker News
Tactile Computing
Why Feeds Fun normalizes tags — and how
blog.feeds.fun·1d·
Discuss: Hacker News, r/rss
📡RSS Extensions
QUIC! Jump to User Space!
hackaday.com·3d
🌐Network Protocols
Nostr and ATProto (2024)
shreyanjain.net·1d·
Discuss: Hacker News
📡Feed Archaeology
Does Go have types?
youtube.com·3d·
Discuss: r/golang
🔒Linear Types
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·4d·
🧮Algebraic Datatypes
The IP risks of LLMs at work are nontrivial
augmentedswe.com·1d·
Discuss: Hacker News
🔄Language Evolution
The Project That Made Me Choose C Again
hackernoon.com·4d
🔩Systems Programming
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·5d
🧮Compute Optimization
Tiling Window Manager for Windows 10/11
github.com·3h·
Discuss: Hacker News
🪟Awesome windows command-line
How to Build Modular AI Personalities with LuminoraCore v1.0
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
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
Estimating Brain Activity with High Spatial and Temporal Resolution using a Naturalistic MEG-fMRI Encoding Model
arxiv.org·14h
📊Quantization
LinearSR: Unlocking Linear Attention for Stable and Efficient Image Super-Resolution
arxiv.org·14h
📊Learned Metrics
Tech With Tim: How to Build AI Agents in Python
dev.to·2h·
Discuss: DEV
🤖AI Curation
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·14h
🧠Machine Learning