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
🌳 Context free grammars
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23031
posts in
212.5
ms
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
2d
🔄
Graph Rewriting
My Claude Code
Toolkit
newartisans.com
·
12h
🦀
Rust Macros
The Machine Learning
Practitioner
’s Guide to
Speculative
Decoding
machinelearningmastery.com
·
3d
💻
Local LLMs
Statistical
Parsing
for Logical Information Retrieval
arxiv.org
·
1d
🧮
Prolog Parsing
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
4d
📋
Document Grammar
AI-Powered Knowledge Graph Generator &
APTs
, (Thu,
Feb
12th)
isc.sans.edu
·
1d
🕸️
Knowledge Graphs
LSEnet
: Mastering Automated Data
Grouping
in Curved Hyperbolic Space
hackernoon.com
·
10h
🌀
Hyperbolic Geometry
Part 1 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔮
Proof Search
Table of
Contents
- Data Engineering for Large Models: Architecture,
Algorithms
& Projects
datascale-ai.github.io
·
9h
·
Discuss:
Lobsters
📋
Document Grammar
Lorentzian
Logic: Solving Unknown Cluster Numbers via
Differentiable
Graph Entropy
hackernoon.com
·
10h
🌀
Hyperbolic Geometry
Trust: LLMs as
Compilers
mechanicalorchard.substack.com
·
16m
·
Discuss:
Substack
✅
Formal Methods
Department of Computer Science and Technology – Course
pages
2017–18:
Computation
Theory
cl.cam.ac.uk
·
2h
🧬
Functional Programming
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
1d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
Fun with
TypeScript
Generics
frontendmasters.com
·
20h
λ
Lambda Formalization
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
1d
·
Discuss:
Hacker News
,
r/compsci
🔲
Proof Irrelevance
Presentation: Building
Embedding
Models for Large-Scale Real-World
Applications
infoq.com
·
21h
🧮
Vector Embeddings
Show HN: Built
Vokab
: a vocabulary learning app built with
SwiftUI
vokab.net
·
2h
·
Discuss:
Hacker News
🌀
Brotli Dictionary
Formal
Verification First: How AI Supports But
Cannot
Replace It
semiengineering.com
·
1d
🔧
Hardware Verification
OpenClaw
on $5 chips, no Linux or
Node.js
mimiclaw.io
·
45m
·
Discuss:
Hacker News
⚡
Homebrew CPUs
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
6d
📝
Concrete Syntax
Loading...
Loading more...
« Page 1
•
Page 3 »
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