Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Computability
🖥️ Computability
Turing machines, decidability, complexity theory, halting problem
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
30
posts in
5.8
ms
Four intuitionistic modal connectives
⊢
Logic
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Four intuitionistic modal connectives
TiruArt/Pedigree-Polytopes-Lean4: Lean 4
machine-verified
proof that Membership
Problem
for Pedigree Polytopes, M3P ∈ P and P =
NP
via properties of Pedigree Polytopes.
λ
Lambda Calculus
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
When Types Intersect and Effects Get Handled
λ
Type Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
MechLens: Late Crystallization of Factual Knowledge Explains Intervention Effectiveness in Language Models
∘
Category Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for MechLens: Late Crystallization of Factual Knowledge Explains Intervention Effectiveness in Language Models
Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
Learning to Strategically Acquire Resources in Competition
🔷
Functional Programming
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Learning to Strategically Acquire Resources in Competition
Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
Negative and Fractional Types in the Fidelity Framework
🔷
Functional Programming
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Negative and Fractional Types in the Fidelity Framework
Entropy-Compatible Barrier Schemes for Diffusive FENE Flows
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Entropy-Compatible Barrier Schemes for Diffusive FENE Flows
When Firms Learn to Game the Rules
λ
Type Theory
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for When Firms Learn to Game the Rules
« Page 1
Log in to enable infinite scrolling
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
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
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