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
124046
posts in
897.1
ms
Join
Trees
, the "Hard" Way
remy.wang
·
4d
🔧
Workflow Automation
What I
haven
't
figured
out
macwright.com
·
4d
·
Discuss:
Hacker News
🧮
Information theory
Classes
of
Originality
jacquesmattheij.com
·
3d
🎨
Computational Creativity
Sid
Meier
's System for Real-Time Music Composition and Synthesis
patents.google.com
·
4d
·
Discuss:
Hacker News
🔊
Phonology
Private Data Space Model
privatedata.space
·
6d
🤖
AI
theHigherGeometer
thehighergeometer.wordpress.com
·
6d
🧮
Information theory
Functionally
Speaking
yamlscript.org
·
4d
🧩
Morphology
Automated Extraction and Formalization of
Presuppositions
in Philosophical Discourse via Neuro‑Symbolic Reasoning **Abstract** Presupposition—the
unstated
ba...
freederia.com
·
6d
📝
NLP
More
Fancier
YS
Conditionals
yamlscript.org
·
4d
💬
Philosophy of Language
Tip of the Week #142: Multi-parameter
Constructors
and <code>
explicit
</code>
abseil.io
·
4d
🧮
Information theory
**Abstract:** Existing interoperability protocols for smart home devices often rely on rigid, pre-defined
ontologies
, which struggle to accommodate the
evolv
...
freederia.com
·
5d
🔧
Workflow Automation
The
Immutable
Ledger
: Data Integrity Through TypeScript & Design Patterns
dev.to
·
1d
·
Discuss:
DEV
🔧
Workflow Automation
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
4d
📡
Information Theory
toviszsolt/qar
: MongoDB-style queries for plain JavaScript arrays. Simple, lightweight, and perfect for JS Apps, static sites, and JSON data.
github.com
·
1d
·
Discuss:
Hacker News
🔍
Content discovery
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔧
Workflow Automation
🚀 Building My First
Web3
App on
Monad
Using AI + Simple Prompts
dev.to
·
1d
·
Discuss:
DEV
🤖
AI
Impredicativity
in Linear
Dependent
Type Theory
arxiv.org
·
1d
💬
Philosophy of Language
replikativ/scriptum
: Lucene with git-like semantics and Clojure integration.
github.com
·
2d
🔧
Workflow Automation
Decoupled
Reasoning with
Implicit
Fact Tokens (DRIFT): A Dual-Model Framework for Efficient Long-Context Inference
arxiv.org
·
17h
🔄
Transformers
A
Philosophy
of Software Design
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
💬
Philosophy of Language
Loading...
Loading more...
« Page 10
•
Page 12 »
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