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
Inside Pinecone: Slab Architecture
pinecone.ioยท18hยท
Discuss: Hacker News
๐Ÿ—Computer Architecture
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.devยท17hยท
Discuss: Hacker News
๐Ÿ“Text Editors
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
newsletter.danielpaleka.comยท3hยท
Discuss: Hacker News
๐ŸŽฒ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
news.ycombinator.comยท12hยท
Discuss: Hacker News
๐ŸงฎProgramming Language Theory
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
dev.toยท5hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgยท1d
๐ŸงญSMT Solvers
Flag this post
TypeScript Rewrote Itself in Go?! What That โ€œ10x Fasterโ€ Hype Really Means
dev.toยท6hยท
Discuss: DEV
๐Ÿ“Lisp
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
Writing an LLM from scratch, part 26 โ€“ evaluating the fine-tuned model
gilesthomas.comยท1dยท
Discuss: Hacker News
๐ŸŽฒProbabilistic Programming
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
dev.toยท2dยท
Discuss: DEV
๐ŸงญSMT Solvers
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.toยท2dยท
Discuss: DEV
๐ŸงฎProgramming Language Theory
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.orgยท1d
๐Ÿ”Cryptography
Flag this post