Skip to main content
Scour
Browse
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
🔍 Prolog
Datalog, Declarative Programming, Unification, Constraint Logic
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80685
posts in
1.77
s
Types for
Grassroots
Logic
Programs
arxiv.org
·
2d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
🔬 Research-Grade Context Engineering This material
represents
high-performance prompt research results designed based on Advanced
Logical
Architectures. 📜 Ma...
freederia.com
·
2h
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Predicate
Decision
Tree
docs.google.com
·
1d
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
pam - a minimal SQL client for the CLI (
dbeaver
terminalized
!)
dev.to
·
17h
·
Discuss:
DEV
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Disentangling
unification and implicit coercion (
subtyping
interaction problem)
jonmsterling.com
·
1d
·
Discuss:
Hacker News
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
seven1m/30-days-of-elixir
: A walk through the
Elixir
language in 30 exercises.
github.com
·
21h
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A brief introduction to
Compilers
with
Kotlin
examples
rabbitvictor.com
·
1d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Implementing Tensor Logic: Unifying
Datalog
and Neural Reasoning via Tensor
Contraction
arxiv.org
·
2d
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Documentation
docling-project.github.io
·
2h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Going Beyond the Context
Window
:
Recursive
Language Models in Action
towardsdatascience.com
·
1d
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Problem Solving Using
UCSD
Pascal - K. L. Bowles, Stephen D. Franklin, Dennis J.
Volper
books.google.com
·
1d
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Home
Masonry
|
Tracking
the latest trends in software development and technology
matrixtrak.com
·
1d
·
Discuss:
r/programming
🤔
Programming, Programming Languages, Philosophy
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A knowledge management system inspired by
plain-text
accounting
thalo.rejot.dev
·
3h
·
Discuss:
Hacker News
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Transform nested JSON into governed
dbt
models for
BQ/Snowflake
forge.foxtrotcommunications.net
·
12h
·
Discuss:
Hacker News
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
TongGeometry
:
Proposing
and solving olympiad geometry with guided tree search
nature.com
·
2d
·
Discuss:
Hacker News
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Cache
is King - Learning
Roadmap
nemorize.com
·
12h
·
Discuss:
Hacker News
,
r/programming
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Term Ordering
Etudes
: Ground
Lexicographic
Path Ordering
philipzucker.com
·
3d
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ML
Systems
Textbook
mlsysbook.ai
·
1d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
I built a Cursor for
writers
" on a $7 budget using
Groq
and Llama 3
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces a novel framework for automated
categorical
data integrity verification leveraging higher-order
categorical
logic (
HOLC
) ...
freederia.com
·
8h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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