Initial homelab designing and planning
preview.redd.it·16h·
Discuss: r/homelab
🏠HomeLab
Twenty years of blogging
11011110.github.io·1d
📐Mathematical Art
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.com·1d·
Discuss: Hacker News, r/programming
🐚Shell Calculus
Safe Cell field projection in Rust (2020)
abubalay.com·9h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Cresting the 0Caml Al Humps
anil.recoil.org·3d·
Discuss: Hacker News
🦀Rust Macros
Colodebug: A simple way to improve bash script debugging
johannes.truschnigg.info·11h·
Discuss: Hacker News
🐚Shell Optimization
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·4d
🔍RegEx Engines
Tactical Trust (1 of 2): Platform Crypto for Developers
tiemoko.com·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·6d·
Discuss: Hacker News
🔍Type Inference
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·3d·
Discuss: Hacker News
📊Quantization
How My Tech Lead Leverages AI Across the Dev Lifecycle (Part 2)
dev.to·10h·
Discuss: DEV
📏Code Metrics
The Big LLM Architecture Comparison
magazine.sebastianraschka.com·2d·
Discuss: Hacker News, Hacker News
💻Local LLMs
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·3d·
Discuss: Hacker News, Hacker News, Hacker News
🧮SMT Solvers
Intuitionistic monotone modal logic via translation
arxiv.org·16h
🏗️Constructive Mathematics
LangChain Upgraded Library Every AI Engineer Should Know
dev.to·1d·
Discuss: DEV
📊Graph Databases
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·5d·
Discuss: DEV
📝Concrete Syntax
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.org·3d
📊APL Heritage
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·4d
💻Programming languages
Architecting Human-AI Cocreation for Technical Services -- Interaction Modes and Contingency Factors
arxiv.org·16h
🗺️Competency Maps
MoDyGAN: Combining Molecular Dynamics With GANs to Investigate Protein Conformational Space
arxiv.org·16h
🧠Machine Learning