Feeds to Scour
SubscribedAll
Scoured 254936 posts in 1.90 s
A Validated Semantics for LLVM IR
sf.snu.ac.kr·18h
🔧LLVM IR
Preview
Report Post
**Title:** Enhanced Symmetry Detection via Adaptive Graph Resonance and Temporal Correlation Analysis: A Novel Approach to Mirror Symmetry Validation in High-Dimensional Spaces
freederia.com·3h
🗺️Region Polymorphism
Preview
Report Post
LLM & AI Agent Applications with LangChain and LangGraph — Part 2
pub.towardsai.net·1h
📊LR Parsing
Preview
Report Post
Understanding Automata Theory Through Route Maps
dev.to·51m·
Discuss: DEV
🎯Finite Automata
Preview
Report Post
The Rust Programming Language - The Rust Programming Language
doc.rust-lang.org·1h
⚙️TOML Parsers
Preview
Report Post
Algebraic Topology 1: Homotopy Equivalence
youtube.com·14h
🔗Category Theory
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🎯Symbolic Execution
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.io·8h·
Discuss: Hacker News
🔍ML Language
Preview
Report Post
LangChain & LangGraph: Beginner’s Guide to AI Workflows
javacodegeeks.com·1d
🌊Dataflow Languages
Preview
Report Post
TOON for LLMs: A Comparative Performance Analysis against JSON
gist.github.com·13h·
Discuss: DEV
📋JSON Parsing
Preview
Report Post
Going back to go forwards and instruction design<!-- -->
lukes-blog.vercel.app·6h·
Discuss: Hacker News
📚Self-Documenting Code
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming, r/rust
🔗Lexical Scoping
Preview
Report Post
An Inequality Union Find Inspired by Atomic Asymmetric Completion
philipzucker.com·6d
🔗Unification Algorithms
Preview
Report Post
C –> Java != Java –> LLM
observationalhazard.com·45m·
Discuss: Hacker News
🏗️LLVM
Preview
Report Post
SDSL : a new/old shader programming language
stride3d.net·3d·
Discuss: r/programming
📊Pratt Parsers
Preview
Report Post
Dynamic graph neural networks for improving the reliability of traffic flow prediction: Progress and prospects
sciencedirect.com·1d
🗺️Region Inference
Preview
Report Post
SLB to further enhance digital portal as part of ongoing transformation
jamaicaobserver.com·12h
🧱WASM Components
Preview
Report Post
How to Craft a Strong AI/ML Thesis Statement
pub.towardsai.net
·52m
⚖️Inference Rules
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮Theorem Provers
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·14h
🔤Language Tokenizers
Preview
Report Post