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
81659
posts in
987.7
ms
HyPER: Bridging Exploration and
Exploitation
for Scalable LLM Reasoning with
Hypothesis
Path Expansion and Reduction
arxiv.org
·
23h
🪜
Recursive Descent
The
Impossibility
of
Strategyproof
Rank Aggregation
arxiv.org
·
23h
∀
Quantified Types
Method
chains
allow
a series of functions
dev.to
·
6d
·
Discuss:
DEV
📦
Closure Conversion
Real‑Time Extraction of
Kibble
–
Zurek
Scaling Exponents in Driven‑Dissipative Bose–Hubbard Arrays Using a Public‑Data Machine‑Learning Pipeline
freederia.com
·
3d
✨
Effect Inference
**Abstract:** This paper proposes a novel methodology for verifying the temporal consistency of theoretical Closed
Timelike
Curve (
CTC
) systems. Traditional ...
freederia.com
·
5d
🔢
Algebraic Datatypes
A micro
Lie
theory for state estimation in
robotics
dev.to
·
5d
·
Discuss:
DEV
⚡
Control Synthesis
Updates and Plans V: From
Boise
to Tel Aviv, Ceasefire, My 70th Birthday, Nostalgia, Problems, Outrageous
Conjectures
, Quantum, and AI
gilkalai.wordpress.com
·
6d
🎯
Bit Vectors
Falsehoods
Programmers
Believe About Names
kalzumeus.com
·
6d
📚
Suffix Arrays
The Engineer's Guide to
Elastic
Detections
as Code
elastic.co
·
6d
✅
Configuration Validation
The Better Lesson?
Geometry
and
Topology
in the Era of Deep Learning
bastian.rieck.me
·
5d
·
Discuss:
Hacker News
🗺️
Region Inference
The
Gumbel-Max
Trick
blog.quipu-strands.com
·
6d
·
Discuss:
Hacker News
🔍
Type Inference
The path to
noncommutative
function
theory: a research story
noncommutativeanalysis.wordpress.com
·
6d
🔗
Category Theory
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
6d
·
Discuss:
Substack
🔒
Rust Borrowing
How
Meanings
Became
Shareable
Across Minds
psychologytoday.com
·
6d
🔗
Concatenative Theory
Training Design for Text-to-Image Models:
Lessons
from
Ablations
huggingface.co
·
6d
🌱
Minimal ML
De-mystifying
Agentic AI: Building a Minimal Agent Engine from Scratch with
Clojure
serefayar.substack.com
·
6d
·
Discuss:
Substack
🎭
Erlang OTP
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
6d
·
Discuss:
Hacker News
📐
Standard ML
Cryptanalytic
Extraction of Neural Networks with Various
Activation
Functions
eprint.iacr.org
·
6d
🎯
Finite Automata
RFC 3284: The
VCDIFF
Generic
Differencing
and Compression Data Format
datatracker.ietf.org
·
6d
·
Discuss:
Hacker News
📦
Compression Algorithms
RePo
provides an
innovative
solution to long-context tasks in LLMs
bdtechtalks.substack.com
·
6d
🪜
Recursive Descent
Loading...
Loading more...
« Page 18
•
Page 20 »
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