Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
6714
posts in
10.3
ms
Show HN:
Igor
–
Constraint
Programming for Clojure
github.com
·
3d
·
Discuss:
Hacker News
∀
Lean4
Ashfaqbs/TinyLLM-usecases
: a collection of tiny llms with usecases
github.com
·
6h
·
Discuss:
r/LLM
,
r/LocalLLM
💻
Local LLMs
Solving Regex
Crosswords
Without
Z3
danielalp.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔄
Finite Automata
Executing
programs inside transformers with
exponentially
faster inference
percepta.ai
·
2h
·
Discuss:
r/LocalLLaMA
🤖
AI Inference
i tried to
teach
a
math
ai to say no
habib.bearblog.dev
·
6h
🔗
CoT Prompting
Learn
Haskell
in Two
Weeks
vitez.me
·
8h
·
Discuss:
Lobsters
λ
Functional Programming
Databricks
launches
Genie
Code to automate data science and engineering tasks
infoworld.com
·
2h
🤖
AI Coding Tools
Safe
Expressions
for Rules,
Filters
, and Templates
danfry1.github.io
·
48m
·
Discuss:
Hacker News
🦕
Deno
Efficient
Vector
Search in the Wild: One Model for Multi-K
Queries
arxiv.org
·
4d
🎯
Vector Databases
Three More
Mapping
Game
Paradigms
idraluna-archives.bearblog.dev
·
1d
🎲
Procedural Generation
Don't
Vibe
—
Prove
ngrislain.github.io
·
12h
·
Discuss:
Hacker News
λ
Functional Programming
Less-relevant results
Issue 515
haskellweekly.news
·
1d
🔗
Dependent Types
Readme
Human
mathbook.cafe
·
10h
🤖
AI Coding Tools
Diels-grabsch2
: Self Hashing C Program (2019)
ioccc.org
·
14h
·
Discuss:
Hacker News
🔢
Homomorphic Encryption
QORA-LLM-2B
– Pure Rust
ternary
inference, no multiplication needed
huggingface.co
·
1d
·
Discuss:
Hacker News
☁️
Serverless Rust
Which of these
languages
are best for AI?
blog.ploeh.dk
·
3d
🤖
AI Coding Tools
Pros and
Cons
:
Experiments
with AI-Driven Development and Claude Code
spin.atomicobject.com
·
1d
🤖
AI Coding Tools
Neural networks for learning
reasoning
breno.bearblog.dev
·
4d
🤖
AI Inference
Show HN:
Crushing
Hearts with Deep
CFR
brianberns.github.io
·
21h
·
Discuss:
Hacker News
,
r/programming
🤖
Reinforcement Learning
Deep C
Dives
: Blocks,
Stacks
and Locals
i-programmer.info
·
2d
🧠
Memory Models
Loading...
Loading more...
Page 2 »
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