🧩 Separation Logic - tiferrei · Scour

MoonBit 0.9: Introducing First-Class Formal Verification 🛡️seL4

moonbitlang.com·6d·Lobsters

Gemini Robotics-ER 1.6: Powering real-world robotics tasks through enhanced embodied reasoning 🤖Robotics

deepmind.google·1d·Hacker News

From personas to intentions: towards a science of motivations for AI models 📚Automata Learning

lesswrong.com·9h

Lattice-Based Cryptography and Formal Verification 🛡️seL4

mayckongiovani.substack.com·1d·Substack

PROMISE: Proof Automation as Structural Imitation of Human Reasoning ✓Automated Theorem Proving

arxiv.org·6d

How cognitive science can help us design better software 📵Digital Minimalism

cogzest.com·1d·Hacker News

metareflection/guardians: an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026) 🛡️seL4

github.com·5d·Hacker News

Sir Tony Hoare obituary 📐Hoare Logic

theguardian.com·2d·Hacker News

When the compiler lies: breaking memory safety in safe Go 🏃Escape Analysis

ciolek.dev·6d·Lobsters, Hacker News

Navigating the Mythos-haunted world of platform security 🛡️seL4

redhat.com·6d·Hacker News

AssemLM: Spatial Reasoning Multimodal Large Language Models for Robotic Assembly 🤖Robotics

arxiv.org·1d

turlockmike/infer: Pipe-friendly LLM agent harness with a bash tool. Works with any OpenAI-compatible provider. 💻CLI Tools

github.com·5d·Hacker News

Mind the Gap Between Spatial Reasoning and Acting! Step-by-Step Evaluation of Agents With Spatial-Gym 🎮Verification Games

arxiv.org·1d

A Fast and Loose Clustering of LLM Benchmarks 🧠Apple Neural Engine

lesswrong.com·4d

CORA: Conformal Risk-Controlled Agents for Safeguarded Mobile GUI Automation 🔲Cellular Automata

arxiv.org·1d

SCoRe: Clean Image Generation from Diffusion Models Trained on Noisy Images 🔲Cellular Automata

arxiv.org·1d

Sensor Placement for Tsunami Early Warning via Large-Scale Bayesian Optimal Experimental Design 👁️Observability

arxiv.org·1d

Optimal Privacy-Aware Co-Design of Quantizer and Controller in Networked Control Systems 🛡️Privacy Engineering

arxiv.org·1d

BRASP: Boolean Range Queries over Encrypted Spatial Data with Access and Search Pattern Privacy 🔒Protocol Verification

arxiv.org·4d

Faithful GRPO: Improving Visual Spatial Reasoning in Multimodal Language Models via Constrained Policy Optimization 📚Automata Learning

arxiv.org·4d

Loading more...