A Compelling Differentiator in OEM Product Design
semiwiki.com·3h
🧩Theorem Proving
Flag this post
Switching from GPG to Age
🤝Protocol Design
Flag this post
TBM 386: Understanding Enabling Constraints Using Shape Up (Basecamp)
🔌Network Programming
Flag this post
Can-t stop till you get enough
⚙Functional Programming
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🧮Programming Language Theory
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
🔗Parser Combinators
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·12h
🎲Probabilistic Programming
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·12h
⚖️Logic Programming
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·12h
🔗Parser Combinators
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Equilibrium Policy Generalization: A Reinforcement Learning Framework for Cross-Graph Zero-Shot Generalization in Pursuit-Evasion Games
arxiv.org·1d
⚖Algorithmic Game Theory
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·12h
🔗Parser Combinators
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·22h
🔗Parser Combinators
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·12h
🔗Parser Combinators
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Loading...Loading more...