Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔬 Logic in Computer Science
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28361
posts in
17.4
ms
Differential
Logic
• 14
inquiryintoinquiry.com
·
1d
⚔️
Lean Theorem
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
2h
🔗
Functional Compilers
Ganak
: The Making of a
Versatile
, High Performance Model Counter
msoos.org
·
3h
·
Discuss:
Hacker News
🧮
SMT Solvers
Gödel
,
slowly
…
logicmatters.net
·
1d
λ
Lambda Formalization
Reverse-Engineering the
Wetware
:
Spiking
Networks, TD Errors, and the End of Matrix Math
metaduck.com
·
1h
·
Discuss:
Hacker News
🔲
Cellular Automata
Topological Relational Theory: A
Simplicial-Complex
View of Functional Dependencies, Lossless Decomposition, and
Acyclicity
arxiv.org
·
3d
🕸️
Algebraic Topology
An
Introduction
to
Lean
4
uv.es
·
1d
⚔️
Lean Tactics
Lil' Fun
Langs
'
Guts
taylor.town
·
22h
·
Discuss:
Hacker News
,
r/programming
🔗
Functional Compilers
From
Relational
Algebra
to Document Semantics
dl.acm.org
·
2d
·
Discuss:
DEV
🔢
Denotational Semantics
The logic of KM belief update is
contained
in the logic of
AGM
belief revision
arxiv.org
·
2d
📏
Linear Logic
Swapping
NULL for
NUL
- a better way to find nothing!
research.exoticsilicon.com
·
1d
🧠
Lisp Dialects
Context, not
compute
, will
define
the next generation of intelligence
techradar.com
·
1d
🧠
Intelligence Compression
A language
designed
for
machines
to write
negroniventurestudios.com
·
7h
·
Discuss:
Hacker News
💻
Programming languages
What does it mean to compute? Framework
maps
hidden
computations
running inside natural dynamic systems
phys.org
·
3d
🔲
Cellular Automata
Differential
Logic
• 13
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
Let’s stop
copying
C
eev.ee
·
2d
🔗
Concatenative Programming
sunshowers
sunshowers.io
·
7h
🦀
Rust Borrowing
Optimizing LLM Inference: Sparse Activation, MoE, and
Gated-MLP
Efficiency
hackernoon.com
·
2d
💻
Local LLMs
SHELL-AGENT: A
Dynamical
Systems Framework for Symmetry Discovery with Empirical Validation in
Propositional
Logic
hal.science
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
Verification
Is
Easier
Than Discovery
chatbotkit.com
·
1d
·
Discuss:
Hacker News
🛡️
Archive Verification
Loading...
Loading more...
Page 2 »
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