Type Systems, Formal Methods, Lambda Calculus, Category Theory
RTL generation for custom CPU Mrav
popovicu.com·2d
Much Ado About Vibe Coding
kottke.org·3d
Modern Dentistry Is a Microplastic Minefield
theatlantic.com·5h
Deception in Depth: PRC-Nexus Espionage Campaign Hijacks Web Traffic to Target Diplomats
cloud.google.com·6h
Irresistible Contentment
theatlantic.com·1d
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·5d
HHNAS-AM: Hierarchical Hybrid Neural Architecture Search using Adaptive Mutation Policies
arxiv.org·3d
Disentangling the Drivers of LLM Social Conformity: An Uncertainty-Moderated Dual-Process Mechanism
arxiv.org·3d
MoEcho: Exploiting Side-Channel Attacks to Compromise User Privacy in Mixture-of-Experts LLMs
arxiv.org·3d
Can Large Language Models (LLMs) Describe Pictures Like Children? A Comparative Corpus Study
arxiv.org·5d
DianJin-OCR-R1: Enhancing OCR Capabilities via a Reasoning-and-Tool Interleaved Vision-Language Model
arxiv.org·5d
Unplug and Play Language Models: Decomposing Experts in Language Models at Inference Time
arxiv.org·3d
The Interpretability Analysis of the Model Can Bring Improvements to the Text-to-SQL Task
arxiv.org·5d
Loading...Loading more...