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
123545
posts in
1.67
s
What is the best
route
to being
proficient
in AI, Machine Learning and Big Data.
atu.ie
·
3d
·
Discuss:
r/LocalLLaMA
📝
NLP
A
quote
from Thomas
Ptacek
simonwillison.net
·
3d
💬
Philosophy of Language
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
5d
·
Discuss:
Hacker News
🔧
Workflow Automation
Tech
Academy
Write-Up
app.hackingclub.com
·
3d
·
Discuss:
DEV
🍎
Macos
Controlled
Cot
: A
SystemLevel
Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com
·
4d
·
Discuss:
Substack
🎲
Bayesian Cognition
Theory-independent monitoring of the
decoherence
of a superconducting qubit with generalized
contextuality
nature.com
·
4d
🧮
Information theory
Type
Variance
en.wikipedia.org
·
5d
·
Discuss:
Hacker News
💬
Philosophy of Language
Beyond Extraction: Building Production-Grade
OntologyOps
for AI Agents (
Versioning
, Testing, and…
pub.towardsai.net
·
4d
📝
NLP
The Verification Theater: When Formal Methods Create False
Assurance
in
Cryptographic
Libraries
eprint.iacr.org
·
5d
📡
Information Theory
Coroutine
Types
abseil.io
·
3d
🤖
AI
Tip of the Week #59:
Joining
Tuples
abseil.io
·
3d
🔍
Content discovery
**Abstract:** This paper introduces a novel methodology for automated knowledge graph construction and validation using
hyperdimensional
computing (
HDC
) and ...
freederia.com
·
5d
📝
NLP
The Adventures of a
Pythonista
in
Schemeland/26
artima.com
·
3d
🤖
AI
*Semantic
Annotation
of Experimental
Protocols
Using Knowledge‑Graph Augmented Transformers for Collaborative Electronic Lab Notebook Systems*
freederia.com
·
5d
📝
NLP
Lists
and for-in
loops
github.com
·
2d
·
Discuss:
DEV
🤖
AI
DCP-o-matic • CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
5d
🔧
Workflow Automation
YS
— YAML Done
Wisely
yamlscript.org
·
4d
💬
Philosophy of Language
My take on
transforming
data
dev.to
·
3d
·
Discuss:
DEV
🔧
Workflow Automation
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
1d
🔄
Transformers
The
Monad
Called
Free
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
💬
Philosophy of Language
Loading...
Loading more...
« Page 12
•
Page 14 »
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