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
🔤 Kleene Algebra
Regular Expressions, Axiomatization, Algebraic Structures, NetKAT
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9654
posts in
226.9
ms
Towards Weak
Stratification
for
Logics
of Definitions
arxiv.org
·
2h
📝
Term Rewriting
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
18h
·
Discuss:
Hacker News
🔁
Fixed-Point Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Lambda
cube
en.wikipedia.org
·
2d
·
Discuss:
Lobsters
🧮
Lambda Calculus
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Black Box Made Less
Opaque
(part 2)
lesswrong.com
·
3h
🔢
Algebraic Data Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Ellipsis
and Higher-Order
Unification
dev.to
·
1d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Distilling
Token-Trained Models into
Byte-Level
Models
arxiv.org
·
1d
❓
Existential Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Ysgrifennu
Côd
yn Gymraeg (Writing Code in Welsh)
hackaday.com
·
12h
⚙️
Compiler Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
An algebra
bedtime
fable to fall
asleep
to
shukla.io
·
3d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
1d
🧩
Parser Combinators
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Moltipass
- a client for human users of
Moltibook
, the first all-agent social network
blog.fsck.com
·
12h
·
Discuss:
Hacker News
🌐
ActivityPub
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
RFC 3284: The
VCDIFF
Generic
Differencing
and Compression Data Format
datatracker.ietf.org
·
21h
·
Discuss:
Hacker News
🌐
NetworkProtocols
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
java
sucks
(2000)
jwz.org
·
13h
·
Discuss:
Lobsters
📝
Nix Language
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Designing Robust Email Validation
Flows
in
Microservices
with Python
dev.to
·
1h
·
Discuss:
DEV
🌐
NetworkProtocols
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Safeclaw
the safe
OpenClaw
alternative with no language model and no APIs
github.com
·
1d
·
Discuss:
Hacker News
🌐
Network Protocols
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
11h
·
Discuss:
Lobsters
🎯
GADT
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
AI ready
structured
data for UI
components
uipotion.com
·
1d
🔤
Language Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
11h
·
Discuss:
Substack
🔬
Static Analysis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Semantic
Operators
: Run LLM
Queries
Directly in SQL
tacnode.io
·
1d
·
Discuss:
Hacker News
🎯
GADT
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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
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