Solving the NYTimes Pips puzzle with a constraint solver
blog.adafruit.com·1d
🧮SMT Solvers
Flag this post
Friday 5 December 2025 - 11am
informatics.ed.ac.uk·3h
🔬Deep Learning
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
💬Prompt Engineering
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
🔓Binary Exploitation
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·1d
📝Parsing
Flag this post
Can LLMs subtract numbers?
📝Parsing
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·7h
💬Prompt Engineering
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
📱Edge AI
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·1d
🌳Tree-sitter
Flag this post
DEER: Disentangled Mixture of Experts with Instance-Adaptive Routing for Generalizable Machine-Generated Text Detection
arxiv.org·1d
🤖Transformers
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·7h
💬Prompt Engineering
Flag this post
Automated Variant Calling Refinement via Multi-Modal Neuro-Symbolic Integration (AMVR-MNSI)
🌳Tree-sitter
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·7h
🌳Tree-sitter
Flag this post
About AI and context
💬Prompt Engineering
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·7h
📊Dynamic Programming
Flag this post
IL-PCSR: Legal Corpus for Prior Case and Statute Retrieval
arxiv.org·1d
📝Parsing
Flag this post
Loading...Loading more...