The Q3 2025 Issue of the FreeBSD Journal is Now Available!
freebsdfoundation.org·16h
🪆Embedded DSLs
Children can discover computer science algorithms naturally
earth.com·17h
🧸Toy Compilers
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·3d·
Discuss: Hacker News
🔢Algebraic Datatypes
Show HN: CodexLocal – Offline, Privacy-First AI Coding Tutor (WebLLM and RAG)
codexlocal.com·1d·
Discuss: Hacker News, Hacker News
📚Self-Documenting Code
Functional Programming Shaped (and Twisted) Front End Development
alfy.blog·4d·
Discuss: Hacker News, r/programming
🏛️Elm Architecture
Breaking decompilers with single-function, and no-main() C codebases
joshua.hu·6d·
Discuss: Hacker News
🚪Function Prologues
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·3d·
Discuss: Hacker News
🛡️Stack Safety
How should I implement this mechanic? (I'm making a game about Quicksort)
reddit.com·8h·
Discuss: r/godot
⏭️Skip Lists
A Solution to the Paperclip Problem
link.springer.com·1d·
Discuss: Hacker News
💫Effect Systems
Precision Irrigation Optimization via Reinforcement Learning and Real-Time Soil Moisture Mapping
dev.to·10h·
Discuss: DEV
🧩Constraint Solvers
Large Language Model-Based Uncertainty-Adjusted Label Extraction for Artificial Intelligence Model Development in Upper Extremity Radiography
arxiv.org·20h
⚖️Weighted Automata
Beginner’s Guide #2: When to Use forEach, map, for...of, and entries() — Explained Like You’re Five
dev.to·2d·
Discuss: DEV
📦Closure Capture
IABIED: Paradigm Confusion and Overconfidence
lesswrong.com·4h
🎭Program Synthesis
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·2d
🔍ML Language
Your-Projects-a-Mess-Its-Not-You-Its-Your-Frameworks-Fault
dev.to·15h·
Discuss: DEV
📦Monorepos
Quant-dLLM: Post-Training Extreme Low-Bit Quantization for Diffusion Large Language Models
arxiv.org·1d
🪜Recursive Descent
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·2d
✅Type Checking
Improving Metacognition and Uncertainty Communication in Language Models
arxiv.org·20h
🪜Recursive Descent
Teaching LLM to be Persuasive: Reward-Enhanced Policy Optimization for Alignment frm Heterogeneous Rewards
arxiv.org·1d
🔍ML Language
Fine-Tuning Large Language Models with QLoRA for Offensive Language Detection in Roman Urdu-English Code-Mixed Text
arxiv.org·1d
🔤Language Tokenizers