Binding Application in Idris
andrevidela.com·14h·
Discuss: Hacker News
🔤Type Theory
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·23h·
Discuss: Lobsters, Hacker News, Hacker News
💿ZFS Internals
Most AI models can fake alignment, but safety training suppresses the behavior, study finds
the-decoder.com·1d
🔍Concolic Testing
User simulators bridge RL with real-world interaction
jessylin.com·16h·
Discuss: Hacker News
🎧Learned Audio
The First AI Coding Style Guide
github.com·4d·
Discuss: Hacker News
📝Text Compression
The Potential of Olfactory Stimuli in Stress Reduction through Virtual Reality
arxiv.org·9h
✋Tactile Computing
Understanding Inductive Bias in Machine Learning: Why It Matters
dev.to·1d·
Discuss: DEV
🧠Machine Learning
The Efficient Designer's Approach to Storage Optimization
dev.to·1d·
Discuss: DEV
🏺ZIP Archaeology
Verified Language Processing with Hybrid Explainability: A Technical Report
arxiv.org·3d
📋Document Grammar
HeLo: Heterogeneous Multi-Modal Fusion with Label Correlation for Emotion Distribution Learning
arxiv.org·1d
📊Learned Metrics
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
📋Document Grammar
Cross-Modality Masked Learning for Survival Prediction in ICI Treated NSCLC Patients
arxiv.org·1d
🧠Machine Learning
Optimizing Cognitive Networks: Reinforcement Learning Meets Energy Harvesting Over Cascaded Channels
arxiv.org·1d
🌊Stream Ciphers
ATC/OSDI’25 Technical Sessions
muratbuffalo.blogspot.com·15h·
Discuss: www.blogger.com
🔌Interface Evolution
Robust Multimodal Learning Framework For Intake Gesture Detection Using Contactless Radar and Wearable IMU Sensors
arxiv.org·9h
📊Learned Metrics
Wrist bone segmentation in X-ray images using CT-based simulations
arxiv.org·9h
🤖Advanced OCR
Does Movable Antenna Present A Dual-edged Nature? From the Perspective of Physical Layer Security: A Joint Design of Fixed-position Antenna and Movable Antenna
arxiv.org·2d
🌊Stream Ciphers
CL-Polyp: A Contrastive Learning-Enhanced Network for Accurate Polyp Segmentation
arxiv.org·9h
🧠Machine Learning
Computationally efficient non-Intrusive pre-impact fall detection system
arxiv.org·3d
🌀Differential Geometry
Ex-Ante Truthful Distribution-Reporting Mechanisms
arxiv.org·3d
🤝Consensus Algorithms