Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Programming languages
馃捇 Programming languages
programming language theory
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
30
posts in
28.2
ms
馃З
Types
New Statesman
路
4d
4 days ago
Put some respect on aeroplane food
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Put some respect on aeroplane food
馃帗
Advanced content
arxiv.org
路
5d
5 days ago
Formal
Semantics
and
Type
System for Vega Data Transformations
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formal Semantics and Type System for Vega Data Transformations
Less-relevant results
馃З
Types
Highsnobiety
路
5d
5 days ago
Umbro Is Football鈥檚 Original Fashion Brand
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Umbro Is Football鈥檚 Original Fashion Brand
馃З
Types
nLab
路
4d
4 days ago
exhaustible set
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for exhaustible set
馃М
SMT Solvers
arxiv.org
路
5d
5 days ago
The Faithfulness Gap: Certifying
Semantic
Equivalence Between
Natural-Language
and
Formal
Mathematical Statements
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements
馃М
SMT Solvers
arxiv.org
路
5d
5 days ago
Formalize
Once, Edit the Rest: Efficient Lean-Based Answer Selection for Math Reasoning
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formalize Once, Edit the Rest: Efficient Lean-Based Answer Selection for Math Reasoning
馃З
Types
arxiv.org
路
5d
5 days ago
Symbolic Informalization: Fluent, Productive, Multilingual
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Symbolic Informalization: Fluent, Productive, Multilingual
馃З
Types
arxiv.org
路
5d
5 days ago
VGPT-RSI for RH-Adjacent
Formal
Progress: Boundary Certificates,
Verified
Finite Lagarias Inequalities, and Explicit Failure Localization
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization
馃З
Types
arxiv.org
路
4d
4 days ago
A
homotopy-type-theoretic
generalization of neurosymbolic inference
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A homotopy-type-theoretic generalization of neurosymbolic inference
馃搻
TLA+
arxiv.org
路
5d
5 days ago
A Machine-Checked It\^o
Calculus
for Brownian Motion
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Machine-Checked It\^o Calculus for Brownian Motion
« Page 1
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
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
Discover
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
Like
Save
Not for me
Report