Open Catalyst Project
⚡Z3 Optimization
Flag this post
The Development of Pie
🔗Concatenative Languages
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
🧬PostgreSQL Forensics
Flag this post
Turbocharge Claude Desktop: Use Docker MCP Toolkit for Real Developer Workflows
🔩Systems Programming
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·3d
📝Log Parsing
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·3d
💻Programming languages
Flag this post
From Mapping Files to Data Plumbing
🌊Stream Processing
Flag this post
VISAT: Benchmarking Adversarial and Distribution Shift Robustness in Traffic Sign Recognition with Visual Attributes
arxiv.org·7h
🧠Machine Learning
Flag this post
Turning 500 Lines of If-Else Into a Config Switch: Strategy Pattern in Go
⚔️Lean Tactics
Flag this post
Teaching Probabilistic Machine Learning in the Liberal Arts: Empowering Socially and Mathematically Informed AI Discourse
arxiv.org·4d
🔲Cellular Automata
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·3d
📝ABNF Extensions
Flag this post
FOCUS: Efficient Keyframe Selection for Long Video Understanding
arxiv.org·7h
📊Learned Metrics
Flag this post
UBCO study debunks the idea that the universe is a computer simulation
🧮Theoretical Computer Science
Flag this post
Algorithmic Bias Mitigation in Federated News Recommendation via Causal Graph Regularization
🎛️Feed Filtering
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
🌀Differential Geometry
Flag this post
Loading...Loading more...