A super protein evolution engine
nature.comยท19h
๐คProtocol Design
Flag this post
Think DSP second edition
allendowney.comยท19h
โFunctional Programming
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.comยท18h
๐Static Analysis
Flag this post
You are going to get priced out of the best AI coding tools
๐ฒProbabilistic Programming
Flag this post
How Perplexity Built an AI Google
blog.bytebytego.comยท1d
๐ฒProbabilistic Programming
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
๐งฎProgramming Language Theory
Flag this post
Interpretable Heart Disease Prediction via a Weighted Ensemble Model: A Large-Scale Study with SHAP and Surrogate Decision Trees
arxiv.orgยท6h
๐ฒProbabilistic Programming
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
๐ฒProbabilistic Programming
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?
โ๏ธLogic Programming
Flag this post
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.orgยท1d
๐ฒProbabilistic Programming
Flag this post
Writing an LLM from scratch, part 26 โ evaluating the fine-tuned model
๐ฒProbabilistic Programming
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
๐งญSMT Solvers
Flag this post
ParlaSpeech 3.0: Richly Annotated Spoken Parliamentary Corpora of Croatian, Czech, Polish, and Serbian
arxiv.orgยท1d
๐ฒProbabilistic Programming
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
๐งฎProgramming Language Theory
Flag this post
Loading...Loading more...