Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·4d·
Discuss: Lobsters, Hacker News
⏱️Real-time Systems
Rod Burstall: In Memoriam
arxiv.org·4d·
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·5d·
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·3d
🌐WebGPU
Speech-to-LaTeX: New Models and Datasets for Converting Spoken Equations and Sentences
arxiv.org·4d
🤖AI
Enhancing Vision-Language Model Training with Reinforcement Learning in Synthetic Worlds for Real-World Success
arxiv.org·3d
🤖AI
Statistical suggestions for mech interp research and beyond
lesswrong.com·4d
🕯️Candle
DD-DeepONet: Domain decomposition and DeepONet for solving partial differential equations in three application scenarios
arxiv.org·4d
🔢SIMD Programming
A Message Passing Realization of Expected Free Energy Minimization
arxiv.org·5d
🤖AI
Unsupervised Graph Deep Learning Reveals Emergent Flood Risk Profile of Urban Areas
arxiv.org·2d
🕯️Candle
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
arxiv.org·4d
🕯️Candle
The State Of TTS: A Case Study with Human Fooling Rates
arxiv.org·3d
🧠Memory Allocators
Refine-IQA: Multi-Stage Reinforcement Finetuning for Perceptual Image Quality Assessment
arxiv.org·3d
🎨Computer Graphics
Evaluating, Synthesizing, and Enhancing for Customer Support Conversation
arxiv.org·3d
🗄️Database Internals
Toward Energy and Location-Aware Resource Allocation in Next Generation Networks
arxiv.org·2d
🌍Distributed Systems
Claude, GPT, and Gemini All Struggle to Evade Monitors
lesswrong.com·3d
🔒Hardware Security
Learning from B Cell Evolution: Adaptive Multi-Expert Diffusion for Antibody Design via Online Optimization
arxiv.org·4d
🤖AI
Driver Assistant: Persuading Drivers to Adjust Secondary Tasks Using Large Language Models
arxiv.org·2d
🤖AI
Balancing Optimality and Diversity: Human-Centered Decision Making through Generative Curation
arxiv.org·4d
🎮Game Engines