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
123454
posts in
2.12
s
Categorical
systems
theory
danmackinlay.name
·
6d
💬
Philosophy of Language
Join
Trees
, the "Hard" Way
remy.wang
·
3d
🔧
Workflow Automation
Classes
of
Originality
jacquesmattheij.com
·
3d
🎨
Computational Creativity
Demystifying
the Web 2: The Language of the Internet
prasunchakra.com
·
4d
·
Discuss:
DEV
📝
NLP
Private Data Space Model
privatedata.space
·
6d
🤖
AI
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
5d
·
Discuss:
Hacker News
📝
NLP
Experts Have World Models. LLMs Have
Word
Models.
latent.space
·
2d
🎲
Bayesian Cognition
zkAgent
:
Verifiable
Agent Execution via One-Shot Complete LLM Inference Proof
eprint.iacr.org
·
3d
🤖
AI
Software Engineering with AI: Beyond
Vibe-Coding
principalengineer.com
·
2d
🔧
Workflow Automation
The Adventures of a
Pythonista
in
Schemeland/27
artima.com
·
3d
🤖
AI
**Abstract:** This paper proposes a novel framework for quantifying the inherent logical
incompleteness
present in
Gödelian
systems by dynamically mapping ax...
freederia.com
·
4d
🤖
AI
More
Fancier
YS
Conditionals
yamlscript.org
·
4d
💬
Philosophy of Language
yubainu/SL-CRF
: Structural inconsistency detection engine for hallucination and logical discontinuity in data streams.
github.com
·
23h
·
Discuss:
Hacker News
📝
NLP
RFC 3092 –
Etymology
of “
Foo
” (2001)
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
💬
Philosophy of Language
Tip
of the Week #143: C++11
Deleted
Functions (<code>= delete</code>)
abseil.io
·
3d
✅
Productivity
Decoupled
Reasoning with
Implicit
Fact Tokens (DRIFT): A Dual-Model Framework for Efficient Long-Context Inference
arxiv.org
·
8h
🔄
Transformers
Differential
Logic
• 2
inquiryintoinquiry.com
·
5d
💬
Philosophy of Language
🚀 Building My First
Web3
App on
Monad
Using AI + Simple Prompts
dev.to
·
20h
·
Discuss:
DEV
🤖
AI
Automated Extraction and Formalization of
Presuppositions
in Philosophical Discourse via Neuro‑Symbolic Reasoning **Abstract** Presupposition—the
unstated
ba...
freederia.com
·
5d
📝
NLP
Coding with Style
yamlscript.org
·
4d
🍎
Macos
Loading...
Loading more...
« Page 8
•
Page 10 »
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