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
📊 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
187440
posts in
33.9
ms
From
Monolithic
to Compositional: A Compositional Operational Semantics for
Crystality
🔧
Workflow Automation
arxiv.org
·
3d
Neuro-psychologist
seeking advice on studying logic
💬
Philosophy of Language
leiterreports.com
·
15h
Beyond
facilitation
and inhibition: a
configurational
mechanism study of cognitive transitions in human–AI collaboration
🎲
Bayesian Cognition
frontiersin.org
·
1d
JustSteveKing/signal
: Signal is a PHP library that turns PHP attributes into living documentation.
Annotate
your classes and methods with Signal's attributes, then run a single command to generate Markdown and JSON docs that always reflect your actual code.
💻
Claude Code
github.com
·
18h
·
DEV
Learning
JavaScript
, Day 5
✅
Productivity
blog.katemonkey.com
·
2d
More hexagon
acl2
first-order-logic/embeddable common lisp+
McCLIM
graphics
📟
Terminals
lispy-gopher-show.itch.io
·
3d
Liquid
logic
- the road to liquid data centre
cooling
🔧
Workflow Automation
datacenterdynamics.com
·
16h
Great Paper: The Calculated
Typer
– Iowa Type Theory Commute Podcast
S7
E6
💬
Philosophy of Language
pocketcasts.com
·
2d
·
Hacker News
‘
Trivial
’ exploit can give
attackers
root access to Linux kernel
📟
Terminals
csoonline.com
·
2h
upperDiagonal
_ (3) Linux
Manual
Page
📟
Terminals
systutorials.com
·
6h
"Rat Run"
Sudoku
Series by Marty
Sears
💬
Philosophy of Language
logic-masters.de
·
1d
·
Hacker News
LEAPing
into the Future of Coding
💻
Claude Code
blog.computationalcomplexity.org
·
4d
·
blog.computationalcomplexity.org
When data transformation breaks analytics,
ML
, and
GenAI
(and how to fix it)
🔬
AI Research
dataiku.com
·
14h
I Spent 45 Minutes Setting Up a
Backend
… Before Writing a Single Line of
Logic
🔧
Workflow Automation
workspai.com
·
2d
·
DEV
The
Logic
of
NACHO
🍎
Macos
paulkrugman.substack.com
·
16h
·
Substack
Safety and Process
Filter
Market Growth Outlook to 2035 Amid Rising Demand for
Contaminant
Removal - News and Statistics
🔧
Workflow Automation
indexbox.io
·
4h
The
monstrous
number
sequences
that break the rules of mathematics
💬
Philosophy of Language
newscientist.com
·
6d
·
Hacker News
Ask HN: Exploring spaces without
traversal
or feedback (500KB
prototype
)
🔖
Bookmarking
news.ycombinator.com
·
1d
·
Hacker News
Contracting strategy to think tanks:
catering
to America’s
fantasies
of even more war
💬
Philosophy of Language
johnmenadue.com
·
13h
Fantasy Premier League:
Motivation
over
fixtures
– how to make end-of-season transfers
📬
Newsletter Curation
nytimes.com
·
23h
Page 2 »
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