Working for a Vendor with David Gee
blog.ipspace.net·4h
🧲RISC-V Archaeology
News for September 2025
ptreview.sublinear.info·3d
🧪Property-Based Testing
Tritium | Thoughts on the Word Spec in Rust
tritium.legal·23h·
Discuss: Hacker News, r/programming, r/rust
🦀Rust Macros
Towards a Typology of LLM Chains-of-Thought
1a3orn.com·16h·
Discuss: Hacker News
🌳Context free grammars
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·2d·
Discuss: DEV
📋Format Specification
Battering down the doors - this $50 hacking kit is enough to break Intel and AMD's toughest chip defenses, so be on your guard
techradar.com·16h
🛡️RISC-V Security
On Using Large Language Models to Enhance Clinically-Driven Missing Data Recovery Algorithms in Electronic Health Records
arxiv.org·7h
🔍Information Retrieval
Moral Anchor System: A Predictive Framework for AI Value Alignment and Drift Prevention
arxiv.org·7h
🔲Cellular Automata
Goodbye Valve Spec Nightmares: AI's Got Your Back
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Advanced Grid-Scale Battery Standard Harmonization via AI-Driven Predictive Modeling
dev.to·2d·
Discuss: DEV
🎯Arithmetic Coding Theory
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🎯Performance Proofs
The Debate on RLVR Reasoning Capability Boundary: Shrinkage, Expansion, or Both? A Two-Stage Dynamic View
arxiv.org·7h
📏Linear Logic
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·7h
🧠Intelligence Compression
Adaptive AI: Neural Networks That Learn to Conserve
dev.to·2d·
Discuss: DEV
📊Quantization
P2P: A Poison-to-Poison Remedy for Reliable Backdoor Defense in LLMs
arxiv.org·7h
💻Local LLMs
Meta-Awareness Enhances Reasoning Models: Self-Alignment Reinforcement Learning
arxiv.org·7h
🧠Intelligence Compression
Automated Predictive Maintenance Optimization via Hybrid Bayesian-Markovian Modeling for Tunnel Boring Machines (TBMs)
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Diffusion-Classifier Synergy: Reward-Aligned Learning via Mutual Boosting Loop for FSCIL
arxiv.org·7h
🧠Machine Learning
Read the Room: Inferring Social Context Through Dyadic Interaction Recognition in Cyber-physical-social Infrastructure Systems
arxiv.org·7h
🕳️Persistent Homology
Bridging the Gap Between Multimodal Foundation Models and World Models
arxiv.org·7h
🔲Cellular Automata