TBM 386: Understanding Enabling Constraints Using Shape Up (Basecamp)
🔌Network Programming
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
🔗Parser Combinators
Flag this post
Can-t stop till you get enough
⚙Functional Programming
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·18h
🔐Cryptography
Flag this post
Towards Automated Petrography
arxiv.org·18h
🎲Probabilistic Programming
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·18h
🧭SMT Solvers
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·18h
🔗Parser Combinators
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·18h
🎲Probabilistic Programming
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
🗄️Database Theory
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
🎲Probabilistic Programming
Flag this post
Wordle Solver
🔗Parser Combinators
Flag this post
Algorithmic Assistance with Recommendation-Dependent Preferences
arxiv.org·18h
⚖Algorithmic Game Theory
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·18h
🧭SMT Solvers
Flag this post
Post-training methods for language models
developers.redhat.com·16h
🎲Probabilistic Programming
Flag this post
Practical Design Patterns for Agentic Systems
pub.towardsai.net·1d
🏗️Software Architecture
Flag this post
Building Custom LLM Judges for AI Agent Accuracy
databricks.com·3h
🧭SMT Solvers
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
🔐Cryptography
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·18h
🧩Theorem Proving
Flag this post
Loading...Loading more...