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
8952
posts in
9.7
ms
Some
Subtleties
When
Parsing
6502 Assembly Language
📝
NLP
bumbershootsoft.wordpress.com
·
5d
·
Hacker News
Tax logic evaluation with Prolog ·
mthom
scryer-prolog
🤖
AI
github.com
·
2d
·
Hacker News
SSL G3
MultiBusComp
multiband
glue compressor is 70% OFF ($29.99)
📡
Information Theory
bedroomproducersblog.com
·
17h
Little
Snitch
comes to Linux, but the core
logic
is closed source
📟
Terminals
the.unknown-universe.co.uk
·
22h
·
Hacker News
Computes
Only What
Matters
🧘
Digital Minimalism
ta.fo
·
1d
Understand business
logic
in your code with
diagram
🔧
Workflow Automation
biral.io
·
4d
·
Hacker News
Ask HN: Is anyone winning with Server-Driven
UI
(
SDUI
) in 2026?
🌐
Open Web
news.ycombinator.com
·
22h
·
Hacker News
OpenAI President Greg
Brockman
: Doubling Down on Text Models, The
Superapp
Plan, Codex’s Potential
🔬
AI Research
bigtechnology.com
·
2d
·
Hacker News
Show HN:
Tired
of logic in
useEffect
, I built a class-based React state manager
🔖
Bookmarking
thales.me
·
1d
·
Hacker News
Domain-Driven Design:
Lean
Aggregates
🔧
Workflow Automation
deniskyashif.com
·
5d
·
Hacker News
,
r/programming
Navigating the
Mythos-haunted
world of platform security
🔬
AI Research
redhat.com
·
2d
·
Hacker News
Show HN:
ECX
a 'Jail-Fix' for
RLHF
Neutrality Loops in LLMs
📟
Terminals
zenodo.org
·
5d
·
Hacker News
Iranian-Affiliated
Cyber Actors Exploit
Programmable
Logic Controllers Across US Critical Infrastructure
💻
Tech Industry
cisa.gov
·
2d
·
Hacker News
A fresh logic puzzle that's
delightfully
addictive
💬
Philosophy of Language
berroku.com
·
3d
·
Hacker News
Microsoft Launches Windows 365
Connector
Preview for Power Platform and
Azure
Logic Apps
🔧
Workflow Automation
petri.com
·
2d
Writing an LLM from scratch, part
32h
– Interventions: full fat
float32
🤖
AI
gilesthomas.com
·
6d
·
Hacker News
,
Hacker News
- YouTube
🌐
Indie web
youtube.com
·
5d
The
Miserable
Introvert
✍️
Blogging
artagnon.com
·
4d
·
Hacker News
MADL
Encyclopedia
🔄
Transformers
madl.si5.pl
·
12h
·
Hacker News
Incremental
Lambda
Calculus
🤖
AI
inc-lc.github.io
·
34m
·
Hacker News
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
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