Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Back to
taylor
's feed
Opencode – open-source alternative to Claude Code
(opens in new tab)
✅
Formal Verification
68
articles covering this post
opencode.ai
·
51w
51 weeks ago
·
Hacker News
,
Hacker News
,
Hacker News
·
Covered by janlukas.blog + 37 more
·
Open original
(opens in new tab)
Save
Love
Like
Dislike
|
Feeds
Share
|
Report
Block
Show Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Sign in to keep reading the full article.
Sign Up
Log In
Covered in 68 articles
Trying DeepSeek V4 with OpenCode
janlukas.blog
·
2w
2 weeks ago
Actions for Trying DeepSeek V4 with OpenCode
How much of your codebase should AI write? A trust-zone breakdown
dev.to
·
1d
1 day ago
·
DEV
Actions for How much of your codebase should AI write? A trust-zone breakdown
What We Lose When Coding Becomes Reviewing
dev.to
·
3d
3 days ago
·
DEV
Actions for What We Lose When Coding Becomes Reviewing
View all 68 ›
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
Save / unsave
s
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