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
80499
posts in
1.22
s
Optimal
Abstractions
for Verifying Properties of Kolmogorov-Arnold Networks (
KANs
)
arxiv.org
·
16h
🌲
Binary Search Trees
Quantum-enhanced
Markov
Chain Monte Carlo for
Combinatorial
Optimization
arxiv.org
·
16h
🧮
Algorithms
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
Rob
Pike
's Simple Regular
Expressions
bruceediger.com
·
1d
🗣️
Natural Language Parsing
A Neuro Symbolic Architecture For Induced
Epistemic
Agency and System 2 Reasoning in
Quantized
Large Language Models
papers.ssrn.com
·
4d
·
Discuss:
Hacker News
🗣️
Natural Language Parsing
Jokes
on You AI: Turning the
Tables
dev-log.me
·
1d
·
Discuss:
Hacker News
📄
Document Versioning
Let
Lambda
Come Over
yamlscript.org
·
2d
🧮
Hindley-Milner
Human-like Search for Modern
Applications
anvitra.ai
·
1d
·
Discuss:
Hacker News
🧮
Algorithms
Beyond
Jailbreaking
: Why Direct Prompt Injection is Now
Arbitrary
Code Execution
pub.towardsai.net
·
1d
🗂️
Hash Tables
Some
thoughts
on LLM coding
blog.dave.tf
·
21h
💻
Programming Languages
marzhall/BBL
: A couple of tools for
OpenEdge
ABL
github.com
·
2d
🗄
Databases
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
2d
🗣️
Natural Language Parsing
Performance Tip of the Week #83:
Reducing
memory
indirections
abseil.io
·
1d
🗂️
Hash Tables
Scientists reveal the alien logic of AI:
hyper-rational
but
stumped
by simple concepts
psypost.org
·
1d
🧮
Algorithms
hsutter/cppfront
: A personal experimental C++ Syntax 2 -> Syntax 1 compiler
github.com
·
11h
💻
Programming Languages
Released:
DeepBrainz-R1
— reasoning-first small models for agentic workflows (
4B
/ 2B
huggingface.co
·
4d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🧮
Hindley-Milner
When AI goes
haywire
: the case of the skyscraper and the slide
trombone
theconversation.com
·
1d
🧮
Algorithms
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
🌲
Binary Search Trees
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