Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·3d·
Discuss: Lobsters, Hacker News
⏱️Real-time Systems
Machine Learning Pipeline for Software Engineering: A Systematic Literature Review
arxiv.org·5d
🏗️LLVM
Uncertainty Estimation for Novel Views in Gaussian Splatting from Primitive-Based Representations of Error and Visibility
arxiv.org·4d
🎨Computer Graphics
PromptSafe: Gated Prompt Tuning for Safe Text-to-Image Generation
arxiv.org·4d
🎨Computer Graphics
Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
arxiv.org·4d
⏱️Real-time Systems
CADD: Context aware disease deviations via restoration of brain images using normative conditional diffusion models
arxiv.org·3d
🤖AI
Will morally motivated actors steer us towards a near-best future?
lesswrong.com·1d
🌍Distributed Systems
Who Should Run Advanced AI Evaluations -- AISIs?
arxiv.org·3d
🤖AI
Augmentation-based Domain Generalization and Joint Training from Multiple Source Domains for Whole Heart Segmentation
arxiv.org·2d
🎨Computer Graphics
Robots can defuse high-intensity conflict situations
arxiv.org·1d
⏱️Real-time Systems
Wearable Music2Emotion : Assessing Emotions Induced by AI-Generated Music through Portable EEG-fNIRS Fusion
arxiv.org·1d
🌐WebGPU
SincVAE: A new semi-supervised approach to improve anomaly detection on EEG data using SincNet and variational autoencoder
arxiv.org·1d
🕯️Candle
Decision-Making with Deliberation: Meta-reviewing as a Document-grounded Dialogue
arxiv.org·1d
🏗️LLVM
Open weights == Closed source
lesswrong.com·3d
🔧Embedded Rust
Relationship between Perceived Maneuverability and Involuntary Eye Movements under Systematically Varied Time Constants of Ride-on Machinery
arxiv.org·2d
⏱️Real-time Systems
Talking Surveys: How Photorealistic Embodied Conversational Agents Shape Response Quality, Engagement, and Satisfaction
arxiv.org·4d
🤖AI
Neuromorphic Cybersecurity with Semi-supervised Lifelong Learning
arxiv.org·2d
🔒Hardware Security
Evaluation of 3D Counterfactual Brain MRI Generation
arxiv.org·3d
🎨Computer Graphics
Estimation of Hemodynamic Parameters via Physics Informed Neural Networks including Hematocrit Dependent Rheology
arxiv.org·3d
🤖AI
Sam I Am
lesswrong.com·2d
🦀Rust