Tape Library and Show Off
i.redd.it·1d·
Discuss: r/homelab
📼Cassette Archaeology
Unlimited access to Docker Hardened Images: Because security should be affordable, always
docker.com·9h
📦Container Security
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·3h·
Discuss: Hacker News
🔲Cellular Automata
PDF: Crippling Relational AI Guarantees Systemic Risk
zenodo.org·7h·
Discuss: Hacker News
🛡️Error Boundaries
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🎯Interactive Provers
Vector Trifference
arxiv.org·2h
📐Linear Algebra
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·2h
⚡Incremental Computation
Distribution Preference Optimization: A Fine-grained Perspective for LLM Unlearning
arxiv.org·2h
💻Local LLMs
Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits
arxiv.org·2h
🌳Archive Merkle Trees
Prompting Techniques for Specialised LLMs
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·2h
🧠Machine Learning
Super-resolution image projection over an extended depth of field using a diffractive decoder
arxiv.org·2h
🌈Holographic Storage
Hybrid Schemes of NIST Post-Quantum Cryptography Standard Algorithms and Quantum Key Distribution for Key Exchange and Digital Signature
arxiv.org·1d
🔐Quantum Security
Deep Domain Adaptation for Turbofan Engine Remaining Useful Life Prediction: Methodologies, Evaluation and Future Trends
arxiv.org·2h
🧠Machine Learning
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·1d
⚛️Quantum Compilers
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·2h
🔗Parser Combinators
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.to·14h·
Discuss: DEV
🔧Hardware Verification
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·2h
🧠Machine Learning
Increasing LLM response trustworthiness using voting ensembles
arxiv.org·2h
🔍Information Retrieval
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·2h
⚙️TLA+