Linkage from Toronto
11011110.github.io·2d
🧭SMT Solvers
OpenAI Cookbook - Verifying gpt-oss implementations
cookbook.openai.com·1d·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
From LISP to Racket (a brief history of LISP programming)
youtu.be·3d·
Discuss: r/programming
📝Lisp
Advice on Buhner's core protocol
reddit.com·19h·
Discuss: r/Lyme
🤝Protocol Design
Discovering Invariant Neighborhood Patterns for Heterophilic Graphs
arxiv.org·6h
🕸️Graph Theory
What is Unit Testing?
dev.to·23h·
Discuss: DEV
🔍Static Analysis
⭐ sirupsen napkin-math
waylonwalker.com·1d
🧮Programming Language Theory
Go go goroutines
bitfieldconsulting.com·3d
⚡Concurrency
Unlock LLM Precision: Master Structured Output with Pydantic and Instructor
dev.to·23h·
Discuss: DEV
🔧Compiler Design
argenx SE (ARGX): A Bull Case Theory
finance.yahoo.com·8h
📐Type Theory
CTRL Your Shift: Clustered Transfer Residual Learning for Many Small Datasets
arxiv.org·6h
🎲Probabilistic Programming
HTTP Request Processing with Zero-Copy Optimization(9624)
dev.to·22h·
Discuss: DEV
🤝Protocol Design
⭐ grantjenks python-c2f
waylonwalker.com·1d
🧮Programming Language Theory
Sophisticated Learning: A novel algorithm for active learning during model-based planning
arxiv.org·6h
🎲Probabilistic Programming
<i>ROSIE</i>: AI generation of multiplex immunofluorescence staining from histopathology images
nature.com·2d
🎲Probabilistic Programming
Unlocking the Magic: My First ML Project – Handwritten Digit Recognition with MNIST ✨
dev.to·16h·
Discuss: DEV
🔗Parser Combinators
Introducing OxMPL - the Oxidised Motion-Planning Library
reddit.com·1d·
Discuss: r/rust
🦀Rust
Seeking Architectural Feedback on a Local-First, Self-Coding AI Assistant (README Inside)
reddit.com·1d·
Discuss: r/AskProgramming
🔧Compiler Design
DashCam Video: A complementary low-cost data stream for on-demand forest-infrastructure system monitoring
arxiv.org·6h
🎲Probabilistic Programming
SpecDetect: Simple, Fast, and Training-Free Detection of LLM-Generated Text via Spectral Analysis
arxiv.org·6h
🔧Compiler Design