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
Logic
⚖️ Logic
Broad
Formal Systems, Reasoning, Proofs, Symbolic Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
34
posts in
5.5
ms
Sakana AI bets AI that improves itself can break the compute arms race of frontier labs
🤖
AI, humanities
the-decoder.com
·
5d
5 days ago
Actions for Sakana AI bets AI that improves itself can break the compute arms race of frontier labs
Palesa Monareng has drawn over 100 self-portraits – and is now turning them into a book
💭
Philosophy of Mind
Content type:
News
creativeboom.com
·
3d
3 days ago
Actions for Palesa Monareng has drawn over 100 self-portraits – and is now turning them into a book
Sakana AI's Recursive Self-Improvement (RSI) Lab
🧠
Cognitive Science
sakana.ai
·
6d
6 days ago
·
Hacker News
Actions for Sakana AI's Recursive Self-Improvement (RSI) Lab
Neuro-Relational Programs: Unifying Queries and Neural Computation over Structured Data
🕸️
Network Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Neuro-Relational Programs: Unifying Queries and Neural Computation over Structured Data
SLUUG Talk: Demystifying Large Language
Models
on Linux
🧠
Cognitive Science
Content type:
Code
github.com
·
5d
5 days ago
·
DEV
Actions for SLUUG Talk: Demystifying Large Language Models on Linux
𝜇𝜆ϵ
𝛿-Calculus
: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
🔄
system thinking
Content type:
Academic
arxiv.org
·
3d
3 days ago
·
Lobsters
Actions for 𝜇𝜆ϵ𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
Discovering Multiscale Deep Formulas in
Complex
Systems
via Neural-Guided
Lambda
Calculus
🤖
AI, humanities
Content type:
Academic
arxiv.org
·
4d
4 days ago
Actions for Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus
When Types Intersect and Effects Get Handled
🤖
AI, humanities
Content type:
Academic
arxiv.org
·
3d
3 days ago
Actions for When Types Intersect and Effects Get Handled
Correct-by-Construction Design of Timed
Systems
in Event-B
🤔
Epistemology
Content type:
Academic
arxiv.org
·
1w
1 week ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
Symbolic
and Abstractive
Reasoning
with
Complex
Visual Queries
🤖
AI, humanities
Content type:
Academic
arxiv.org
·
3d
3 days ago
Actions for Symbolic and Abstractive Reasoning with Complex Visual Queries
Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
🔄
system thinking
Content type:
Academic
arxiv.org
·
1w
1 week ago
Actions for Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
Public Machine Learning Solver Framework for Novices in the Machine Learning Domain
🤖
AI, humanities
Content type:
Academic
arxiv.org
·
3d
3 days ago
Actions for Public Machine Learning Solver Framework for Novices in the Machine Learning Domain
[AINews] not much happened today
🤖
AI, humanities
Content type:
News
latent.space
·
5d
5 days ago
Actions for [AINews] not much happened today
FORTE: FOL-guided Optimal Refinement for Text-audio rEtrieval
🤖
AI, humanities
Content type:
Academic
arxiv.org
·
1w
1 week ago
Actions for FORTE: FOL-guided Optimal Refinement for Text-audio rEtrieval
« 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