🛠 Language Design

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

Can AI think—and should it? What it means to think, from Plato to ChatGPT
phys.org·14h
🔲Cellular Automata
Issue 481
haskellweekly.news·4d
🔗Functional Compilers
Codeminer42 Dev Weekly #70
blog.codeminer42.com·3d
🔄Reproducible Builds
arduino-tictactoe: A tic-tic-toe implementation using minimax for Arduino
github.com·7h
🎯Emulator Accuracy
The Custom Tenant Code Nightmare (and How to Wake Up)
eloquentarchitecture.com·6h·
Discuss: Hacker News
🔌Interface Evolution
Why Java Is Still Worth Learning in 2025: A Developer's 25-Year Journey
empatheticdeveloper.wordpress.com·22h·
Discuss: Hacker News
🌊Streaming Systems
You Can't Buy Integration (2021)
martinfowler.com·2d·
Discuss: Hacker News
⚡SMT Integration
The Missing Guide to Prompt Engineering
appetals.com·20h·
Discuss: Hacker News
🧠Intelligence Compression
Use cases of tuning the Go Garbage Collector
reddit.com·12h·
Discuss: r/golang
🧠Memory Allocators
How My Tech Lead Leverages AI Across the Dev Lifecycle (Part 2)
dev.to·20h·
Discuss: DEV
📏Code Metrics
Temporal Basis Function Models for Closed-Loop Neural Stimulation
arxiv.org·2h
⚡Effectful Programming
The Future of AI in Software Engineering: Transforming Development from Code Creation to Intelligent Orchestration
dev.to·2h·
Discuss: DEV
🔄Reproducible Builds
AI SUBFIELDS
dev.to·20h·
Discuss: DEV
✨Algebraic Effects
Chart-R1: Chain-of-Thought Supervision and Reinforcement for Advanced Chart Reasoner
arxiv.org·2h
🧮Prolog Parsing
Zak-OTFS based Multiuser Uplink in Doubly-Spread Channels
arxiv.org·2h
ℹ️Information Theory
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.org·1d
🧮Constraint Solvers
Routine: A Structural Planning Framework for LLM Agent System in Enterprise
arxiv.org·2h
⚡Z3 Optimization
Code Smells in Clojure
github.com·4d·
Discuss: Hacker News
🦀Rust Borrowing
Hyperelastic nature of the Hoek-Brown criterion
arxiv.org·2h
🌀Differential Geometry
HTTP Requests in Go: Only The Most Useful Libraries
dev.to·13h·
Discuss: DEV
⚡gRPC