A super protein evolution engine
nature.comยท16h
๐ŸคProtocol Design
Flag this post
Inside Pinecone: Slab Architecture
pinecone.ioยท16hยท
Discuss: Hacker News
๐Ÿ—Computer Architecture
Flag this post
Coherent: Quality Comes At A Price, But AI Tailwinds Could Push It Higher
seekingalpha.comยท21h
๐Ÿ“ŠInformation Theory
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.orgยท2dยท
Discuss: Hacker News
๐Ÿ“Lisp
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.devยท15hยท
Discuss: Hacker News
๐Ÿ“Text Editors
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.comยท16h
๐Ÿ”Static Analysis
Flag this post
How Perplexity Built an AI Google
blog.bytebytego.comยท1d
๐ŸŽฒProbabilistic Programming
Flag this post
You are going to get priced out of the best AI coding tools
newsletter.danielpaleka.comยท1hยท
Discuss: Hacker News
๐ŸŽฒProbabilistic Programming
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.comยท10hยท
Discuss: Hacker News
๐ŸงฎProgramming Language Theory
Flag this post
Matrix Sensing with Kernel Optimal Loss: Robustness and Optimization Landscape
arxiv.orgยท4h
๐ŸŽฒProbabilistic Programming
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
dev.toยท2hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Flag this post
Teaching My Team How to Build LINQ from Scratch
dev.toยท18hยท
Discuss: DEV
๐ŸงฉTheorem Proving
Flag this post
When numbers lie: the Java equality bug every dev hits at least once
dev.toยท7hยท
Discuss: DEV
๐ŸงญSMT Solvers
Flag this post
TypeScript Rewrote Itself in Go?! What That โ€œ10x Fasterโ€ Hype Really Means
dev.toยท3hยท
Discuss: DEV
๐Ÿ“Lisp
Flag this post
Building Custom Components in Langflow ๐Ÿ› ๏ธ
dev.toยท1hยท
Discuss: DEV
๐ŸงฎProgramming Language Theory
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgยท1d
๐ŸงญSMT Solvers
Flag this post
Building a tool to normalize messy support chat data for fine-tuning - would this help you?
reddit.comยท1dยท
Discuss: r/LLM
โš–๏ธLogic Programming
Flag this post
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.orgยท1d
๐ŸŽฒProbabilistic Programming
Flag this post