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
⚡ Fusion Laws
Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112916
posts in
1.00
s
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
4d
λ
Lambda Calculus
Pragmatica
Aether
: Let Java Be Java
dev.to
·
1d
·
Discuss:
DEV
📡
Network Serialization
Vector
Database
Migration
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
🔄
Copy Propagation
Building an Embedding API with Rust, Arm, and
EmbeddingGemma
on AWS
Lambda
sobolev.substack.com
·
1d
·
Discuss:
Substack
📋
JSON Parsing
Chained
Assignment in Python
Bytecode
loriculus.org
·
9h
·
Discuss:
Hacker News
📜
Bytecode
chrisarg/Bit
: A Bit
vector
library for learning fun and also work
github.com
·
1h
🔢
Bit Manipulation
Readable and
concise
concatenative
programming
cognate-lang.github.io
·
3h
·
Discuss:
Hacker News
🔗
Concatenative Languages
FOREST:
Inspecting
and tracking
RESTful
APIs for constructing a cloud forensic knowledge base
sciencedirect.com
·
2h
📡
Protocol Buffers
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
4d
📜
Proof Languages
SnowBall
:
Iterative
Context Processing When It Won't Fit in the LLM Window
enji.ai
·
12h
·
Discuss:
Hacker News
🔗
Lexical Scoping
Supercazzola
– Generate spam for web
scrapers
dacav.org
·
17h
·
Discuss:
Lobsters
,
Hacker News
🌐
WASM Runtimes
Using Embeddings for Identity Resolution in a
Composable
CDP
pub.towardsai.net
·
5h
🏷️
Attribute Grammars
One Query Language for PostgreSQL,
MySQL
, MongoDB, and
Redis
omniql.com
·
1d
·
Discuss:
Hacker News
🗃️
Query Compilation
Is anyone
smarter
than me
able
to help with this?
forum.godotengine.org
·
1h
·
Discuss:
r/godot
🔗
Lexical Scoping
The
Univalence
Principle
golem.ph.utexas.edu
·
3d
🔗
Category Theory
Proof-oriented
Programming in F*
fstar-lang.org
·
2d
·
Discuss:
Lobsters
⚡
functional programming
Designing and Comparing
RPQ
Semantics
arxiv.org
·
1d
📦
Message Serialization
Transactional
Integrity in Distributed Financial Ledger Systems: Architecture,
Invariants
, and Failure Models
linkedin.com
·
1h
·
Discuss:
DEV
🧠
Memory Models
New
JavaScript
Set
methods
developer.mozilla.org
·
7h
📋
Template Compilers
Can AI agents write
kernel
exploits
?
152334h.github.io
·
1d
·
Discuss:
Hacker News
🎯
Symbolic Execution
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