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
📊 Formal Semantics
Logic, Model Theory, Compositional Meaning, Type Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123571
posts in
860.3
ms
maja0027/xi-lang
: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical
completeness
.
github.com
·
23h
·
Discuss:
Hacker News
🔧
Workflow Automation
The proof theory and
semantics
of second-order (
intuitionistic
) tense logic
arxiv.org
·
2d
💬
Philosophy of Language
🧠 Programming
Idioms
— Common Code Patterns Across
Languages
programming-idioms.org
·
3h
·
Discuss:
DEV
💬
Philosophy of Language
intersection
type in
nLab
ncatlab.org
·
1d
📝
NLP
Topological
Semantics
for Common
Inductive
Knowledge
arxiv.org
·
2d
💬
Philosophy of Language
Generics
docs.modular.com
·
42m
🤖
AI
Large Language Models for
Mortals
book
andrewpwheeler.com
·
5h
📝
NLP
Graph
algebra
en.wikipedia.org
·
1d
💬
Philosophy of Language
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
1d
·
Discuss:
Hacker News
🔊
Phonology
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
🔧
Workflow Automation
RFC 3092:
Etymology
of "
Foo
"
datatracker.ietf.org
·
3d
·
Discuss:
Hacker News
💬
Philosophy of Language
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
1d
💬
Philosophy of Language
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
1d
·
Discuss:
Hacker News
💬
Philosophy of Language
Clean Architecture for AI Agents with
Convo-Lang
decoupling
orchestration from reasoning
dev.to
·
19h
·
Discuss:
DEV
🔄
Transformers
Semantic
Design
Tokens
That Scale Across Platforms
hackernoon.com
·
9h
✍️
Writing Systems
Why
Taxonomies
Matter
in the AI Age
iabtechlab.com
·
14h
📝
NLP
Databases should
contain
their own
Metadata
floedb.ai
·
15m
·
Discuss:
Hacker News
🔍
Content discovery
punctilio
: the best text
prettifier
lesswrong.com
·
11h
✍️
Writing Systems
Selective
Vagueness
bix.blog
·
14h
💬
Philosophy of Language
Thinking
about
context
natemeyvis.com
·
15h
🎲
Bayesian Cognition
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