One-shot design of functional protein binders with BindCraft
nature.com·3h
⬆️Lambda Lifting
Log Detective: GSoC 2025 (part 2)
danigm.net·13h
🔓Open Source Software
k-NN Classification and Model Evaluation
dev.to·1d·
Discuss: DEV
🧠Machine Learning
C++ or Rust: Differences Explained
harshal.is-cool.dev·8h·
Discuss: Hacker News
🔩Systems Programming
ConfTuner: Training Large Language Models to Express Their Confidence Verbally
arxiv.org·14h
🧠Intelligence Compression
Dependent types I › Universes, or types of types
jonmsterling.com·12h·
Discuss: Hacker News
🔤Type Theory
Python 3.14 Preview: Lazy Annotations
realpython.com·4h
λLambda Formalization
New methodology for editing existing code files using LLM generated snippets
community.openai.com·3h·
Discuss: Hacker News
📝Compiler Design
Capture Checking in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
The Performance Spectrum
mropert.github.io·2h·
Discuss: Hacker News
🔩Systems Programming
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·12h·
Discuss: Hacker News
🦀Rust Macros
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·1d
📐Geometric Hashing
Outlandish Recursive Query Examples
sqlite.org·18h·
Discuss: Lobsters, r/programming
🗄️SQLite Internals
How to use GitHub Copilot on github.com: A power user’s guide
github.blog·2h
🌿git
Future Research in XP Modeling: A Call for Self-Learning Models
hackernoon.com·2h
⚙️Operating System Design
Minimal Multi-Stage Form Wizard with AI Review
dev.to·1d·
Discuss: DEV
✨Effect Handlers
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
Das Problem mit German Strings
polarsignals.com·21h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·5d·
Discuss: Hacker News
📝Concrete Syntax