Unplug and Play Language Models: Decomposing Experts in Language Models at Inference Time
arxiv.org·16h
🔗Parser Combinators
Ask HN: Why is Prolog not gaining traction?
news.ycombinator.com·12h·
Discuss: Hacker News
💭Prolog
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·1d·
Discuss: r/rust
🧠Memory Management
Teach Your Free AI Chatbot with Reports & Web Data (RAG Basics)
dev.to·3h·
Discuss: DEV
🧫Cellular Automata
New ByteDance Seed reasoning RL paper, relating RL to self-supervised learning.
threadreaderapp.com·6h
🧩Theorem Proving
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·3h
🎲Probabilistic Programming
Is this logic sound?
reddit.com·2d·
Discuss: r/compsci
🧭SMT Solvers
LLMs Won't Replace Programming Languages
mech-lang.org·13h·
Discuss: Hacker News
🧮Programming Language Theory
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🧮Programming Language Theory
Using unstructured data to create knowledge graphs in SurrealDB
surrealdb.com·20h
🔗Parser Combinators
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·40m
⚖Algorithmic Game Theory
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·8h·
Discuss: Hacker News
🔧Compiler Design
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.org·6h·
Discuss: Hacker News
📈Complexity Theory
how to resolve a halting paradox
academia.edu·2d·
Discuss: r/programming
🧭SMT Solvers
Who should be SEC football teams' 3 annual rivals? Let us know
nytimes.com·2h
🧫Cellular Automata
Dyna – Logic Programming for Machine Learning
dyna.org·6d·
Discuss: Lobsters, Hacker News, r/compsci
💭Prolog
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·1d
⚙Functional Programming
Enhance AI agents using predictive ML models with Amazon SageMaker AI and Model Context Protocol (MCP)
aws.amazon.com·1d·
Discuss: Hacker News
🎲Probabilistic Programming
From Some to All The Basics of Logic in Computers
dev.to·4d·
Discuss: DEV
🔢Mathematical Logic
Scheme Basics
courses.cs.washington.edu·7h·
Discuss: Hacker News, Hacker News
📝Lisp