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
81857
posts in
498.8
ms
Optimal
Abstractions
for Verifying Properties of Kolmogorov-Arnold Networks (
KANs
)
arxiv.org
·
17h
🪜
Recursive Descent
From
Kepler
to Newton:
Inductive
Biases Guide Learned World Models in Transformers
arxiv.org
·
17h
🔍
Type Inference
The Six Dimensions of Impedance
Mismatch
(Part 2 of 3):
Granularity
, Inheritance, and Identity
dev.to
·
4d
·
Discuss:
DEV
📊
Row Polymorphism
**Title**
dev.to
·
2d
·
Discuss:
DEV
🔍
Lens Libraries
Call Me by Your
Names
nybooks.com
·
4d
🔗
Concatenative Theory
QT4
grammar
explorer
so.nwalsh.com
·
5d
🌳
Parser Visualization
Revisiting
DSA
Through Mini Projects #2: HTML Syntax
Validator
amelia2802.github.io
·
4d
·
Discuss:
DEV
⚡
Incremental Parsing
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
5d
·
Discuss:
blog.computationalcomplexity.org
🗑️
Stack Scanning GC
Sukr
: A minimal static site
compiler
in Rust with zero-JS output
lobste.rs
·
4d
·
Discuss:
Lobsters
🚂
Cranelift IR
web.lemoyne.edu/giunta
letture.bearblog.dev
·
6d
🔗
Concatenative Theory
Stop Using
Icons
in Data
Tables
medium.com
·
4d
·
Discuss:
Hacker News
📇
Symbol Tables
The Index and the
Vector
(Dan
Cohen
)
newsletter.dancohen.org
·
5d
🪢
Rope Data Structures
**Abstract:** Addressing the fundamental challenge of fragmented data within Electronic Health Records (
EHRs
), this paper proposes a novel framework,
Automat
...
freederia.com
·
3d
🪜
Recursive Descent
A Faster
WBT/SBT
Implementation Than Linux
RBT
typecombinator.github.io
·
6d
·
Discuss:
r/cpp
🌳
Tree Shaking
**Abstract:** This paper presents a novel approach to identifying fundamental
algebraic
structures within generalized
Riemann
spaces, a key challenge in mode...
freederia.com
·
5d
🔢
Algebraic Datatypes
Show HN:
FalseWork
– Extract
transferable
structural mechanisms from works
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🌳
Structural Editing
Hamming
Distance for Hybrid Search in
SQLite
notnotp.com
·
4d
·
Discuss:
r/programming
💾
Minimal Databases
Building an Obsidian RAG with
DuckDB
and
MotherDuck
motherduck.com
·
4d
📖
Literate Programming
What Ultimately Is There? <br>
Metaphysics
and the
Ruliad
writings.stephenwolfram.com
·
5d
🔗
Concatenative Theory
Next Generation
DB
Ingestion
at Pinterest
medium.com
·
4d
📮
Message Queues
Loading...
Loading more...
« Page 14
•
Page 16 »
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