🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ“‹ Document Grammars

Structure Parsing, Format Specification, ABNF Extensions, Schema Languages

PDFs must die
avi.alkalay.netΒ·12h
πŸ“‹Document Standards
Every Single Human. Like. Always.
randsinrepose.comΒ·1d
⚑Proof Automation
Encoding SAT in OCaml GADTs
farlow.devΒ·2dΒ·
Discuss: Hacker News
Ξ»Lambda Formalization
Rules_derive: Deriving Using Macro_rules
matx.comΒ·1dΒ·
Discuss: Hacker News
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
How to Evaluate Graph Retrieval in MCP Agentic Systems
towardsdatascience.comΒ·1d
πŸ•ΈοΈNeo4j
Claude Code vs. Gemini CLI vs. Cursor vs. Qwen Code
medium.comΒ·1dΒ·
Discuss: Hacker News
πŸ“Code Metrics
Polar Coding and Linear Decoding
arxiv.orgΒ·1d
ℹ️Information Theory
TempRe: Template generation for single and direct multi-step retrosynthesis
arxiv.orgΒ·20h
⬆️Lambda Lifting
Learning from Limited and Imperfect Data
arxiv.orgΒ·20h
🧠Machine Learning
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.comΒ·8hΒ·
Discuss: Hacker News
πŸ”Concolic Testing
The Obscure Paradox Fueling AI and Big Data Growth
thenewstack.ioΒ·6h
🏺Database Archaeology
DataSway: Vivifying Metaphoric Visualization with Animation Clip Generation and Coordination
arxiv.orgΒ·20h
πŸ“Mathematical Art
PEMUTA: Pedagogically-Enriched Multi-Granular Undergraduate Thesis Assessment
arxiv.orgΒ·1d
πŸ›Digital humanities
9 Best Free No-Code Tools to Try in 2025 (No Credit Card Needed)
dev.toΒ·1dΒ·
Discuss: DEV
πŸš€Indie Hacking
High-Performance Go: Mastering Memory Mapping and Direct I/O for Terabyte-Scale Data Processing
dev.toΒ·5hΒ·
Discuss: DEV
🌊Stream Processing
Does Editing Improve Answer Quality on Stack Overflow? A Data-Driven Investigation
arxiv.orgΒ·20h
πŸ“ŠFeed Optimization
Verification Cost Asymmetry in Cognitive Warfare: A Complexity-Theoretic Framework
arxiv.orgΒ·20h
🎯Performance Proofs
Beyond Interactions: Node-Level Graph Generation for Knowledge-Free Augmentation in Recommender Systems
arxiv.orgΒ·1d
πŸ•ΈοΈGraph Embeddings
Machine Learning Fundamentals: k-nearest neighbors example
dev.toΒ·1dΒ·
Discuss: DEV
πŸ—‚οΈVector Databases
HRIPBench: Benchmarking LLMs in Harm Reduction Information Provision to Support People Who Use Drugs
arxiv.orgΒ·20h
πŸ“Linear Logic
Loading...Loading more...
AboutBlogChangelogRoadmap