⚙️ Alloy - nmarshall · Scour

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis ∀Lean4

arxiv.org·1d

Super Alloy Crush Early Access 🎮Game Engines

bluesnews.com·14h

Hands-on with Aulumu C01 Hi-Per Titanium alloy Apple Watch band 🎒Hiking Gear

neowin.net·5d

Intrinsic attraction driving the high temperature performance of additively manufactured aluminum alloys 🖨️3D Printing

nature.com·2d

New comment by sasa_buklijas in "Ask HN: Who wants to be hired? (April 2026)" 🔍Code Review

buklijas.info·6d·Hacker News

New comment by Fintegrationfs in "Ask HN: Who wants to be hired? (April 2026)" 🧠AI

news.ycombinator.com·5d·Hacker News

2026 BMW iX1, iX2 electric car prices cut, just after model update 🔌Microcontrollers

drive.com.au·3d

Dell just made its thinnest Pro Premium executive laptop yet — a magnesium alloy featherweight that finally makes carrying a workstation feel effortless 🖥computers

techradar.com

·6d

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking 🔍Chip Verification

arxiv.org·2d

Tractable Hyperproperties for MDPs ⚙️Concurrency Models

arxiv.org·2h

Compositionality of Lyapunov functions via assume-guarantee reasoning 🔗Dependent Types

arxiv.org·2d

Formal specification and behavioral simulation of the holiday gift exchange game ⚙️Concurrency Models

arxiv.org·1d

Chemical Short-Range Order Regulates Hydrogen Energetics and Hydrogen-Dislocation Interactions in CoNiV 📊Scientific Visualization

arxiv.org·1d

Can Large Language Models Model Programs Formally? 📐TLA+

arxiv.org·6d

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers 🧠Memory Models

arxiv.org·6d

Loading more...