orig inal ↗
allendowney.com·1d
🧮Linear Algebra
Self-Driving IT Security: The Road Ahead
blog.checkpoint.com·1h
🛡️Security Type Systems
Creating a database of motivated proofs
gowers.wordpress.com·16h·
Discuss: Hacker News
⚖️Inference Rules
Until now, programming was a "single-threaded" activity. As a dev, I'd get "in the zone" and get it done.
bsky.app·5h·
Discuss: Bluesky
⚡Live Coding
The Art of Asking Questions in the Age of AI
api.example.com·3h·
Discuss: DEV
🎮Language Ergonomics
Space-Deniable Proofs
eprint.iacr.org·1d
📜Proof Languages
🧠GraphScout: Self-Discovering Paths in OrKA
dev.to·1d·
Discuss: DEV
🎭Erlang OTP
Mind the Gap: Comparing Model- vs Agentic-Level Red Teaming with Action-Graph Observability on GPT-OSS-20B
arxiv.org·10h
🎯Symbolic Execution
Unrolled Graph Neural Networks for Constrained Optimization
arxiv.org·10h
🪜Recursive Descent
ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks
arxiv.org·10h
⚡Control Synthesis
Building the Global Operating System Infrastructure for Trustworthy AI: The Strategic Depth of SeaOS
dev.to·1d·
Discuss: DEV
🧠Memory Ordering
Design, assembly, and tuning of a multipurpose FPV drone: A flexible and low-cost alternative
sciencedirect.com·1h
🔌Microcontrollers
Fast Trajectory Planner with a Reinforcement Learning-based Controller for Robotic Manipulators
arxiv.org·10h
⚡Control Synthesis
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·10h
🚂Cranelift IR
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·10h
🧩SAT Solvers
Large Language Models as End-to-end Combinatorial Optimization Solvers
arxiv.org·10h
🪜Recursive Descent
Global Optimization via Softmin Energy Minimization
arxiv.org·10h
🔄Loop Optimization
Multi-Agent Systems in PHP: A Practical Deep Research Implementation
dev.to·19h·
Discuss: DEV
🌊Reactive Languages
Video-to-BT: Generating Reactive Behavior Trees from Human Demonstration Videos for Robotic Assembly
arxiv.org·10h
🌊Dataflow Languages
Agentic Reasoning for Robust Vision Systems via Increased Test-Time Compute
arxiv.org·10h
🗺️Region Inference