Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·2d·
Discuss: Hacker News
🔢Algebraic Datatypes
Should You Use Upper Bound Version Constraints?
iscinumpy.dev·14h·
🌳Tree Shaking
Would You Use If() functions in CSS?
blog.logrocket.com·1d
🔀Control Structures
Recurse Checkins
404wolf.com·2d
🔄Bootstrapping
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·1d·
Discuss: Hacker News
🌱Minimal ML
Radar Trends to Watch: October 2025
oreilly.com·1d
🎭Program Synthesis
Start Low-Level Programming: Why Zig Teaches Better, C++ Pays Better
dev.to·5h·
Discuss: DEV
🏗️Minimal Compilers
KEO: Knowledge Extraction on OMIn via Knowledge Graphs and RAG for Safety-Critical Aviation Maintenance
arxiv.org·11h
🎭Erlang OTP
Cost-Controllable AI Applications: Litho's Cache Optimization and Cost Control Strategies
github.com·13h·
Discuss: DEV
📚Self-Documenting Code
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·11h
🎭Racket
InstaGeo: Compute-Efficient Geospatial Machine Learning from Data to Deployment
arxiv.org·11h
📈Earley Parsing
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·1d
🎭Program Synthesis
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·1d·
Discuss: DEV
📦Monorepos
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·2d
🔬Nanopasses
That-Real-Time-Headache-Its-Not-The-WebSockets-Its-Your-Framework
dev.to·6h·
Discuss: DEV
🌍HTTP Servers
Serverless CI/CD: How I Replaced Jenkins with AWS Lambda and Cut Costs by 93%
dev.to·3d·
Discuss: DEV
🚂Cranelift IR
Security-is-Not-a-Feature-Its-a-Foundation
dev.to·9h·
Discuss: DEV
🛡️Capability Security
I've been using LLMs since 2020. Here's how I used Claude Code to reduce "hallucinations" from LLMs
reddit.com·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·1d
Gleam