Measuring Thinking Efficiency in Reasoning Models: The Missing Benchmark - NOUS RESEARCH
nousresearch.com·4d·
Discuss: Hacker News, r/LocalLLaMA
🧠Intelligence Compression
A Python RAG tutorial with Pinecone and Ollama 3.2 with a code example
blog.yasuflores.me·2h·
Discuss: Hacker News
🌀Brotli Dictionary
A Better Vocabulary for Testing
alperenkeles.com·2d·
Discuss: Lobsters, r/compsci, r/programming
🔍Concolic Testing
Elephants Don't Write Sonnets
whattotelltherobot.com·12h·
Discuss: Hacker News
🔲Cellular Automata
Fresh Eyes as a Service: Using LLMs to Test CLI Ergonomics
recursion.wtf·14h·
Discuss: Hacker News
📟CLI Design
Promoting Efficient Reasoning with Verifiable Stepwise Reward
arxiv.org·4d
🔗Constraint Handling
From Mud to Masterpiece: Meet dc-artisan and Craft Better Prompts
dev.to·14h·
Discuss: DEV
⚡Proof Automation
SEDEG:Sequential Enhancement of Decoder and Encoder's Generality for Class Incremental Learning with Small Memory
arxiv.org·2h
🧠Neural Codecs
Tasklin v0.0.3, a simple open-source CLI to automate tasks
dev.to·5h·
Discuss: DEV
🪟Awesome windows command-line
On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
arxiv.org·1d
🔲Proof Irrelevance
A2HCoder: An LLM-Driven Coding Agent for Hierarchical Algorithm-to-HDL Translation
arxiv.org·1d
💻Local LLMs
A One-Class Explainable AI Framework for Identification of Non-Stationary Concurrent False Data Injections in Nuclear Reactor Signals
arxiv.org·2h
🔍Vector Forensics
PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
arxiv.org·1d
🌀Brotli Dictionary
A Multi-Task Evaluation of LLMs' Processing of Academic Text Input
arxiv.org·2h
📜Digital Philology
A Constant-Time Hardware Architecture for the CSIDH Key-Exchange Protocol
arxiv.org·1d
🌊Stream Ciphers
Memory as Structured Trajectories: Persistent Homology and Contextual Sheaves
arxiv.org·2h
🕸️Algebraic Topology
Improving MSA Estimation through Adaptive Weight Vectors in MOEA/D
arxiv.org·2h
🧮Kolmogorov Bounds
Automated Patient Stratification via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·20h·
Discuss: DEV
🧠Machine Learning
gpt-oss-120b & gpt-oss-20b Model Card
arxiv.org·1d
📝ABNF Extensions
Understanding Lambda Functions in Python: Definition, Usage, and Applications
dev.to·4h·
Discuss: DEV
λLambda Formalization