Putting the cart before the AI
blog.tohojo.dk·2d
⚡Proof Automation
Pure UI
rauchg.com·13h·
Discuss: Hacker News
🎨Nordic Design
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·3h·
Discuss: Hacker News
📏Code Metrics
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
Probing AI Safety with Source Code
arxiv.org·35m
✨Effect Handlers
PhysiX: A Foundation Model for Physics Simulations
arxiv.org·2d
🔲Cellular Automata
SPD-CFL: Stepwise Parameter Dropout for Efficient Continual Federated Learning
arxiv.org·2d
📊Learned Metrics
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics
DroneDiffusion: Robust Quadrotor Dynamics Learning with Diffusion Models
arxiv.org·1d
📐Projective Geometry
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
RecLLM-R1: A Two-Stage Training Paradigm with Reinforcement Learning and Chain-of-Thought v1
arxiv.org·1d
🔍Information Retrieval
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·21h
📋Protocol Buffers
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·35m
🧠Intelligence Compression
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·20h·
Discuss: DEV
⚡Performance Tools
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·8h·
Discuss: DEV
🛠Language Design
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·1d
🔍Concolic Testing
My AI Workflow for Understanding Any Codebase
steipete.me·18h
⚡Proof Automation
Learning Instruction-Following Policies through Open-Ended Instruction Relabeling with Large Language Models
arxiv.org·35m
💻Local LLMs