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
8460
posts in
193.1
ms
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
·
1d
🔁
Fixed-Point Theory
Readable and
concise
concatenative
programming
cognate-lang.github.io
·
1h
·
Discuss:
Hacker News
⚙️
Compiler Design
Statistical
Parsing
for Logical Information Retrieval
arxiv.org
·
1d
🧩
Parser Combinators
SnowBall
:
Iterative
Context Processing When It Won't Fit in the LLM Window
enji.ai
·
10h
·
Discuss:
Hacker News
🔀
OCaml Multicore
LLMs struggle to
verbalize
their
internal
reasoning
lesswrong.com
·
35m
🧮
SMT Solvers
Proof-oriented
Programming in F*
fstar-lang.org
·
2d
·
Discuss:
Lobsters
🔗
Curry-Howard
alexpovel/srgn
: A grep-like tool which understands source code syntax and allows for manipulation in addition to search
github.com
·
1d
·
Discuss:
Hacker News
🔨
Compilers
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
1d
·
Discuss:
Hacker News
🔁
Fixed-Point Theory
Hazardous
States and
Accidents
lesswrong.com
·
1d
🎯
GADT
Unleash
your ideas with
ASCII
monosketch.io
·
1d
·
Discuss:
Hacker News
❄️
Nix
Table of
Contents
- Data Engineering for Large Models: Architecture,
Algorithms
& Projects
datascale-ai.github.io
·
12h
·
Discuss:
Lobsters
🔤
Language Design
Vector
Database
Migration
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🎯
GADT
Building an Embedding API with Rust, Arm, and
EmbeddingGemma
on AWS
Lambda
sobolev.substack.com
·
1d
·
Discuss:
Substack
🏗️
Dune
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
2d
·
Discuss:
Lobsters
🐫
Embedded OCaml
Reconciling
Human and Digital
Ontologies
echosphere.io
·
2h
·
Discuss:
Hacker News
📐
Denotational Semantics
Turn natural language into
E2E
web app
tests
using AI
agenqa.com
·
1d
·
Discuss:
Hacker News
🧪
Concolic Testing
APL386
Unicode
Font
abrudz.github.io
·
1h
·
Discuss:
Hacker News
🔤
Typography
Informational
Inequivalence
of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Txtbrd
txtbrd.com
·
19h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Show HN: A small
embeddable
Datalog
engine in Zig
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🧮
Z3
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