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

GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·3d
🔗Functional Compilers
Performant 2D Renderer: A Tour of Cute Framework's Renderer
randygaul.github.io·7h·
Discuss: Hacker News
🎯Emulator Accuracy
GoMem is a high-performance memory allocator library for Go
github.com·2d
🧠Memory Allocators
Renoun – The Documentation Toolkit for React
renoun.dev·1d·
Discuss: Hacker News
🔄Language Evolution
AI as both authors and reviewers of research papers
openreview.net·2d·
Discuss: Hacker News
🔲Cellular Automata
Software Architecture Horror Story
blog.mihaisafta.com·19h·
Discuss: Hacker News
🔌Interface Evolution
VLLM Predicted Outputs
cascadetech.ai·1d·
Discuss: Hacker News
💻Local LLMs
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·6d·
Discuss: r/programming
Cache Coherence
A new breed of analyzers
daniel.haxx.se·1d·
🐛Fuzzing
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·1d·
📚Documentation Archaeology
I have seen the compounding teams
sundaylettersfromsam.substack.com·14h·
Discuss: Substack
⚔️Lean Tactics
Building Luca: An AI Agent for Finance and Accounting Workflows
leapfin.com·9h·
Discuss: Hacker News
🔗Constraint Handling
Google Agent Development Kit (ADK) for TypeScript
github.com·13h·
Discuss: Hacker News
💧Liquid Types
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·1d
📊HyperLogLog
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
What is a Large Language Model (LLM)
dev.to·1d·
Discuss: DEV
💻Local LLMs
MARC: Memory-Augmented RL Token Compression for Efficient Video Understanding
arxiv.org·1d
🧠Learned Codecs
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Title: Anthropic's Claude AI Model Now Supports Longer Prompts with a Million-Token Context Window
dev.to·2h·
Discuss: DEV
🤖Lisp Machines
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
🔨Compilers