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
81450
posts in
440.0
ms
Self-Supervised Video Representation Learning in a
Heuristic
Decoupled
Perspective
arxiv.org
·
12h
🪜
Recursive Descent
Convergent
Discovery of Critical Phenomena Mathematics Across
Disciplines
: A Cross-Domain Analysis
arxiv.org
·
23h
🔢
Algebraic Datatypes
Note
hsu.cy
·
3d
🔗
Concatenative Theory
Kotlin Symbol Processing:
создаём
свой
процессор
habr.com
·
3d
📋
Template Compilers
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
1d
·
Discuss:
DEV
📜
Bytecode Interpreters
I built a “
deterministic
” LLM text
rephraser
with a validation pipeline - looking for architectural feedback
dev.to
·
10h
·
Discuss:
DEV
🔍
Tokenizers
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
3d
·
Discuss:
Hacker News
🌊
Reactive Languages
Against the
Orthogonality
Thesis
jonasmoman.substack.com
·
4d
·
Discuss:
Substack
💫
Effect Systems
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧩
Constraint Solvers
As
Rocks
May Think
evjang.com
·
5d
·
Discuss:
Hacker News
,
r/programming
🗺️
Region Inference
On
Thinkish
.
languagehat.com
·
2d
⚖️
Inference Rules
Enforcing
Code Feature
Requirements
in C++
artima.com
·
1d
🪆
Embedded DSLs
Tip
of the Week #131: Special Member Functions and `=
default
`
abseil.io
·
1d
🪆
Embedded DSLs
What Should Go Into the C++
Standard
Library
abseil.io
·
1d
🧸
Toy Compilers
Machine‑Learning Assisted Moduli Stabilization for Type IIB Flux
Compactifications
on Warped Calabi–Yau
Orbifolds
with D3/D7 Branes **Authors** A. K. Verma, ...
freederia.com
·
2d
🗺️
Region Inference
A Brief Introduction to
Rvalue
References
artima.com
·
1d
⚡
Copy Elision
hanig/engram
: Personal knowledge graph and automation system
github.com
·
1d
🔄
Incremental Lexing
Crafting
the Eyes for Thinking Machines: The “White Box”
VLM
pub.towardsai.net
·
2d
✨
Gleam
Chromosome-level genome assembly and annotation of the critically endangered
Siberian
crane (
Leucogeranus
leucogeranus
)
nature.com
·
2d
🌲
Deforestation
The
Kubernetes
Effect
yamlscript.org
·
2d
✨
Gleam
Loading...
Loading more...
« Page 8
•
Page 10 »
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