Skip to main content
Scour
Browse
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
🔬 Static Analysis
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80685
posts in
2.08
s
A brief introduction to
Compilers
with
Kotlin
examples
rabbitvictor.com
·
1d
🔨
Compiler Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Not All Tokens Matter:
Data-Centric
Optimization for Efficient Code
Summarization
arxiv.org
·
6h
🔨
Compiler Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces a novel framework for automated
categorical
data integrity verification leveraging higher-order
categorical
logic (
HOLC
) ...
freederia.com
·
8h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Managing
Unreliable
Compilers
dev.to
·
18h
·
Discuss:
DEV
🔨
Incremental Compilation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Refactoring and Equivalence in Rust: Expanding the
REM
Toolchain
with a Novel Approach to Automated Equivalence Proofs
arxiv.org
·
1d
🦀
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How to
Write
High-Performance Code
blog.bytebytego.com
·
19h
⚙️
Performance Profiling
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Semantic Police: Stop or my
compiler
will prove a
theorem
kp9.in
·
3d
·
Discuss:
Hacker News
🔍
Type Inference
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Disentangling
unification and implicit coercion (
subtyping
interaction problem)
jonmsterling.com
·
1d
·
Discuss:
Hacker News
🔍
Type Inference
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Dark Software
Fabric
: Engineering the
Invisible
System That Builds Your Software
julianmwagner.com
·
3h
·
Discuss:
Hacker News
,
r/SideProject
,
r/programming
⚙️
JIT Compilation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Object-Oriented
i-programmer.info
·
19h
🔤
Language Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Why
Static
Analysis Struggles with Business Logic
Vulnerabilities
gecko.security
·
2d
·
Discuss:
Hacker News
,
r/programming
🎯
Escape Analysis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Competitive
Pure
Functional
Languages
blog.samibadawi.com
·
2d
·
Discuss:
Hacker News
🔨
Compiler Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Reversing
abstractions
: an existential crisis
humprog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔨
Incremental Compilation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Writing a C
Compiler
in
Clojure
shagunagrawal.me
·
3d
·
Discuss:
Hacker News
🔨
Compiler Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Time in C++: Once More About Testing
sandordargo.com
·
1d
·
Discuss:
r/cpp
🦀
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ML
Systems
Textbook
mlsysbook.ai
·
1d
📊
Algorithms
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Building
Modular
Applications
with V
linkedin.com
·
1d
·
Discuss:
r/programming
🦀
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
"I'm an
MCA
student looking for feedback on my code
structure
, Idea ?
github.com
·
1d
·
Discuss:
r/reactjs
🔍
Code Review
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Python
OOP
Prerequisites
: The Essential Checklist for Beginners
dev.to
·
21h
·
Discuss:
DEV
🔤
C Programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Rust vs JavaScript &
TypeScript
: performance,
WebAssembly
, and developer experience
blog.jetbrains.com
·
2d
🦀
Rust Macros
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