The Whop chop: how we cut a Rails test suite and CI time in half
evilmartians.com·1d·
Discuss: Hacker News
🍎Apple
How Causal Reasoning Addresses the Limitations of LLMs in Observability
infoq.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·1d·
Discuss: Hacker News
🎮Verification Games
The Great Unmasking: When AI Shows Us Who We Really Are
kennethreitz.org·1d·
Discuss: Hacker News
🩹Self-Healing Systems
How Real Is AI Tutoring? Comparing Simulated and Human Dialogues in One-on-One Instruction
arxiv.org·1d
✓Automated Theorem Proving
MSA2-Net: Utilizing Self-Adaptive Convolution Module to Extract Multi-Scale Information in Medical Image Segmentation
arxiv.org·1d
🐫Embedded OCaml
Moe Inference Economics from First Principles
tensoreconomics.com·1d·
Discuss: Hacker News
🍎XNU Internals
DGL-RSIS: Decoupling Global Spatial Context and Local Class Semantics for Training-Free Remote Sensing Image Segmentation
arxiv.org·1d
🧩Separation Logic
LLMs and their Limited Theory of Mind: Evaluating Mental State Annotations in Situated Dialogue
arxiv.org·1d
🧩Parser Combinators
A Unified Denoising and Adaptation Framework for Self-Supervised Bengali Dialectal ASR
arxiv.org·1d
🧩Parser Combinators
SimulMEGA: MoE Routers are Advanced Policy Makers for Simultaneous Speech Translation
arxiv.org·1d
🧩Parser Combinators
Speech Command Recognition Using LogNNet Reservoir Computing for Embedded Systems
arxiv.org·1d
🐫Embedded OCaml
Igniting Creative Writing in Small Language Models: LLM-as-a-Judge versus Multi-Agent Refined Rewards
arxiv.org·3d
🧩Parser Combinators
Integrated Multivariate Segmentation Tree for the Analysis of Heterogeneous Credit Data in Small and Medium-Sized Enterprises
arxiv.org·1d
🧩Parser Combinators
Hierarchical Motion Captioning Utilizing External Text Data Source
arxiv.org·1d
🧩Parser Combinators
Lessons from building an AI data analyst
pedronasc.com·3d·
Discuss: Hacker News
🧠Automated Reasoning
Improving Aviation Safety Analysis: Automated HFACS Classification Using Reinforcement Learning with Group Relative Policy Optimization
arxiv.org·3d
🔍Formal Verification
Hypothesis Network Planned Exploration for Rapid Meta-Reinforcement Learning Adaptation
arxiv.org·1d
🎮Verification Games
CMRAG: Co-modality-based document retrieval and visual question answering
arxiv.org·1d
🧩Parser Combinators
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·3d·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators