🛠 Language Design

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

Research: AI language models such as ChatGPT discriminate against East Germans
heise.de·1d
🇸🇪Nordic Algorithms
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Operable Software
ferd.ca·2d·
Discuss: Hacker News
👁️System Observability
Cold Calculation
kae3g.codeberg.page·1d·
Discuss: Hacker News
⚡Incremental Computation
Mastering Go Project Structure: Build Scalable & Maintainable Go Apps
dev.to·9h·
Discuss: DEV
🔄Reproducible Builds
Beyond Minimalism: Designing Interfaces That Express Personality
dev.to·1d·
Discuss: DEV
❄️Nordic Design Philosophy
Quantum Relative Entropy Decay Composition Yields Shallow, Unstructured k-Designs
arxiv.org·2d
⚛️Quantum Circuits
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
The Custom Portal Design: Building Your Own Context Managers
dev.to·4d·
Discuss: DEV
📝Concrete Syntax
Building AI Systems That Don't Break Under Attack
dev.to·21h·
Discuss: DEV
⚡Proof Automation
Memgoose – An In-Memory Mongoose Impersonator
github.com·1d·
Discuss: Hacker News
🔄Sync Engine
The Library Method: Understanding @cache
dev.to·3d·
Discuss: DEV
⚡Cache Theory
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·3h·
Discuss: DEV
🎙️Whisper
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·4d
💨Cache Optimization
Test Case Generation from Bug Reports via Large Language Models: A Cognitive Layered Evaluation Framework
arxiv.org·4d
🔍Concolic Testing
🚀 Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.to·20h·
Discuss: DEV
🦀Rust Macros
Automated Evidence Synthesis and Causal Inference for Medical Malpractice Litigation Support
dev.to·5h·
Discuss: DEV
🔗Constraint Handling
Attention Sinks and Compression Valleys in LLMs are Two Sides of the Same Coin
arxiv.org·3d
🧠Neural Compression
Comparing human and language models sentence processing difficulties on complex structures
arxiv.org·3d
🔗Parser Combinators
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·2d
🔲Cellular Automata