Feeds to Scour
SubscribedAll
IDA Pro String Heuristics
gabrielcybersecurity.com·1d
✅Format Verification
Preview
Report Post
From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
arxiv.org·1d
🎯Performance Proofs
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·4h
🔧KAITAI
Preview
Report Post
PICK for Regular Expressions
blog.brownplt.org·1d
🔍RegEx Engines
Preview
Report Post
RNA language models can generalize well on structure prediction tasks
nature.com·4d·
Discuss: Hacker News
🤖Grammar Induction
Preview
Report Post
I Fed 24 Years of My Blog Posts to a Markov Model
susam.net·16h
🦀Rust Macros
Preview
Report Post
Orchestrating Intelligence: A Reflection on Agentic AI
dev.to·19h·
Discuss: DEV
⚙️TLA+
Preview
Report Post
A Rust CLI Program, Use It with LLM and Convert It to Web UI
binwang.me·3d
📝Concrete Syntax
Preview
Report Post
Asynchronous Reasoning: Training-Free Interactive Thinking LLMs
arxiv.org·1d
✓Automated Theorem Proving
Preview
Report Post
.NET Wrapper for latest PCRE2 library
github.com·13h·
Discuss: Hacker News
✅Format Verification
Preview
Report Post
Ask your LLM for receipts: What I learned teaching Claude C++ crash triage
addxorrol.blogspot.com·1d·
Discuss: www.blogger.com
🔩Systems Programming
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·20h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Systematic Framework of Application Methods for Large Language Models in Language Sciences
arxiv.org·2d
🌲Parse Trees
Preview
Report Post
There are things that AIs understand and no human can
jovex.substack.com·21h·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·1d
⚔️Lean Tactics
Preview
Report Post
Visual Funnel: Resolving Contextual Blindness in Multimodal Large Language Models
arxiv.org·1d
🤖Advanced OCR
Preview
Report Post
Multi-Objective Reward and Preference Optimization: Theory and Algorithms
arxiv.org·1d
🎛️Feed Filtering
Preview
Report Post
Building a RAG Server with PostgreSQL – Part 3: Deploying Your RAG API
pgedge.com·1d·
Discuss: Hacker News
🔄Archival Workflows
Preview
Report Post
Self-Supervised Temporal Pattern Mining for heritage language revitalization programs under multi-jurisdictional compliance
dev.to·4d·
Discuss: DEV
🤖Grammar Induction
Preview
Report Post
OSS: A simple guide on how to get started with multi-agent engineering
buildand.ai·2d·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post