[$] Next steps for BPF support in the GNU toolchain
lwn.net·1d
🔗Language Toolchains
Hello Developer: October 2025
developer.apple.com·12h
🌉Language Bridges
The (software) quality without a name
kieranpotts.com·18h·
🧱First Principles
Design Principle: Composable Services
sleepingpotato.com·1d·
Discuss: Hacker News
🔀Control Structures
original ↗
lmika.org·4d
🔬programming language theory
valuetier.org (and some thoughts on LLMs)
ericphanson.com·2d·
📚Self-Documenting Code
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·1d·
Discuss: Hacker News
🧮Theorem Provers
Do you know thier names? Can you guess where they come from?
reddit.com·13h·
Discuss: r/aiArt
🎲Parser Fuzzing
Advice on Spring Project for Junior SWE Portfolio
reddit.com·1d·
🎮Language Ergonomics
How did LM Studio convert IBM's Granite 4.0 models to GGUF?
reddit.com·1d·
Discuss: r/LocalLLaMA
Gleam
Counterfactual explainability and analysis of variance
arxiv.org·20h
Effect Inference
Stop Hitting Runtime Errors: Why TypeScript Is the Full-Stack Developer's Secret Weapon
dev.to·2d·
Discuss: DEV
🔧API Design
Information Extraction (Tests on a Beta API) from Docling
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
Automating construction safety inspections using a multi-modal vision-language RAG framework
arxiv.org·20h
⚖️Weighted Automata
Expand Neurons, Not Parameters
arxiv.org·20h
🗺️Region Polymorphism
Multi Client TCP Chat with Tkinter
dev.to·2d·
Discuss: DEV
🌍Minimal HTTP
A Noise Resilient Approach for Robust Hurst Exponent Estimation
arxiv.org·20h
📐Succinct Data Structures
Quant-dLLM: Post-Training Extreme Low-Bit Quantization for Diffusion Large Language Models
arxiv.org·20h
🪜Recursive Descent
Unsupervised Active Learning via Natural Feature Progressive Framework
arxiv.org·20h
🗺️Region Inference
Automated Structure-Based Drug Discovery via Hyperdimensional Protein-Ligand Interaction Scoring
dev.to·14h·
Discuss: DEV
Effect Inference