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
🔧 PLT
Type Theory, Lambda Calculus, Semantics, Compiler Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80334
posts in
1.02
s
DrugR
: Optimizing Molecular Drugs through LLM-based
Explicit
Reasoning
arxiv.org
·
10h
🔍
Symbolic Execution
Free(): Learning to
Forget
in
Malloc-Only
Reasoning Models
arxiv.org
·
10h
🔍
Symbolic Execution
Dirk
Eddelbuettel
:
chronometre
: A new package (pair) demo for R and Python
dirk.eddelbuettel.com
·
1d
🔍
Symbolic Execution
Tutorial – What is a
variational
autoencoder
?
jaan.io
·
22h
·
Discuss:
Hacker News
🔍
Refinement Types
Writing a
ledger-cli
Language Server
Protocol
with claude
frdmtoplay.com
·
1d
💻
Claude
Why I use
Typetify
: A Type-Safe Alternative to
Lodash
dev.to
·
3d
·
Discuss:
DEV
🪜
Scala
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
4d
·
Discuss:
Hacker News
🔄
Concurrency Models
Learning by
hand
is better than learning by AI
blog.engora.com
·
21h
·
Discuss:
Hacker News
🤖
AI
From
Diagram
to Code with
Kiro
CLI & Claude Opus 4.6
dev.to
·
9h
·
Discuss:
DEV
🔍
Refinement Types
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
2d
·
Discuss:
Hacker News
🔍
Static Analysis
I built a Python
LSP
in Go!
reddit.com
·
2d
·
Discuss:
r/golang
🔍
Symbolic Execution
tzcnt/TooManyCooks
: C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
github.com
·
1d
🔍
Refinement Types
What Should Go Into the C++
Standard
Library
abseil.io
·
2d
🔎
Semantic Analysis
StatLLM
: A Dataset for Evaluating the Performance of Large Language Models in
Statistical
Analysis
nature.com
·
4d
🔎
Semantic Analysis
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔍
Refinement Types
Andersbakken/rtags
: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
github.com
·
20h
🔎
Semantic Analysis
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
21h
·
Discuss:
Hacker News
🤖
AI
What I am doing now
artima.com
·
2d
🪜
Scala
The vibe coding
spectrum
: from weekend
hacks
to the dark factory
betterthangood.xyz
·
1d
📐
formal specification
Opus 4.6 Reasoning Doesn't
Verbalize
Alignment
Faking
, but Behavior Persists
lesswrong.com
·
1d
📐
formal specification
Loading...
Loading more...
« Page 10
•
Page 12 »
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