Skip to main content
🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Language Theory
Type Systems, Formal Methods, Lambda Calculus, Category Theory
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3442
posts in
57.5
ms
Limited Math:
Aligning
Mathematical
Semantics
with Finite Computation
arxiv.org
·
2d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Type
inference
of all
constructs
and the next 15 months
elixir-lang.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧩
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
One
schema
. Every platform.
standard.site
·
1d
·
Discuss:
Hacker News
📡
RSS
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A
Unique
Performance Optimization for a 3D
Geometry
Language
cprimozic.net
·
15h
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
&&&&&&&&&&&&&&
str
ohadravid.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/rust
🧩
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Functors
,
Applicatives
, and Monads: The Scary Words You Already Understand
cekrem.github.io
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
,
r/reactjs
🧩
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Categorical Belief Propagation:
Sheaf-Theoretic
Inference via Descent and
Holonomy
arxiv.org
·
2d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
HTML
parsers
in
Portland
felix.dognebula.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧩
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Chronology
as a Consistency Invariant in
Composable
Information Systems
arxiv.org
·
3d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Differential
syntactic
and semantic
encoding
in LLMs
arxiv.org
·
2d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Which programming
languages
are most
token-efficient
?
martinalderson.com
·
3d
·
Discuss:
Lobsters
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Prompting
101: Show, don’t
tell
haskellforall.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
haskellforall.com
🧩
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Garbage
collection is
contrarian
trynova.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧩
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Automated Theorem
Proving
for
Prolog
Verification
arxiv.org
·
3d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
H\'an D\=an
Xu
\'e B\`u (
Mimicry
) or Q\=ing Ch\=u Y\'u L\'an (Mastery)? A Cognitive Perspective on Reasoning Distillation in Large Language Models
arxiv.org
·
2d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Sphinx
:
Benchmarking
and Modeling for LLM-Driven Pull Request Review
arxiv.org
·
2d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Haskell
Debugger
for
GHC
9.14
discourse.haskell.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Fun with
Algebraic
Effects – From Toy Examples to
Hardcaml
Simulations
blog.janestreet.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧩
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
OLA
: Output Language Alignment in
Code-Switched
LLM Interactions
arxiv.org
·
3d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Learning
Dynamics
in
RL
Post-Training for Language Models
arxiv.org
·
2d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
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