Feeds to Scour
SubscribedAll
Scoured 257036 posts in 6.17 s
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·16h
🤖Abstract Machines
Preview
Report Post
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·7h·
Discuss: DEV
🔧Nickel
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
A Validated Semantics for LLVM IR
sf.snu.ac.kr·15h
🔧LLVM IR
Preview
Report Post
Postgres client in Standard ML
bsky.app·10h·
Discuss: Bluesky
📐Standard ML
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.org·17h·
Discuss: r/compsci
🧠Semantic 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
Error Bounds in a Smooth Metric for Brownian Approximation of Dynamical Systems via Stein’s Method | Journal of Statistical Physics
link.springer.com·1d
⚡Fusion Laws
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
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮Theorem Provers
Preview
Report Post
Hj Hornbeck
freethoughtblogs.com·18h
🔍ML Language
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming
🔗Lexical Scoping
Preview
Report Post
The Origins and Motivations of Univalent Foundations | Ideas
ias.edu·6h
🏗️Calculus of Constructions
Preview
Report Post
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu·1d
🪄C Metaprogramming
Preview
Report Post
LangChain & LangGraph: Beginner’s Guide to AI Workflows
javacodegeeks.com·1d
🌊Dataflow Languages
Preview
Report Post
Self-Supervised Temporal Pattern Mining for circular manufacturing supply chains with embodied agent feedback loops
dev.to·5h·
Discuss: DEV
🌊Dataflow Languages
Preview
Report Post
Your Team Uses AI. Why Aren't You 10x Faster?
bits.logic.inc·7h·
Discuss: Hacker News
🎭Program Synthesis
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.io·10h·
Discuss: DEV
🎮Language Ergonomics
Preview
Report Post
Prompts are becoming Code, but we still treat them like Strings
dev.to·18h·
Discuss: DEV
💬Interactive REPLs
Preview
Report Post
Information, Physics, and Computation (Oxford Graduate Texts): Mézard, Marc, Montanari, Andrea: 8601410201722: Amazon.com: Books
amazon.com·1d
🎯Bit-Vector Algorithms
Preview
Report Post