Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.deยท14hยท
Discuss: r/programming
๐ŸŽฏGADT
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.comยท3dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.meยท1dยท
Discuss: Hacker News
๐ŸŽฎVerification Games
Flag this post
Coding Agents Are Outliers
vivekhaldar.comยท15hยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
danielkliewer.comยท1dยท
๐Ÿค–Program Synthesis
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.comยท2dยท
Discuss: Hacker News
โš™๏ธCompiler Design
Flag this post
Performance Analysis of Single-Antenna Fluid Antenna Systems via Extreme Value Theory
arxiv.orgยท4h
๐ŸฉนSelf-Healing Systems
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
dev.toยท7hยท
Discuss: DEV
๐Ÿ’ŽRefinement Types
Flag this post
AI and the Loss of the Flow
dev.toยท3hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
Calibration Across Layers: Understanding Calibration Evolution in LLMs
arxiv.orgยท1d
โณLTL
Flag this post
Thought-For-Food: Reasoning Chain Induced Food Visual Question Answering
arxiv.orgยท1d
๐Ÿ“šAutomata Learning
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.orgยท1d
๐Ÿ”Formal Verification
Flag this post
The Evolutionary Argument Against Reality
quantamagazine.orgยท2dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.orgยท4h
๐Ÿ”CBMC
Flag this post
Urban-MAS: Human-Centered Urban Prediction with LLM-Based Multi-Agent System
arxiv.orgยท1d
๐ŸงฉParser Combinators
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.orgยท1d
๐ŸงฉParser Combinators
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.orgยท1d
๐Ÿ“Linear Algebra
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.orgยท2d
๐Ÿ“Linear Algebra
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.orgยท2d
๐Ÿ“šAutomata Learning
Flag this post