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
81688
posts in
293.2
ms
Almost All
Vectorial
Functions Have No Extended-Affine
Symmetries
arxiv.org
·
22h
📏
Linear Haskell
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
22h
📋
Souffle Datalog
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
·
20h
·
Discuss:
DEV
🔍
Tokenizers
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
4d
·
Discuss:
Hacker News
🌊
Reactive Languages
Against the
Orthogonality
Thesis
jonasmoman.substack.com
·
5d
·
Discuss:
Substack
💫
Effect Systems
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧩
Constraint Solvers
Continual
learning and the post
monolith
AI era
baseten.co
·
3d
·
Discuss:
Hacker News
🧠
Memory Models
As
Rocks
May Think
evjang.com
·
6d
·
Discuss:
Hacker News
,
r/programming
🗺️
Region Inference
On
Thinkish
.
languagehat.com
·
3d
⚖️
Inference Rules
Enforcing
Code Feature
Requirements
in C++
artima.com
·
2d
🪆
Embedded DSLs
What Should Go Into the C++
Standard
Library
abseil.io
·
2d
🧸
Toy Compilers
Tip of the Week #165: <code>if</code> and <code>switch</code>
statements
with
initializers
abseil.io
·
2d
🔗
Lexical Scoping
A Brief Introduction to
Rvalue
References
artima.com
·
2d
⚡
Copy Elision
hanig/engram
: Personal knowledge graph and automation system
github.com
·
2d
🔄
Incremental Lexing
Crafting
the Eyes for Thinking Machines: The “White Box”
VLM
pub.towardsai.net
·
3d
✨
Gleam
Chromosome-level genome assembly and annotation of the critically endangered
Siberian
crane (
Leucogeranus
leucogeranus
)
nature.com
·
2d
🌲
Deforestation
**Abstract:** This paper proposes a novel methodology for rigorously verifying quantum contextuality, specifically focusing on the
Kochen-Specker
(KS)
theore
...
freederia.com
·
3d
📜
Proof Languages
Loading...
Loading more...
« Page 9
•
Page 11 »
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