Introducing Resizable Region Packing Problem in Image Generation, with a Heuristic Solution
arxiv.org·8h
🔄Loop Optimization
From OCL to JSX: declarative constraint modeling in modern SaaS tools
arxiv.org·8h
🧱WASM Components
How Meta Animates Billions of AI-generated Images
blog.bytebytego.com·20h
🎭Program Synthesis
AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
arxiv.org·8h
🧮Theorem Provers
CoPlanner: An Interactive Motion Planner with Contingency-Aware Diffusion for Autonomous Driving
arxiv.org·8h
🔄Coroutines
Build systems à la carte - 3236774.pdf
dl.acm.org·1h
🌱Forth Kernels
Randomized matrix computations: Themes and variations
arxiv.org·8h
🧮Linear Algebra
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.com·4h·
Discuss: Hacker News
💬Interactive REPLs
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.org·8h
🎯Finite Automata
Optimising A Rust Keyboard Firmware's Key Storage Implementation by Flattening Tree-like Structs
rgoulter.com·2h·
Discuss: r/rust
🦀MIR Optimization
IDfRA: Self-Verification for Iterative Design in Robotic Assembly
arxiv.org·8h
🎭Program Synthesis
Virtual Arc Consistency for Linear Constraints inCost Function Networks
arxiv.org·8h
🧩Constraint Solvers
Code Your Way to Perfect 3D: Introducing Gradient-Powered Geometry by Arvind Sundararajan
dev.to·18h·
Discuss: DEV
🎭Program Synthesis
Program Synthesis via Test-Time Transduction
arxiv.org·8h
🎭Program Synthesis
Toward Engineering AGI: Benchmarking the Engineering Design Capabilities of LLMs
arxiv.org·8h
🎨Domain-Specific Languages
GraphWeave: Interpretable and Robust Graph Generation via Random Walk Trajectories
arxiv.org·8h
🪢Rope Data Structures
Enhanced Electrophilic Aromatic Substitution Prediction via Hyperdimensional Network Analysis of Reaction Mechanisms
dev.to·36m·
Discuss: DEV
✨Effect Inference
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·2d·
Discuss: Hacker News
⚡Algebraic Effects
Automated Cost-Benefit Analysis for Network Infrastructure Optimization via Graph Neural Networks
dev.to·23h·
Discuss: DEV
🔗Graph Rewriting
GSoC 2025: Improving Core Clang-Doc Functionality
blog.llvm.org·1d
📋Tablegen