DCP-o-matic โ€ข Re: LtRt Matrix Decoder
dcpomatic.comยท7h
๐ŸŽฌCinema Codecs
Efficiently Updatable Neural Network (NNUE)
beuke.orgยท1d
๐Ÿ“ŠQuantization
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.comยท16h
๐Ÿ”“Decompilation
Claude Code sucks but is still useful: experiences maintaining Juliaโ€™s SciML scientific computing infrastructure
stochasticlifestyle.comยท1d
๐Ÿ“Code Metrics
A Global Mining Dataset
tech.marksblogg.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆMETS Containers
The Role of AI in Next-Gen Chip Design
dev.toยท2dยท
Discuss: DEV
๐Ÿ”งHardware Verification
Read Between the Lines: A Benchmark for Uncovering Political Bias in Bangla News Articles
arxiv.orgยท23h
โš™๏ธCompression Benchmarking
POEM: Explore Unexplored Reliable Samples to Enhance Test-Time Adaptation
arxiv.orgยท23h
๐ŸงฎKolmogorov Complexity
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.orgยท1d
๐ŸงฎSMT Solvers
Adventures on the AI Coding side of things
medium.comยท1dยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.toยท1dยท
Discuss: DEV
๐Ÿง Intelligence Compression
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.orgยท23h
๐ŸŽฏPerformance Proofs
Detecting Semantic Clones of Unseen Functionality
arxiv.orgยท23h
๐Ÿ”—Binary Similarity
Automating construction safety inspections using a multi-modal vision-language RAG framework
arxiv.orgยท23h
๐Ÿค–Advanced OCR
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.orgยท23h
๐Ÿ”—Parser Combinators
PoLi-RL: A Point-to-List Reinforcement Learning Framework for Conditional Semantic Textual Similarity
arxiv.orgยท23h
๐Ÿ—‚๏ธVector Search
Docker Model Runner: Run AI Models Locally Within Your Docker Ecosystem
dev.toยท14hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
CCD-Bench: Probing Cultural Conflict in Large Language Model Decision-Making
arxiv.orgยท23h
๐ŸŒCultural Algorithms