Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·11h·
Discuss: r/programming
🎯GADT
Flag this post
Fragments Nov 3
martinfowler.com·1d
🔬Static Analysis
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
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·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Scalable Multi-Modal Feedback Loop for Constrained Reinforcement Learning in Robotic Grasping
dev.to·2d·
Discuss: DEV
🤖Robotics
Flag this post
Personalized AI Scaffolds Synergistic Multi-Turn Collaboration in Creative Work
arxiv.org·2d
🔲Cellular Automata
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·1d
📐Hoare Logic
Flag this post
Performance Analysis of Single-Antenna Fluid Antenna Systems via Extreme Value Theory
arxiv.org·1h
🩹Self-Healing Systems
Flag this post
The Collaboration Gap
arxiv.org·1h
🕸️Graph Theory
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
dev.to·4h·
Discuss: DEV
💎Refinement Types
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·4d
🔄Finite State Machines
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·1d
🔍Formal Verification
Flag this post
Thought-For-Food: Reasoning Chain Induced Food Visual Question Answering
arxiv.org·1d
📚Automata Learning
Flag this post
Calibration Across Layers: Understanding Calibration Evolution in LLMs
arxiv.org·1d
LTL
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·1h
🔍CBMC
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·1d
🧩Parser Combinators
Flag this post
Urban-MAS: Human-Centered Urban Prediction with LLM-Based Multi-Agent System
arxiv.org·1d
🧩Parser Combinators
Flag this post