๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
โฐ Temporal Logic
LTL, CTL, Model Checking, System Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 4
โข
Page 6 »