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
82983
posts in
454.0
ms
[2309.11300] Partial
monoid
actions on objects in categories with pullbacks and their
globalizations
arxiv.org
·
1d
🔗
Category Theory
An Equational
Axiomatization
of Dynamic Threads via Algebraic Effects:
Presheaves
on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org
·
1d
⚡
Effect Handlers
**Abstract:** Traditional
phylogenetic
tree reconstruction methods often suffer from limitations due to data scarcity,
taxonomic
bias, and inconsistencies ac...
freederia.com
·
2d
🌳
Tree Diffing
QT4
grammar
explorer
so.nwalsh.com
·
2d
🌳
Parser Visualization
Call Me by Your
Names
nybooks.com
·
1d
🔗
Concatenative Theory
Revisiting
DSA
Through Mini Projects #2: HTML Syntax
Validator
amelia2802.github.io
·
1d
·
Discuss:
DEV
⚡
Incremental Parsing
Next Generation
DB
Ingestion
at Pinterest
medium.com
·
1d
📮
Message Queues
**Abstract:** This paper proposes a novel framework for the automated detection and correction of semantic
drift
in large-scale cosmic data streams, a
critic
...
freederia.com
·
1d
🔄
Incremental Parsers
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
3d
·
Discuss:
blog.computationalcomplexity.org
🗑️
Stack Scanning GC
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
2d
·
Discuss:
DEV
🔍
ML Language
The Zen of the
Bronze
Layer: Embracing
Schema
Chaos
dev.to
·
1d
·
Discuss:
DEV
📋
Row Typing
web.lemoyne.edu/giunta
letture.bearblog.dev
·
4d
🔗
Concatenative Theory
StatLLM
: A Dataset for Evaluating the Performance of Large Language Models in
Statistical
Analysis
nature.com
·
23h
📊
LR Parsing
YS
— YAML Done
Wisely
yamlscript.org
·
6h
📝
Rope Editors
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
4d
·
Discuss:
Hacker News
🧮
Combinator Calculus
Lambda
cube
en.wikipedia.org
·
5d
·
Discuss:
Lobsters
🎯
Type Theory
Reflections
on Reflection
blog.nyxcode.com
·
4d
·
Discuss:
r/rust
🪞
Metaprogramming
Beyond
Roleplay
:
Jailbreaking
Gemini with drugs and ritual
tidepool.leaflet.pub
·
2d
·
Discuss:
Hacker News
✨
Gleam
What do LLMs think when you don't
tell
them what to think about?
together.ai
·
1d
🌱
Minimal Interpreters
Phenome-wide
analysis of copy number variants in 470,727 UK
Biobank
genomes
nature.com
·
1d
🎭
Polymorphic Variants
Loading...
Loading more...
« Page 5
•
Page 7 »
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