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
♾️ Codata Types
Infinite Structures, Observation, Dual Types, Coinduction
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81758
posts in
519.2
ms
Practical
Refinement
Session Type Inference (
Extended
Version)
arxiv.org
·
16h
📞
Session Types
Varparser
Reveals How LLM Log
Parsing
Benefits From Variable Data
quantumzeitgeist.com
·
9h
📊
Log Parsers
Introducing
Floecat
: A Catalog of
Catalogs
for the Modern Lakehouse
floedb.ai
·
6h
·
Discuss:
Hacker News
🌳
B+ Trees
Differential
Logic
• 4
inquiryintoinquiry.com
·
1d
∫
Mathematical DSLs
Piloting
Wikidata
as an Authority Identifier: The (In)visible Women Project at the Smithsonian Institution
openhumanitiesdata.metajnl.com
·
4h
📇
Symbol Tables
Weisfeiler
and
Lehman
Go Categorical
arxiv.org
·
16h
🔢
Algebraic Datatypes
Pluribus
unwinnable.com
·
16h
🔬
Nanopasses
Titivillus Teachings
Typning
by
chromokun
, H.
chromokun.itch.io
·
2h
💬
Interactive REPLs
From
Chunks
to
Connections
: The Case for Graph RAG
pub.towardsai.net
·
22h
🌲
Deforestation
TraitCH
: a
multi-taxa
functional trait dataset for Switzerland and Europe
essd.copernicus.org
·
1d
🌳
Tree Diffing
Presentation: Are You Missing a Data Frame? The Power of Data
Frames
in
Java
infoq.com
·
6h
📊
DataFrame Types
A
Proof
of P =
NP
dev.to
·
21h
·
Discuss:
DEV
🎨
Graph Coloring
Wrapping trait
implems
in an enum kept appearing in code base so I
blogged
about it. Are there other such useful patterns that are not much advertised?
asfaload.com
·
11h
·
Discuss:
r/rust
🔧
API Design
AI-augmented
data quality engineering
infoworld.com
·
11h
🛡️
Error Ergonomics
Both are "
Rotations
"
m.youtube.com
·
7h
⚡
Partial Evaluation
A Neighborhood of Infinity: You Could Have
Invented
Monads
! (And Maybe You Already Have.)
blog.sigfpe.com
·
3d
🧩
Monadic Parsing
IEEVis
submission
template
notes.billmill.org
·
6h
📋
Backus-Naur Form
RFC 3092:
Etymology
of "
Foo
"
datatracker.ietf.org
·
1d
·
Discuss:
Hacker News
📚
Factor
What
Bleeds
Through
futurisold.github.io
·
1d
·
Discuss:
Hacker News
✨
Gleam
Togelius
:
Math
and me
togelius.blogspot.com
·
3h
📐
Mathematical Computing
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