Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Prolog
Logic Programming, Unification, Backtracking, Constraint Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83031
posts in
800.8
ms
Layered
Modal ML: Syntax and Full
Abstraction
arxiv.org
·
3d
📐
Standard ML
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
2d
🔄
Protocol State Machines
Going to the Library
yamlscript.org
·
3h
⚡
functional programming
outer
measure in
nLab
ncatlab.org
·
2d
🔗
Category Theory
**Abstract:** This paper introduces Quantum-Inspired Algorithm for
Axiomatic
System Generation and Verification (
QASAGV
), a novel approach to automatically c...
freederia.com
·
16h
📜
Proof Languages
When a Model Finds a Bug in Cryptography, and a
Cryptographer
Learns New
Mathematics
from It
dev.to
·
1d
·
Discuss:
DEV
🔍
ML Language
Rocks
D.
Xebec
dev.to
·
1d
·
Discuss:
DEV
🎨
Graph Coloring
*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological
Invariants
in High‑Dimensional Random
Simplicial
Complexes*
freederia.com
·
13h
🪢
Rope Data Structures
mstrYoda/goraphdb
: A graph database implemented in Golang
github.com
·
13h
·
Discuss:
r/programming
🗃️
Query Compilation
26x
technicalchops.com
·
1d
·
Discuss:
Hacker News
🏺
Code Archeology
As
Rocks
May Think
evjang.com
·
3d
·
Discuss:
Hacker News
,
r/programming
🗺️
Region Inference
OSTEP
Chapters
6,7
muratbuffalo.blogspot.com
·
1d
·
Discuss:
Blogger
💾
Cache Algorithms
Game Development with
Godot
4 and C# (
Packt
)
i-programmer.info
·
2d
🎭
Racket
Why RAG Failed Us for
SRE
and How We Built Dynamic Memory
Retrieval
Instead
drdroid.io
·
19h
·
Discuss:
Hacker News
🧠
Memory Ordering
Thinking Thursday:
Goose
and
Grapes
denisegaskins.com
·
1d
⚖️
Inference Rules
Categorical
systems
theory
danmackinlay.name
·
2d
🔗
Category Theory
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
1d
🎭
Program Synthesis
Postgres
performance at any scale
pganalyze.com
·
1d
📈
Query Optimization
My
Current
AI Coding
Workflow
jonathannen.com
·
22h
🚀
Code Motion
tkr
:
Reflecting
on my first hobby software project
goodinternetmagazine.com
·
1d
🔄
Bootstrapping
Loading...
Loading more...
« Page 4
•
Page 6 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help