๐ฟ๏ธ 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
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.io
ยท
11h
๐ฅ๏ธ
Modern Terminals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Keyboard Holders, Generation 1
cceckman.com
ยท
2d
ยท
Discuss:
Hacker News
โจ๏ธ
Mechanical Keyboards
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experiments With Sonnet 4.5's Fiction
lesswrong.com
ยท
9h
ยท
Discuss:
Hacker News
๐
Concatenative Languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Social Science PhD Tech Stack
kevinbryanecon.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Archive Workflows
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Paper2Agent: Research Papers as Interactive AI Agents
huggingface.co
ยท
1d
ยท
Discuss:
Hacker News
๐ค
AI Curation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why it took 4 years to get a lock files specification
snarky.ca
ยท
21h
ยท
Discuss:
Lobsters
,
Hacker News
๐
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
VLLM Predicted Outputs
cascadetech.ai
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
ยท
2d
ยท
Discuss:
Hacker News
ฮป
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: An open-source starter kit for implementing OWASP ASVS 5.0
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
My Claude Code Setup
justindfuller.com
ยท
2d
ยท
Discuss:
Hacker News
โก
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
English - the hottest programming language of the future
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to
ยท
3d
ยท
Discuss:
DEV
๐
Homelab Orchestration
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why People Say โF*** LeetCodeโ: Difficulty, Fairness, Real-World Value โ and a Better Way
dev.to
ยท
2d
ยท
Discuss:
DEV
๐
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to
ยท
18h
ยท
Discuss:
DEV
๐
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LLM-Driven Rubric-Based Assessment of Algebraic Competence in Multi-Stage Block Coding Tasks with Design and Field Evaluation
arxiv.org
ยท
2d
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to
ยท
14h
ยท
Discuss:
DEV
๐
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org
ยท
3d
๐ป
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building a Task Management MCP Server with Laravel
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Constraint Handling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LangChain and LlamaIndex in 2025: How Developers Are Building Smarter AI Workflows
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 7
โข
Page 9 »