A super protein evolution engine
nature.com·7h
🤝Protocol Design
Flag this post
Inside Pinecone: Slab Architecture
pinecone.io·7h·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
Think DSP second edition
allendowney.com·7h
Functional Programming
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
Coherent: Quality Comes At A Price, But AI Tailwinds Could Push It Higher
seekingalpha.com·12h
📊Information Theory
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·5h·
Discuss: Hacker News
📝Text Editors
Flag this post
Large language models still struggle to tell fact from opinion, analysis finds
techxplore.com·9h
🔢Mathematical Logic
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.com·7h
🔍Static Analysis
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·2d·
Discuss: DEV
📝Lisp
Flag this post
How Perplexity Built an AI Google
blog.bytebytego.com·1d
🎲Probabilistic Programming
Flag this post
Computation as a Game
arxiv.org·19h
Algorithmic Game Theory
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·19h
🧭SMT Solvers
Flag this post
Building Custom LLM Judges for AI Agent Accuracy
databricks.com·4h
🧭SMT Solvers
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·19h
🧮Programming Language Theory
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.com·1h·
🧩Theorem Proving
Flag this post
Going Full-Time NeoHaskell
dev.to·14h·
Discuss: DEV
Functional Programming
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·11h·
Discuss: DEV
🧩Theorem Proving
Flag this post