Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·3d·
Discuss: Lobsters, Hacker News
⏱️Real-time Systems
Rod Burstall: In Memoriam
arxiv.org·3d·
Discuss: Lobsters
🧮Linear Algebra
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·5d·
Discuss: Lobsters, Hacker News
🏗️LLVM
A Gentle Introduction To Fortran
hackaday.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🗣️Language Servers
SCOUT: An in-vivo Methane Sensing System for Real-time Monitoring of Enteric Emissions in Cattle with ex-vivo Validation
arxiv.org·2d
🌐WebGPU
HyCodePolicy: Hybrid Language Controllers for Multimodal Monitoring and Decision in Embodied Agents
arxiv.org·4d
🤖AI
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·4d
🏗️LLVM
Speech-to-LaTeX: New Models and Datasets for Converting Spoken Equations and Sentences
arxiv.org·3d
🤖AI
Enhancing Vision-Language Model Training with Reinforcement Learning in Synthetic Worlds for Real-World Success
arxiv.org·2d
🤖AI
DD-DeepONet: Domain decomposition and DeepONet for solving partial differential equations in three application scenarios
arxiv.org·3d
🔢SIMD Programming
A Message Passing Realization of Expected Free Energy Minimization
arxiv.org·4d
🤖AI
Unsupervised Graph Deep Learning Reveals Emergent Flood Risk Profile of Urban Areas
arxiv.org·1d
🕯️Candle
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
arxiv.org·3d
🕯️Candle
Refine-IQA: Multi-Stage Reinforcement Finetuning for Perceptual Image Quality Assessment
arxiv.org·2d
🎨Computer Graphics
The State Of TTS: A Case Study with Human Fooling Rates
arxiv.org·2d
🧠Memory Allocators
Evaluating, Synthesizing, and Enhancing for Customer Support Conversation
arxiv.org·2d
🗄️Database Internals
Toward Energy and Location-Aware Resource Allocation in Next Generation Networks
arxiv.org·1d
🌍Distributed Systems
Claude, GPT, and Gemini All Struggle to Evade Monitors
lesswrong.com·2d
🔒Hardware Security
Learning from B Cell Evolution: Adaptive Multi-Expert Diffusion for Antibody Design via Online Optimization
arxiv.org·3d
🤖AI
Driver Assistant: Persuading Drivers to Adjust Secondary Tasks Using Large Language Models
arxiv.org·1d
🤖AI