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
123740
posts in
2.91
s
Written
sarcasm
is
confusing
balssh.bearblog.dev
·
5d
🔤
Linguistics
Semantic
Inflation
wiki.roshangeorge.dev
·
5d
💬
Philosophy of Language
Surreal
arithmetic
is bi-interpretable with set theory,
CUNY
Logic Workshop, March 2026
jdh.hamkins.org
·
6d
💬
Philosophy of Language
Theory-independent monitoring of the
decoherence
of a superconducting qubit with generalized
contextuality
nature.com
·
4d
🧮
Information theory
On
Thinkish
.
languagehat.com
·
4d
💬
Philosophy of Language
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
6d
✅
Productivity
The Verification Theater: When Formal Methods Create False
Assurance
in
Cryptographic
Libraries
eprint.iacr.org
·
5d
📡
Information Theory
**Abstract:** This paper introduces a novel approach to automated media
literacy
assessment and personalized
curriculum
generation leveraging hierarchical se...
freederia.com
·
5d
📝
NLP
whens
and
lets
yamlscript.org
·
4d
💬
Philosophy of Language
Why you should
consider
F#
asfaload.com
·
5d
·
Discuss:
Hacker News
📝
NLP
Fun with
Function
Tags
yamlscript.org
·
4d
🔄
Transformers
— ### Abstract Legal document generation by large‑language models (LLMs) is increasingly
attractive
for cost‑saving and speed, yet the
correctness
of f...
freederia.com
·
5d
📝
NLP
My take on
transforming
data
dev.to
·
3d
·
Discuss:
DEV
🔧
Workflow Automation
Tip of the Week #229: Ranked
Overloads
for Template
Metaprogramming
abseil.io
·
3d
🍎
Macos
SectorC
: A C Compiler in 512
bytes
(2023)
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🍎
Macos
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
12h
🤖
AI
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
4d
📝
NLP
Presenting
Structom
: expressive data exchange format designed for universal applications.
github.com
·
3d
·
Discuss:
r/rust
✍️
Writing Systems
**Title**
dev.to
·
4d
·
Discuss:
DEV
🧮
Information theory
akki2825/computational-morphology-lit
: A curated collection of papers on computational
morphology
.
github.com
·
3d
·
Discuss:
Hacker News
🧩
Morphology
Loading...
Loading more...
« Page 13
•
Page 15 »
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