Submissions from arxiv.org

		Surveying GenAI-Based Automation in Printed Circuit Board Design and Test (arxiv.org)
		2 points by teleforce 2 hours ago \| past \| discuss
		Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
		185 points by matt_d 9 hours ago \| past \| 26 comments
		How good are frontier models at physics? (arxiv.org)
		90 points by qt31415926 11 hours ago \| past \| 44 comments
		Accurate Models of AMD Matrix Cores (arxiv.org)
		70 points by matt_d 11 hours ago \| past \| 9 comments
		Competitive Market Behavior of LLMs (arxiv.org)
		2 points by paulpauper 13 hours ago \| past \| discuss
		Dream-RSI: Recursive Self-Improvement through Evolving Worlds (arxiv.org)
		197 points by bananaflag 17 hours ago \| past \| 49 comments
		GPUThor: Amplifying Rowhammer Attacks via Non-Uniform Patterns to Exploit (arxiv.org)
		1 point by sbulaev 18 hours ago \| past \| discuss
		Fractal basins trap latent reasoning (arxiv.org)
		1 point by wil3 22 hours ago \| past \| discuss
		Coding Agents Have Converged: Why the SWE-Bench Leaderboard Can No Longer Order (arxiv.org)
		2 points by sbulaev 22 hours ago \| past \| discuss
		Potemkin Understanding in Large Language Models (2025) (arxiv.org)
		3 points by mpweiher 23 hours ago \| past \| 1 comment
		Noise-Coded Illumination for Forensic and Photometric Video Analysis (arxiv.org)
		1 point by 1e1a 1 day ago \| past \| discuss
		Continual Learning Mechanisms Compose for Long-Horizon Memorization (arxiv.org)
		2 points by donk8r 1 day ago \| past \| discuss
		Verification of a Generational Garbage Collector (arxiv.org)
		2 points by matt_d 1 day ago \| past \| discuss
		Revisiting Soundness for Occurrence Typing, Semantically (arxiv.org)
		1 point by matt_d 1 day ago \| past \| discuss
		Intelligent Interaction Techniques (arxiv.org)
		1 point by azhenley 1 day ago \| past \| discuss
		Occamy-1.0: Open Pareto-frontier 35B intelligence for co-work (arxiv.org)
		1 point by donk8r 1 day ago \| past \| discuss
		Divide, Consult, Conquer: Capability Laundering Through Aligned LLMs (arxiv.org)
		2 points by sbulaev 1 day ago \| past \| discuss
		AdaBoost Does Not Always Cycle (arxiv.org)
		2 points by gone35 1 day ago \| past \| discuss
		Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning (arxiv.org)
		3 points by matt_d 1 day ago \| past \| discuss
		Dart: Denoising Autoregressive Transformer (arxiv.org)
		1 point by E-Reverance 1 day ago \| past \| discuss
		Strategic Technical Debt: A Real Options Approach to Early-Stage Software (arxiv.org)
		2 points by rashidae 1 day ago \| past \| discuss
		StepAudio 3 Gen Technical Report (arxiv.org)
		2 points by gmays 1 day ago \| past \| discuss
		GRP-Obliteration: Unaligning LLMs with a Single Unlabeled Prompt (arxiv.org)
		23 points by vital101 1 day ago \| past \| 9 comments
		The Matroid Secretary Conjecture Is True (arxiv.org)
		1 point by fofoz 1 day ago \| past \| discuss
		Breaking the Token Ceiling (arxiv.org)
		2 points by sonabinu 1 day ago \| past \| discuss
		The Misery of Mechanistic Interpretability: A Formal Perspective (arxiv.org)
		1 point by sbulaev 1 day ago \| past \| discuss
		Randomized query complexity can beat certificate complexity (arxiv.org)
		4 points by porridgeraisin 1 day ago \| past \| discuss
		The k-server conjecture is true (arxiv.org)
		105 points by iamsyr 1 day ago \| past \| 35 comments
		Why do we do astrophysics? (arxiv.org)
		4 points by astrolx 1 day ago \| past \| discuss
		Can Theoretical Physics Research Benefit from Language Agents? (arxiv.org)
		3 points by num42 1 day ago \| past \| discuss
		More