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
🧩 Constraint Programming
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
78933
posts in
1.04
s
Distributed
Knowledge in
Simplicial
Models
arxiv.org
·
1d
🧮
Algorithms
Optimal
Abstractions
for Verifying Properties of Kolmogorov-Arnold Networks (
KANs
)
arxiv.org
·
1d
🌲
Binary Search Trees
plrg-bristol/advanced-haskell-2026
: Resources for the 2026 Advanced Haskell
seminar
series at Bristol
github.com
·
13h
🧮
Hindley-Milner
hanig/engram
: Personal knowledge graph and automation system
github.com
·
2d
🗂️
Columnar Storage
Building a Dynamic
Multilanguage
System Without
Rebuilds
kuldeepmodi.vercel.app
·
1d
·
Discuss:
DEV
📄
Document Versioning
From
CS230
Theory to Production Android: Building a Privacy-First Credit Risk
Classifier
pub.towardsai.net
·
1d
🌲
Binary Search Trees
Scale LLM fine-tuning with
Hugging
Face and Amazon
SageMaker
AI
aws.amazon.com
·
17h
🏷️
Named Entity Recognition
gharasathi
(
घर
ासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au
·
2d
·
Discuss:
DEV
🗂️
Columnar Storage
A Trust-First Recipe AI Agent Using
Algolia
(No
Hallucinations
)
fayzakseo.com
·
1d
·
Discuss:
DEV
🗂️
Hash Tables
Why
Penguins
Don't Build
Nests
in Trees and Why That Matters for AI
erikzaadi.com
·
1d
🗣️
Natural Language Parsing
A general optimization framework for
mapping
local
transition-state
networks
nature.com
·
3d
🗂️
Hash Tables
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
15h
·
Discuss:
Hacker News
🌲
Binary Search Trees
Zinc
Language Design
ziggit.dev
·
3d
💻
Programming Languages
Automatic
Programming
notes.billmill.org
·
5d
💻
Programming Languages
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
1d
·
Discuss:
r/LocalLLaMA
🧮
Hindley-Milner
Uncovering
Hidden
Informations
whiteravendev.itch.io
·
1d
📄
Document Versioning
Hardness
of
hinted
ISIS from the space-time
hardness
of lattice problems
eprint.iacr.org
·
4d
🗂️
Hash Tables
Why are Neural Networks
architected
that way in the first place?
threads.championswimmer.in
·
2d
🌲
Binary Search Trees
**Abstract:** This paper proposes a novel framework for quantifying the inherent logical
incompleteness
present in
Gödelian
systems by dynamically mapping ax...
freederia.com
·
3d
🧮
Algorithms
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
1d
·
Discuss:
Hacker News
🗂️
Hash Tables
Loading...
Loading more...
« Page 5
•
Page 7 »
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