๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Proof Assistants
Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Research Worth Reading Week 49/2025
pentesterlab.com
ยท
17h
๐
Archive Cryptanalysis
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
What is a Pedersen commitment?
johndcook.com
ยท
1d
๐
Quantum Security
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Mechanical Habits
matklad.github.io
ยท
2d
๐ฉ
Systems Programming
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Couples rate honesty/trust/sex/money 1-10 โ AI coach closes every gap
apps.apple.com
ยท
6h
ยท
Discuss:
Hacker News
๐
Rate-Distortion Theory
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Securing Rails Applications
guides.rubyonrails.org
ยท
20h
ยท
Discuss:
Hacker News
๐ก๏ธ
WASM Security
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
React2shell: CVE-2025-55182 Technical Breakdown
miggo.io
ยท
17h
ยท
Discuss:
Hacker News
๐งช
Binary Fuzzing
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Embedded Universal Predictive Intelligence: a coherent framework for multi-agent
arxiviq.substack.com
ยท
19h
ยท
Discuss:
Substack
๐ฒ
Cellular Automata
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Teaching My AI to Sleep: Continual Learning with Llama 3 on a Mac Mini
medium.com
ยท
22h
ยท
Discuss:
Hacker News
๐ป
Local LLMs
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Rnj-1: Building Instruments of Intelligence
essential.ai
ยท
1d
ยท
Discuss:
Hacker News
๐งฎ
SMT Solvers
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Real-Time Python Stream Processing: 8 Essential Techniques for Data in Motion
dev.to
ยท
3h
ยท
Discuss:
DEV
๐
Stream Processing
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Optimizing Medical Question-Answering Systems: A Comparative Study of Fine-Tuned and Zero-Shot Large Language Models with RAG Framework
arxiv.org
ยท
11h
๐
Information Retrieval
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Challenge to Change: Design Principles for AI Transformations
arxiv.org
ยท
11h
๐ฒ
Cellular Automata
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Claude Code Tips
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust Macros
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Essentials of Compilation: An Incremental Approach (2020)
swatson555.github.io
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Rust Macros
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Zero-Trust Data Stack: Building Deterministic Agents with Google ADK
dev.to
ยท
2d
ยท
Discuss:
DEV
โก
Proof Automation
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
HiRTOS: A high-integrity multi-core RTOS kernel written in SPARK Ada
github.com
ยท
15h
ยท
Discuss:
Hacker News
๐ฆพ
ARM Cortex-M
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
I Built a Production App with Claude Code
leadershiplighthouse.substack.com
ยท
16h
ยท
Discuss:
Substack
โ๏ธ
Lean Tactics
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Greek Government Decisions Dataset for Public-Sector Analysis and Insight
arxiv.org
ยท
11h
๐
Document Grammar
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Reliable RAG on Complex financial data using vLACQ stack
blog.devops.dev
ยท
3d
โ๏ธ
Batch Processing
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Local LLMs: state of the art
dev.to
ยท
5h
ยท
Discuss:
DEV
๐
Performance Profiling
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
« Page 5
โข
Page 7 »