From Individual to Multi-Agent Algorithmic Recourse: Minimizing the Welfare Gap via Capacitated Bipartite Matching
arxiv.org·9h
⚡Incremental Computation
The Release of LibreLane
fossi-foundation.org·29m·
Discuss: Hacker News
🔓Open Source Software
CoMoNM: A Cost Modeling Framework for Compute-Near-Memory Systems
arxiv.org·9h
⚡CPU Microarchitecture
Overview of Complex System Design
arxiv.org·9h
🕹Emulation Theory
The joy of recursion, immutable data, and pure functions: Generating mazes with JavaScript
jrsinclair.com·4h·
Discuss: Hacker News
λLambda Formalization
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·9h
📊Quantization
We Needed Better Cloud Storage for Python So We Built Obstore
developmentseed.org·4h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
A2HCoder: An LLM-Driven Coding Agent for Hierarchical Algorithm-to-HDL Translation
arxiv.org·9h
💻Local LLMs
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·9h
💻Programming languages
Dyna – Logic Programming for Machine Learning
dyna.org·1d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·9h
🔮Proof Search
A Constant-Time Hardware Architecture for the CSIDH Key-Exchange Protocol
arxiv.org·9h
🌊Stream Ciphers
GPU Costs Melting Your Budget
dev.to·8h·
Discuss: DEV
🌊Streaming Algorithms
Easy will always trump simple
surfingcomplexity.blog·9h·
Discuss: Hacker News
🏗️Compiler Archaeology
Modelling Exactly-Once Delivery Using TLA+
medium.com·10h·
Discuss: Hacker News
⚙️TLA+
PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
arxiv.org·9h
🌀Brotli Dictionary
Presheaf automata
arxiv.org·9h
🎯Automata theory
Show HN: CCCP – a programmable, context-aware compression protocol (early stage)
github.com·3d·
Discuss: Hacker News
🌊Streaming Compression
Allee Synaptic Plasticity and Memory
arxiv.org·9h
🔲Cellular Automata
Closed-Loop Reverse Logistics Optimization via Agent-Based AI & Digital Twin Simulation
dev.to·15h·
Discuss: DEV
⚡Z3 Optimization