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
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ยท
๐ŸŽฏSymbolic Execution
Preview
Report Post