Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚖️ Inference Rules
Type Systems, Judgments, Proof Trees, Formal Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80272
posts in
960.7
ms
Do It for HER: First-Order Temporal Logic
Reward
Specification
in Reinforcement Learning (Extended Version)
arxiv.org
·
1d
📏
Linear Logic
The First Known Problem That Is FPT with Respect to Node
Scanwidth
but Not
Treewidth
arxiv.org
·
1d
🌲
Deforestation
"What should I do?" "What should one do?" "What would a
virtuous
person
do?"
rgnrk.com
·
1d
🔬
programming language theory
A
practical
guide to information
architecture
(2nd edition)
maadmob.com.au
·
1d
🧱
First Principles
STQK
:
EP.0
(We got a mystery on our hands!)
ancientshell.com
·
1d
🐹
Go Internals
Oatmeal
-
Constraint
propagation for fun
eli.li
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧩
Constraint Solvers
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
3d
·
Discuss:
Hacker News
🪞
Homoiconicity
AL,
Logical
mathhombre.blogspot.com
·
5d
·
Discuss:
mathhombre.blogspot.com
🧩
Constraint Logic
ReAct
Pattern
dev.to
·
1d
·
Discuss:
DEV
✨
Gleam
The Return of
Algol
68
jxself.org
·
1d
📚
Forth Compilers
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
15h
🚚
Code Migration
hsutter/cppfront
: A personal experimental C++ Syntax 2 -> Syntax 1 compiler
github.com
·
19h
🪄
C Metaprogramming
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
1d
🔍
ML Language
C and
Undefined
Behaviour
lelanthran.com
·
1d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🌊
Gradual Effects
Let
Lambda
Come Over
yamlscript.org
·
3d
λ
Lambda Calculus
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🚂
Error Propagation
Rule
#1 for coding with AI agents
zknill.io
·
19h
·
Discuss:
Hacker News
🎭
Program Synthesis
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
14h
·
Discuss:
Hacker News
🎭
Program Synthesis
Why are Neural Networks
architected
that way in the first place?
threads.championswimmer.in
·
2d
🗺️
Region Inference
Loading...
Loading more...
« Page 7
•
Page 9 »
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