๐ฟ๏ธ 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
Toy Binary Decision Diagrams
philipzucker.com
ยท
5d
๐งฎ
Algebraic Datatypes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Day I Hacked XCTrack
blog.syrac.org
ยท
1d
ยท
Discuss:
Hacker News
๐
PKI Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Social Science PhD Tech Stack
kevinbryanecon.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Archive Workflows
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Is GRPO Broken?
neelsomaniblog.com
ยท
18h
ยท
Discuss:
Hacker News
๐งฎ
Kolmogorov Bounds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Efficient and accurate search in petabase-scale sequence repositories
nature.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Burrows-Wheeler
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to
ยท
13h
ยท
Discuss:
DEV
๐ก๏ธ
Error Boundaries
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Your Resume Fails CI/CD: 10 Tools to Debug It for ATS Parsers
dev.to
ยท
1d
ยท
Discuss:
DEV
๐ค
Archive Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Day 06 of My AI & Data Mastery Journey: From Python to Generative AI
dev.to
ยท
1d
ยท
Discuss:
DEV
โก
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Announcing state-machines: Rust Port of Ruby's state_machines Gem
reddit.com
ยท
23h
ยท
Discuss:
r/rust
๐ฆ
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Intent Weaving for AI Coding Agents
autohand.ai
ยท
1d
ยท
Discuss:
Hacker News
โก
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net
ยท
1d
ยท
Discuss:
r/programming
๐ง
Lisp Dialects
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Apache Kafka
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
11+ Best All-in-One AI Platforms in 2025
dev.to
ยท
2d
ยท
Discuss:
DEV
๐ค
AI Curation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Generalized Orders of Magnitude (GOOMs)
github.com
ยท
4h
ยท
Discuss:
Hacker News
๐ธ๏ธ
Tensor Networks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Randomized and quantum approximate matrix multiplication
arxiv.org
ยท
1d
๐
Quantum Cryptography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.to
ยท
12h
ยท
Discuss:
DEV
๐
Vector Forensics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building an AI Internal Linking Plugin for WordPress
dev.to
ยท
9h
ยท
Discuss:
DEV
๐
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From Documents to Dialogue: A step-by-step RAG Journey
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org
ยท
2d
๐
Manuscript Algebras
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 5
โข
Page 7 »