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
81704
posts in
366.9
ms
The
Impossibility
of
Strategyproof
Rank Aggregation
arxiv.org
·
21h
∀
Quantified Types
SaDiT
: Efficient Protein
Backbone
Design via Latent Structural Tokenization and Diffusion Transformers
arxiv.org
·
21h
🔗
Parser Combinators
**Abstract:** This paper presents a novel, scalable approach to analyzing the complex
interrelationship
between the
Cabibbo-Kobayashi-Maskawa
(CKM) and Ponte...
freederia.com
·
5d
🔢
Algebraic Datatypes
Automated Extraction and Formalization of
Presuppositions
in Philosophical Discourse via Neuro‑Symbolic Reasoning **Abstract** Presupposition—the
unstated
ba...
freederia.com
·
4d
⚖️
Inference Rules
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
·
4d
·
Discuss:
DEV
🔄
Incremental Lexing
The path to
noncommutative
function
theory: a research story
noncommutativeanalysis.wordpress.com
·
6d
🔗
Category Theory
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
How
Meanings
Became
Shareable
Across Minds
psychologytoday.com
·
6d
🔗
Concatenative Theory
CP
Systems Explained: The Hidden Cost of Strong
Consistency
blog.ahmazin.dev
·
6d
·
Discuss:
Hacker News
🎯
Ring Buffers
Apache
Avro
™ 1.12.0 Documentation
avro.apache.org
·
6d
📡
Network Serialization
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
6d
·
Discuss:
Hacker News
📐
Mathematical Computing
Vtc-R1
Achieves 3.4x Reasoning Speed-Up With Vision-Text Compression
quantumzeitgeist.com
·
6d
🗺️
Region Inference
A
unified
plant
ecology
database for Spain
nature.com
·
5d
🌲
Deforestation
De-mystifying
Agentic AI: Building a Minimal Agent Engine from Scratch with
Clojure
serefayar.substack.com
·
6d
·
Discuss:
Substack
🎭
Erlang OTP
The Proximity of the
Inception
Score as an Evaluation
Criterion
towardsdatascience.com
·
6d
✨
Effect Inference
meth: A Python library to
parse
and
evaluate
mathematical equations.
github.com
·
6d
🌱
Minimal ML
Language
Controls
Thought
punkto.org
·
6d
·
Discuss:
Hacker News
🔗
Concatenative Theory
liliang-cn/sqvect
: SQLite for Vectors - Simple, fast, embeddable vector storage for Go LLM applications.
github.com
·
5d
·
Discuss:
Hacker News
💾
Minimal Databases
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