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
🔍 Static Analysis
Abstract Interpretation, Data Flow, Control Flow, Bug Detection
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80265
posts in
1.16
s
intersection
type in
nLab
ncatlab.org
·
1h
🔎
Semantic Analysis
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
15h
·
Discuss:
Blogger
🔎
Semantic Analysis
Inside
Mesa
26.0's
RADV
RT improvements
pixelcluster.github.io
·
15h
·
Discuss:
Hacker News
,
r/linux_gaming
🔍
Refinement Types
Andersbakken/rtags
: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
github.com
·
19h
🔎
Semantic Analysis
Developing
in Production (
Yes
, Really)
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
The
Prospero
Challenge
mattkeeter.com
·
23h
🔍
Symbolic Execution
Mojo
roadmap
docs.modular.com
·
16h
🔍
Refinement Types
New
microkernel
OS in 10 days: From zero to Google
Compute
Engine
seiya.me
·
21h
·
Discuss:
Hacker News
🔍
Refinement Types
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
17h
📐
formal specification
Pull
Requests
as a Training Signal for
Repo-Level
Code Editing
arxiv.org
·
9h
🔍
Symbolic Execution
Some
thoughts
on LLM coding
blog.dave.tf
·
1d
·
Discuss:
Hacker News
📐
formal specification
Lines
of Code Are Back (and It's
Worse
Than Before)
thepragmaticcto.com
·
4h
·
Discuss:
Hacker News
🔎
Semantic Analysis
Learn
Java
Online: A Step-by-Step Guide for
Beginners
wscubetech.com
·
1d
·
Discuss:
DEV
🪜
Scala
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
9h
🔧
PLT
Data Modeling for the Agentic Era:
Semantics
, Speed, and
Stewardship
rilldata.com
·
22h
·
Discuss:
Hacker News
🔎
Semantic Analysis
Context
Is Part of the Game
joy.pm
·
2d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
2d
·
Discuss:
Hacker News
🔎
Semantic Analysis
Your team is shipping
faster
and understanding less
blog4ems.com
·
3h
📐
formal specification
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
1d
📐
formal specification
Patching
the Gaps: A Production-Ready Guide to Google’s
ADK
with TypeScript
dev.to
·
3h
·
Discuss:
DEV
🪜
Scala
Loading...
Loading more...
« Page 5
•
Page 7 »
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