Feeds to Scour
SubscribedAll
Scoured 258051 posts in 3.81 s
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·14h
🎯Symbolic Execution
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·13h
🔧LLVM IR
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
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·6h
🌳Tree Walking
Preview
Report Post
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.to·4h·
Discuss: DEV
📊LR Parsing
Preview
Report Post
Introducing the XLab AI Security Guide
lesswrong.com·7h
🛡️Security Type Systems
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮Theorem Provers
Preview
Report Post
Uncovering Competency Gaps in Large Language Models and Their Benchmarks
arxiv.org·2d
🏁Language Benchmarks
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
Any useful resources for improving the quality of the vscode projects?
addyo.substack.com·7h·
Discuss: r/vscode
🎭Program Synthesis
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·1d
🪜Recursive Descent
Preview
Report Post
Qwen2 Technical Report
paperium.net·1d·
Discuss: DEV
⚡Tokenizer Optimization
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·3d
🔬programming language theory
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·10h·
Discuss: Hacker News
💻Terminal Control
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.com·6h·
Discuss: Hacker News
🌉Language Interop
Preview
Report Post
On (and Contra) Chalmers on LLM Interlocutors
benjamincongdon.me·18h
🔍ML Language
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·8h
🚂Error Propagation
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·5h
⚙️Configuration Parsing
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🎯Symbolic Execution
Preview
Report Post