๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โฐ Temporal Logic

LTL, CTL, Model Checking, System Verification

Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.comยท11hยท
Discuss: Hacker News
๐Ÿ“ŠGraph Databases
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท1d
๐Ÿ“Concrete Syntax
The Agent Testing Pyramid
rchaves.appยท16hยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.orgยท2d
๐Ÿ”Type Inference
Improving Weakly Supervised Temporal Action Localization by Exploiting Multi-resolution Information in Temporal Domain
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Machine Learning Fundamentals: accuracy project
dev.toยท2dยท
Discuss: DEV
โœ…Archive Validation
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.aiยท1dยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.orgยท5h
๐Ÿ“ŠQuantization
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750762127113200๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flame Graph Performance Truth Analysis๏ผˆ1750839255230100๏ผ‰
dev.toยท1dยท
Discuss: DEV
โšกPerformance Tools
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท2d
๐Ÿ“Concrete Syntax
Polystate: Composable Finite State Machines
github.comยท4dยท
Discuss: Lobsters, Hacker News, r/Zig
๐ŸŒProtocol Synthesis
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท19hยท
Discuss: DEV
๐Ÿ“Code Metrics
Machine Learning Fundamentals: active learning
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Grammar Induction
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.orgยท3d
๐Ÿ“Linear Logic
Python Fundamentals: asynchronous
dev.toยท20hยท
Discuss: DEV
๐ŸŒŠStream Processing
Machine Learning Fundamentals: active learning with python
dev.toยท15hยท
Discuss: DEV
๐Ÿง Machine Learning
ReasonFlux-PRM: Trajectory-Aware PRMs for Long Chain-of-Thought Reasoning in LLMs
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
๐Ÿ“ข GreyCollar: Supervised Agentic AI Project
dev.toยท16hยท
Discuss: DEV
๐ŸŒŠStream Processing
Elucidated Rolling Diffusion Models for Probabilistic Weather Forecasting
arxiv.orgยท5h
โšกIncremental Computation
Loading...Loading more...
AboutBlogChangelogRoadmap