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
111952
posts in
267.4
ms
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
·
1d
🔧
Defunctionalization
The World
Wide
MUD
codeberg.org
·
2h
·
Discuss:
Hacker News
,
r/rust
🏠
indieweb
Addendum
: Data splitting against information leakage with
DataSAIL
nature.com
·
1d
🔄
Subinterpreters
aalpar/wile
: Embeddable
R7RS
Scheme interpreter for Go — bytecode compiler, stack VM, hygienic macros
github.com
·
7h
·
Discuss:
Hacker News
🐹
Minimal Go
Introduction
faiface.github.io
·
3h
📋
Backus-Naur Form
Conditions,
Phases
, and
Declarative
Phase Rules in Kubernetes Operators
dev.to
·
20h
·
Discuss:
DEV
🔀
Control Structures
Monads,
Applicatives
&
Functors
slicker.me
·
1h
🧩
Monadic Parsing
Optimal
Best-of-Both-Worlds
Consensus
eprint.iacr.org
·
1d
📡
Async Channels
Informational
Inequivalence
of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org
·
1d
·
Discuss:
Hacker News
✅
Type Checking
Implementing a JSON
Schema
Validator
from Scratch
dev.to
·
21h
·
Discuss:
DEV
📋
JSON Parsers
An Improved
FPT
Algorithm for Computing the
Interleaving
Distance between Merge Trees via Path-Preserving Maps
arxiv.org
·
1d
🔗
Unification
Self-Similar Inverse
Cascade
from Generalized
Symmetries
link.aps.org
·
6h
🔗
Unification Algorithms
Olmix
: A framework for data mixing throughout
LM
development
allenai.org
·
1d
🌳
Pattern Match Compilation
Lorentzian
Logic: Solving Unknown Cluster Numbers via
Differentiable
Graph Entropy
hackernoon.com
·
16h
📈
Monotonic Logic
Fun with
TypeScript
Generics
frontendmasters.com
·
1d
🔧
API Design
Houses
and
Utilities
pballew.blogspot.com
·
12h
·
Discuss:
Blogger
🎨
Graph Coloring
plumce/plumcp
:
Clojure/ClojureScript
library for making MCP server and client
github.com
·
23h
🪆
Embedded DSLs
Sharing
in
Dada
smallcultfollowing.com
·
7h
·
Discuss:
Lobsters
,
Hacker News
🏷️
Symbol Mangling
Department of Computer Science and Technology – Course
pages
2017–18:
Computation
Theory
cl.cam.ac.uk
·
8h
🔬
programming language theory
Atomistic
, but non-complete
lattices
dominiczypen.wordpress.com
·
1d
🔶
Lattice Theory
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