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
81791
posts in
331.3
ms
SaDiT
: Efficient Protein
Backbone
Design via Latent Structural Tokenization and Diffusion Transformers
arxiv.org
·
15h
🔗
Parser Combinators
Pruning at
Initialisation
through the lens of
Graphon
Limit: Convergence, Expressivity, and Generalisation
arxiv.org
·
15h
🪜
Recursive Descent
Automated Extraction and Formalization of
Presuppositions
in Philosophical Discourse via Neuro‑Symbolic Reasoning **Abstract** Presupposition—the
unstated
ba...
freederia.com
·
3d
⚖️
Inference Rules
**Abstract:** This paper introduces a novel system for automated, high-throughput auditing and
harmonization
of knowledge graphs embedded within
scholarly
wo...
freederia.com
·
3d
🌳
Tree Diffing
Feedback on checked
exceptions
and
lambdas
dev.to
·
4d
·
Discuss:
DEV
🛡️
Error Handling
Discover
Anthropic's Claude
Opus
4.6: Advanced Agentic Coding Features
dev.to
·
3d
·
Discuss:
DEV
🔄
Incremental Lexing
A
Practitioner
's Guide to
Taxonomies
, Part II
jessicatalisman.substack.com
·
6d
·
Discuss:
Substack
🌳
Tree Diffing
Resource-state generation for a
multispin
register in a hybrid
matter-photon
quantum information processor
link.aps.org
·
6d
💾
Register Pressure
Hypercompleteness
: Reply to
Žižek
rafaelholmberg.substack.com
·
6d
·
Discuss:
Substack
🔗
Concatenative Theory
Apache
Avro
™ 1.12.0 Documentation
avro.apache.org
·
6d
📡
Network Serialization
CP
Systems Explained: The Hidden Cost of Strong
Consistency
blog.ahmazin.dev
·
6d
·
Discuss:
Hacker News
🎯
Ring Buffers
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
6d
·
Discuss:
Hacker News
📐
Mathematical Computing
java
sucks
(2000)
jwz.org
·
6d
·
Discuss:
Lobsters
🔬
Nanopasses
The
Category
Error: Why AI Alignment is
Structurally
Impossible
pub.towardsai.net
·
6d
💫
Effect Systems
Vtc-R1
Achieves 3.4x Reasoning Speed-Up With Vision-Text Compression
quantumzeitgeist.com
·
6d
🗺️
Region Inference
akshat666/ephemeral-first-security-framework
: Security through
transience
, not just encryption
github.com
·
6d
·
Discuss:
Hacker News
🛡️
Security Type Systems
De-mystifying
Agentic AI: Building a Minimal Agent Engine from Scratch with
Clojure
serefayar.substack.com
·
6d
·
Discuss:
Substack
🎭
Erlang OTP
A
unified
plant
ecology
database for Spain
nature.com
·
5d
🌲
Deforestation
The Proximity of the
Inception
Score as an Evaluation
Criterion
towardsdatascience.com
·
6d
✨
Effect Inference
The Architecture of Open Source Applications (Volume 1)
Berkeley
DB
aosabook.org
·
6d
·
Discuss:
Hacker News
📚
Stack Data Structures
Loading...
Loading more...
« Page 19
•
Page 21 »
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