A super protein evolution engine
nature.comยท13h
๐ŸคProtocol Design
Flag this post
Inside Pinecone: Slab Architecture
pinecone.ioยท12hยท
Discuss: Hacker News
๐Ÿ—Computer Architecture
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.orgยท1dยท
Discuss: Hacker News
๐Ÿ“Lisp
Flag this post
Large language models still struggle to tell fact from opinion, analysis finds
techxplore.comยท14h
๐Ÿ”ขMathematical Logic
Flag this post
How Perplexity Built an AI Google
blog.bytebytego.comยท1d
๐ŸŽฒProbabilistic Programming
Flag this post
Can LLMs subtract numbers?
arxiv.orgยท42m
โš–๏ธLogic Programming
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.orgยท1d
๐ŸŽฒProbabilistic Programming
Flag this post
KTransformers Open Source New Era: Local Fine-tuning of Kimi K2 and DeepSeek V3
reddit.comยท16hยท
Discuss: r/LocalLLaMA
๐ŸŽฒProbabilistic Programming
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.orgยท1d
๐ŸงฉTheorem Proving
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.netยท2dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.toยท1dยท
Discuss: DEV
๐ŸŒDistributed Systems
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.orgยท1d
๐ŸงญSMT Solvers
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.orgยท1d
๐Ÿ”ขMathematical Logic
Flag this post
Disciplined Biconvex Programming
arxiv.orgยท1d
โš™Functional Programming
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.orgยท1d
๐Ÿ“ŠInformation Theory
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.comยท6hยท
Discuss: Hacker News
๐ŸงฎProgramming Language Theory
Flag this post
TypeScript Rewrote Itself in Go?! What That โ€œ10x Fasterโ€ Hype Really Means
dev.toยท13hยท
Discuss: DEV
๐Ÿ“Lisp
Flag this post
Matrix Sensing with Kernel Optimal Loss: Robustness and Optimization Landscape
arxiv.orgยท42m
๐ŸŽฒProbabilistic Programming
Flag this post