Feeds to Scour
SubscribedAll
Scoured 254924 posts in 4.80 s
LLM & AI Agent Applications with LangChain and LangGraph — Part 4 — Components of GPT
pub.towardsai.net·1h
📊LR Parsing
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·18h
🔧LLVM IR
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·19h
🎯Symbolic Execution
Preview
Report Post
Understanding Automata Theory Through Route Maps
dev.to·53m·
Discuss: DEV
🎯Finite Automata
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
📊Datalog Engines
Preview
Report Post
No, Small Models Are Not the "Budget Option" (English)
mostlylucid.net·4h
🚂Error Propagation
Preview
Report Post
LangChain & LangGraph: Beginner’s Guide to AI Workflows
javacodegeeks.com·1d
🌊Dataflow Languages
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·11h
🌳Tree Walking
Preview
Report Post
Introducing the XLab AI Security Guide
lesswrong.com·12h
🛡️Security Type Systems
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·1d
🪜Recursive Descent
Preview
Report Post
The Rust Programming Language - The Rust Programming Language
doc.rust-lang.org·1h
⚙️TOML Parsers
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮Theorem Provers
Preview
Report Post
Any useful resources for improving the quality of the vscode projects?
addyo.substack.com·11h·
Discuss: r/vscode
🎭Program Synthesis
Preview
Report Post
SMART SLM: Structured Memory and Reasoning Transformer, A Small Language Model for Accurate Document Assistance
arxiv.org·3d
🌱Minimal ML
Preview
Report Post
PhD Thesis An INFORMATION THEORETIC APPROACH TO THE EXPRESSIVENESS OF PROGRAMMING LANGUAGES by Joseph Ray Davidson July 2015
macs.hw.ac.uk·4d
🔬programming language theory
Preview
Report Post
Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski
play.google.com·2d·
Discuss: r/cpp
💬Smalltalk VMs
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·15h·
Discuss: Hacker News
💻Terminal Control
Preview
Report Post
Qwen2 Technical Report
paperium.net·1d·
Discuss: DEV
Tokenizer Optimization
Preview
Report Post
I Built an Agentic AI Boilerplate (Agent-First, Conversation-First)
dev.to·1h·
Discuss: DEV
Live Coding
Preview
Report Post