CCXML
en.wikipedia.orgยท1dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Building Git for Lawyers
theredline.versionstory.comยท10hยท
Discuss: Hacker News
๐ŸŒฟgit
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.comยท16hยท
Discuss: Hacker News
๐ŸŒŠStreaming Algorithms
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.orgยท20h
โœ“Automated Theorem Proving
The Cutting-Edge DeFi Platform for 2025 โ€“ AI-Driven, Multi-Chain, and Secure
dev.toยท16hยท
Discuss: DEV
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Specification-Aware Machine Translation and Evaluation for Purpose Alignment
arxiv.orgยท20h
๐Ÿ’ปProgramming languages
Text-Scene: A Scene-to-Language Parsing Framework for 3D Scene Understanding
arxiv.orgยท20h
๐ŸŽ™๏ธWhisper
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.orgยท20h
๐ŸงฎSMT Solvers
CLaC at DISRPT 2025: Hierarchical Adapters for Cross-Framework Multi-lingual Discourse Relation Classification
arxiv.orgยท20h
๐Ÿ“Text Embeddings
Robustness of Neurosymbolic Reasoners on First-Order Logic Problems
arxiv.orgยท20h
๐ŸงฎProlog Parsing
Simplified Longitudinal Retrieval Experiments: A Case Study on Query Expansion and Document Boosting
arxiv.orgยท20h
๐Ÿ”Information Retrieval
Evaluating the Effectiveness and Scalability of LLM-Based Data Augmentation for Retrieval
arxiv.orgยท20h
๐Ÿ”Information Retrieval
The Database Zoo: Inside Time-Series Engines (InfluxDB, Prometheus, Timescale)
hackernoon.comยท22h
๐Ÿ—„๏ธDatabase Internals
seqBench: A Tunable Benchmark to Quantify Sequential Reasoning Limits of LLMs
arxiv.orgยท20h
๐Ÿ”—Functional Compilers
Digging Into the Internal: Causality-Based Analysis of LLM Function Calling
arxiv.orgยท20h
๐Ÿ”—Functional Compilers
Evaluating CxG Generalisation in LLMs via Construction-Based NLI Fine Tuning
arxiv.orgยท20h
๐Ÿค–Grammar Induction
Asking a Language Model for Diverse Responses
arxiv.orgยท20h
โš™๏ธCompression Benchmarking