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
80173
posts in
491.8
ms
Circuit
Representations
of Random
Forests
with Applications to XAI
arxiv.org
·
8h
🌲
Deforestation
PRISM
: A
Principled
Framework for Multi-Agent Reasoning via Gain Decomposition
arxiv.org
·
8h
🎪
Actor Frameworks
Automatic
WS2812
Characterization
cpldcpu.com
·
2d
🔧
WASI
Rebuilding
the
spellchecker
zverok.space
·
2d
⚡
Tokenizer Benchmarks
A Tale of Two Standards,
POSIX
and
Win32
(2005)
samba.org
·
3d
·
Discuss:
Hacker News
🌱
Forth Kernels
Logic for
Programmers
[
Leanpub
PDF/iPad/Kindle]
leanpub.com
·
6d
🧩
Constraint Logic
When a Model Finds a Bug in Cryptography, and a
Cryptographer
Learns New
Mathematics
from It
dev.to
·
4d
·
Discuss:
DEV
🔍
ML Language
LLM Inference
Benchmarking
-
Measure
What Matters
digitalocean.com
·
3d
⚡
Performance
How to Design LLM
Applications
for Production: A System Design Guide
dev.to
·
1d
·
Discuss:
DEV
🎨
Domain-Specific Languages
As
Rocks
May Think
evjang.com
·
6d
·
Discuss:
Hacker News
,
r/programming
🗺️
Region Inference
How to set up Claude Code: a
context-first
approach
dhirajtourani.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🎭
Staged Interpreters
## Scalable Rule-Based Verification of Autonomous Weapon System Compliance with International
Humanitarian
Law Using
Compositional
Logic and Reinforcement Learning
freederia.com
·
3d
✅
Configuration Validation
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
5d
📋
Souffle Datalog
Tip of the Week #140:
Constants
: Safe
Idioms
abseil.io
·
2d
🔗
Lexical Scoping
Tip of the Week #99:
Nonmember
Interface
Etiquette
abseil.io
·
2d
🌉
Language Bindings
**Abstract:** The hierarchy problem, stemming from the unexpectedly low
electroweak
scale compared to the Planck scale, necessitates novel theoretical
framew
...
freederia.com
·
3d
✨
Effect Inference
suzgunmirac/belief-in-the-machine
: Belief in the Machine: Investigating
Epistemological
Blind Spots of Language Models
github.com
·
6d
🌱
Minimal ML
On the Tension Between
Object-Oriented
and
Generic
Programming in C++
artima.com
·
2d
🗂️
Type Indexing
When Language Models Get Stuck: The Mechanics of
Repetition
Loops
pub.towardsai.net
·
3d
🦌
ANTLR
The Adventures of a
Pythonista
in
Schemeland/26
artima.com
·
2d
🔧
Scheme Macros
Loading...
Loading more...
« Page 13
•
Page 15 »
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