🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Prolog
Logic Programming, Unification, Backtracking, Constraint Logic
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
·
15h
🔗
Unification Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LINQ and Learning to Be Declarative
nickstambaugh.dev
·
1d
·
Discuss:
Hacker News
📋
Datalog
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language • Semantics 3
inquiryintoinquiry.com
·
3h
📋
Backus-Naur Form
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
·
3h
·
Discuss:
Hacker News
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to
·
9h
·
Discuss:
DEV
🎭
Program Synthesis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org
·
15h
🔍
ML Language
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experimenting with ACL2 and Claude Code
mikedodds.org
·
6h
·
Discuss:
Hacker News
💬
Interactive REPLs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org
·
15h
λ
Lambda Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ReasonScape Evaluation: AI21 Jamba Reasoning vs Qwen3 4B vs Qwen3 4B 2507
reddit.com
·
1d
·
Discuss:
r/LocalLLaMA
🏁
Language Benchmarks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Logical Operators & Control Flow
github.com
·
9h
·
Discuss:
DEV
🎭
Delimited Continuations
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to
·
1d
·
Discuss:
DEV
📋
Datalog
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Slip – A Lisp System in JavaScript
lisperator.net
·
5h
·
Discuss:
Hacker News
🌱
Minimal Lisps
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Towards a Typology of Strange LLM Chains-of-Thought
lesswrong.com
·
21h
🌊
Gradual Effects
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Neuro-Symbolic AI
en.wikipedia.org
·
4h
·
Discuss:
Hacker News
🎭
Program Synthesis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Haskell Weekly Issue 493
haskellweekly.news
·
1d
·
Discuss:
Hacker News
⚡
functional programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Toy Binary Decision Diagrams
philipzucker.com
·
4d
✅
Type Checking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
·
23h
·
Discuss:
blog.mitrichev.ch
🌲
Deforestation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org
·
1d
·
Discuss:
Hacker News
🪢
Rope Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org
·
1d
·
Discuss:
Hacker News
,
r/programming
🤐
Zipper Structures
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
TBM 383: Maximizers vs. Focusers
substackcdn.com
·
4h
·
Discuss:
Substack
📡
Async Channels
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »