Feeds to Scour
SubscribedAll
Scoured 9558 posts in 709.7 ms
Streamlinear, a new MCP for Linear
blog.fsck.comยท1d
๐Ÿ”’Linear Types
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท18h
โœ…Formal Methods
Preview
Report Post
Semantic Deception: When Reasoning Models Can't Compute an Addition
arxiv.orgยท3d
๐Ÿ”ฒProof Irrelevance
Preview
Report Post
We Lost the Thread on the Data Lake
blog.matterbeam.comยท6hยท
Discuss: Hacker News
๐Ÿ’ฟZFS Archaeology
Preview
Report Post
Understanding Automata Theory Through Route Maps
dev.toยท54mยท
Discuss: DEV
๐ŸŽฏAutomata theory
Preview
Report Post
LLM & AI Agent Applications with LangChain and LangGraphโ€Šโ€”โ€ŠPart 4โ€Šโ€”โ€ŠComponents of GPT
pub.towardsai.netยท1h
๐Ÿค–Grammar Induction
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.comยท1dยท
Discuss: r/LLM
๐Ÿ”ฎProof Search
Preview
Report Post
Resolving Names Once and for All
thunderseethe.devยท1dยท
โฌ†๏ธLambda Lifting
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.ioยท1d
๐Ÿ”ฌLean
Preview
Report Post
Thinking in CRUD: Designing a Clean and Intent-Driven Plan Management API
dev.toยท1dยท
Discuss: DEV
โœ…Format Verification
Preview
Report Post
C โ€“> Java != Java โ€“> LLM
observationalhazard.comยท48mยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท13hยท
Discuss: DEV
๐Ÿ”Capability Systems
Preview
Report Post
The Anti-Cloud AI Manifesto: Meet โ€œRatio,โ€ the DSL That Runs Game-Grade Intelligence on a Laptop
hackernoon.comยท4d
๐ŸŒŠStream Processing
Preview
Report Post
The Rust Programming Language - The Rust Programming Language
doc.rust-lang.orgยท1h
๐Ÿฆ€Rust Macros
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.orgยท1d
โš”๏ธLean Tactics
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.orgยท21hยท
Discuss: r/compsci
๐Ÿ“ฅFeed Aggregation
Preview
Report Post
Show HN: IntentusNet โ€“ Deterministic Execution and Replay for AI Agent Systems
news.ycombinator.comยท14hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Preview
Report Post
Virtualization: Theory to Silicon
pooladkhay.comยท15hยท
Discuss: Hacker News
๐Ÿ‘‘RISC-V Privilege
Preview
Report Post
Favorite Compiler and Interpreter Resources
eatonphil.comยท2dยท
Discuss: Hacker News
๐Ÿ“Compiler Design
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
๐Ÿ›๏ธAgda
Preview
Report Post