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
123716
posts in
1.63
s
LangGraph
overview
docs.langchain.com
·
3d
🔤
Linguistics
Elongme
leibal.com
·
3d
📝
NLP
romance
language (model)
metafilter.com
·
3d
💬
Philosophy of Language
Join
Trees
, the "Hard" Way
remy.wang
·
4d
🔧
Workflow Automation
**Abstract:** Existing
ontological
frameworks, crucial for knowledge representation and semantic interoperability, often suffer from inconsistencies,
redunda
...
freederia.com
·
6d
📝
NLP
Demystifying
the Web 2: The Language of the Internet
prasunchakra.com
·
4d
·
Discuss:
DEV
📝
NLP
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
6d
·
Discuss:
Hacker News
📝
NLP
zkAgent
:
Verifiable
Agent Execution via One-Shot Complete LLM Inference Proof
eprint.iacr.org
·
4d
🤖
AI
Experts Have World Models. LLMs Have
Word
Models.
latent.space
·
3d
🎲
Bayesian Cognition
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔄
Transformers
**Abstract:** This paper proposes a novel framework for quantifying the inherent logical
incompleteness
present in
Gödelian
systems by dynamically mapping ax...
freederia.com
·
5d
🤖
AI
More
Fancier
YS
Conditionals
yamlscript.org
·
4d
💬
Philosophy of Language
Software Engineering with AI: Beyond
Vibe-Coding
principalengineer.com
·
3d
🔧
Workflow Automation
Tip
of the Week #143: C++11
Deleted
Functions (<code>= delete</code>)
abseil.io
·
4d
✅
Productivity
Glossary
(Python)
dev.to
·
4d
·
Discuss:
DEV
🧩
Morphology
Differential
Logic
• 2
inquiryintoinquiry.com
·
5d
💬
Philosophy of Language
yubainu/SL-CRF
: Structural inconsistency detection engine for hallucination and logical discontinuity in data streams.
github.com
·
1d
·
Discuss:
Hacker News
📝
NLP
Toward
Formalizing
LLM-Based Agent
Designs
through Structural Context Modeling and Semantic Dynamics Analysis
arxiv.org
·
1d
🔄
Transformers
Coding with Style
yamlscript.org
·
4d
🍎
Macos
GaloisInc/hexdump
: A human readable style for binary data.
github.com
·
1d
🍎
Macos
Loading...
Loading more...
« Page 9
•
Page 11 »
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