Repost: Manuel Blum's advice to graduate students.
cs.cmu.edu·8h·
Discuss: r/compsci
πPi Calculus
Show HN: AI Code Detector – detect AI-generated code with 95% accuracy
code-detector.ai·1d·
Discuss: Hacker News
✨Effect Inference
What Code Reviews Taught Me About Leadership
blenededleading.com·8h·
Discuss: DEV
💬Error Message Design
Almorzamos con Sebastián Gabilondo, gerente regional de marketing de Oakberry
infonegocios.biz·2d
📚Factor
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·6d·
Discuss: Hacker News
🔮Type Inference Visualization
Embedded projects for someone looking to break into the field?
github.com·1d·
Discuss: r/embedded
📚Self-Documenting Code
Tractability Frontiers of the Shapley Value for Aggregate Conjunctive Queries
arxiv.org·3h
📊Query Optimizers
Arabic Large Language Models for Medical Text Generation
arxiv.org·3d
🌱Minimal ML
Deep Temporal Graph Networks for Real-Time Correction of GNSS Jamming-Induced Deviations
arxiv.org·3h
🚂Error Propagation
Building Web Servers from First Principles (Part 6)
dev.to·7h·
Discuss: DEV
📋JSON Parsers
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·2d
⚖️Inference Rules
Understanding Security Concerns with Generative AI
dev.to·16m·
Discuss: DEV
🎯Finite Automata
10 Best Code Smell Detection Tools in 2025
dev.to·8h·
Discuss: DEV
🏺Code Archeology
Reproducing GPT-2 (124M) in llm.c in 90 minutes for $20
github.com·15h·
Discuss: Hacker News
🗺️Region Inference
I made a library to stop writing giant switch statements for Go errors
reddit.com·2d·
Discuss: r/golang
🛡️Error Handling
Claude-code.nvim: Seamless integration between Claude Code and Neovim
github.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
SpecVLM: Fast Speculative Decoding in Vision-Language Models
arxiv.org·2d
🌱Minimal ML
What Programming Language Is Used for Raspberry Pi? (A Practical, No-Nonsense Guide)
dev.to·1d·
Discuss: DEV
🤖Embedded Go
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.org·2d
🔍ML Language
HalluField: Detecting LLM Hallucinations via Field-Theoretic Modeling
arxiv.org·2d
🌱Minimal ML