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
84191
posts in
457.8
ms
IESR
:Efficient
MCTS-Based
Modular Reasoning for Text-to-SQL with Large Language Models
arxiv.org
·
2d
🗣️
Natural Language Parsing
Learning to
Reason
in 13
Parameters
arxiv.org
·
3d
·
Discuss:
Hacker News
🧮
Hindley-Milner
(50)
Set-Roster
vs Set-Builder
notation
youtube.com
·
1d
🧮
Algorithms
outer
measure in
nLab
ncatlab.org
·
3d
🧮
Hindley-Milner
The Little Book of
Linear
Algebra
little-book-of.github.io
·
1d
🧮
Algorithms
From
Monolith
to Micro-Brain:
Architecting
Scalable AI Inference in .NET
dev.to
·
16h
·
Discuss:
DEV
🧮
Hindley-Milner
Kotlin Symbol Processing:
создаём
свой
процессор
habr.com
·
1d
🧮
Hindley-Milner
Claude Opus 4.6 hebt
agentisches
Programmieren
auf eine neue Stufe
igorslab.de
·
1d
📄
Document Versioning
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
1d
🏗
Datastructures
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
1d
🌲
Binary Search Trees
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
1d
·
Discuss:
Hacker News
🧮
Hindley-Milner
*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological
Invariants
in High‑Dimensional Random
Simplicial
Complexes*
freederia.com
·
1d
🧮
Algorithms
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
2d
·
Discuss:
Hacker News
🌲
Binary Search Trees
Logistic
Regression, Average Marginal Effects, and the Linear Probability Model - Part II:
Coefficients
and AMEs of nested models
elff.eu
·
1d
🌲
Binary Search Trees
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
1d
💻
Programming Languages
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
2d
·
Discuss:
r/golang
🗣️
Natural Language Parsing
A
GTM
guide to AI models
revengine.substack.com
·
16h
·
Discuss:
Substack
📄
Document Versioning
Performance
Tip
of the Week #93: Robots never
sleep
abseil.io
·
13h
🌲
Binary Search Trees
What Should Go Into the C++
Standard
Library
abseil.io
·
13h
💻
Programming Languages
Autocrypt
v2 - Post-Quantum and Reliable
Deletion
for Internet Messaging
autocrypt2.org
·
1d
🗂️
Hash Tables
Loading...
Loading more...
« Page 3
•
Page 5 »
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