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
80067
posts in
784.7
ms
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
4d
📐
formal specification
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
1d
🔍
Symbolic Execution
outer
measure in
nLab
ncatlab.org
·
5d
🔎
Semantic Analysis
Same
Surface
, Different
Weight
robpanico.com
·
2d
·
Discuss:
Hacker News
🔎
Semantic Analysis
How to Design LLM
Applications
for Production: A System Design Guide
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
#384
weeknotes.barrucadu.co.uk
·
2d
🦀
Rust
B+-Tree
Structure
: How Order Is
Maintained
at Scale
dev.to
·
1d
·
Discuss:
DEV
🔎
Semantic Analysis
Practical
NLP
for Risk Modeling, Part II - Fine-tuning
DistilBERT
End-to-End on Tornado Narratives
jtrive.com
·
3d
🔎
Semantic Analysis
It's too cold to go
outside
, so I
learned
Python instead
loren.ldstephens.net
·
2d
🦀
Rust
Saturday
reads
blog.vslira.net
·
2d
·
Discuss:
blog.vslira.net
🔎
Semantic Analysis
Week 1: Why did I start learning Rust?
vitaliihonchar.com
·
2d
·
Discuss:
r/programming
🔍
Static Analysis
Agentic
Coding and the Problem of
Oracles
epkconsulting.substack.com
·
2d
·
Discuss:
r/programming
📐
formal specification
Give Your Agent a Language Server
blog.gorewood.games
·
2d
📐
formal specification
A
GTM
guide to AI models
revengine.substack.com
·
2d
·
Discuss:
Substack
🤖
AI
Newsletter
Leaf
Journal
CCLXVI
〜 Little White Lies
buttondown.com
·
2d
🤖
AI
Tip of the Week #77:
Temporaries
, Moves, and
Copies
abseil.io
·
2d
🔍
Static Analysis
Tip of the Week #175: Changes to
Literal
Constants
in C++14 and C++17.
abseil.io
·
2d
🔍
Refinement Types
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
3d
🔎
Semantic Analysis
In (highly
contingent
!) defense of
interpretability-in-the-loop
ML training
lesswrong.com
·
3d
🔍
Symbolic Execution
"Pure Virtual
Function
Called": An
Explanation
artima.com
·
2d
🔍
Refinement Types
Loading...
Loading more...
« Page 21
•
Page 23 »
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