💻 Programming

Go, TLA+, Distributed Algorithms, Planning, Algorithms, Formal methods, Debugging, System Architecture, Testing

Feeds to Scour
SubscribedAll
Scoured 122495 posts in 1.58 s
Art of Computer programming.
dev.to·11h·
Discuss: DEV
⚙Programming Language Design
Coding Agents Meet Distributed Reality
jhellerstein.github.io·2h·
Discuss: Hacker News
🤖AI
D Programming Language
dlang.org·13h·
Discuss: Hacker News
⚙Programming Language Design
What Agentic AI "Vibe Coding" In The Hands Of Actual Programmers / Engineers
stochasticlifestyle.com·6h
⚙Programming Language Design
6 niche programming languages developers secretly love
howtogeek.com·7h
⚙Programming Language Design
Go - Unit & Integration Testing
linkedin.com·22h·
Discuss: r/programming
⚙Programming Language Design
Maintaining Skills During the AI Advent
saadnaveed.com·19h·
Discuss: Hacker News
🤖AI
Formal Methods Practice and Theory
adacore.com·2d·
Discuss: Hacker News
⚙Programming Language Design
Guide to Build a Data Analysis & Visualization Agent Using Swarm Architecture
analyticsvidhya.com·1h
🤖AI
Must-Know Software Architecture Patterns
blog.bytebytego.com
·2h
⚙Programming Language Design
laurentenhoor/devclaw: Multi-project dev/qa pipeline orchestration plugin for OpenClaw
github.com·5h·
Discuss: Hacker News
⚙DevOps
Computing Least Fixed Points with Overwrite Semantics in Parallel and Distributed Systems
arxiv.org·14h
🌐Distributed Systems
The Secret Life of Go: Concurrency Patterns
dev.to·11h·
Discuss: DEV
⚙Programming Language Design
EduC++ Documentation
educplusplus.com·5h·
Discuss: r/cpp
⚙Programming Language Design
Building a Private Productivity Tracker from Scratch with C++ and Crow
localhost·1h·
Discuss: DEV
⚡Zig
Proof-oriented Programming in F*
fstar-lang.org·14h·
Discuss: Lobsters
⚙Programming Language Design
PELLI: Framework to effectively integrate LLMs for quality software generation
arxiv.org·14h
⚙Programming Language Design
百度千帆推出 AI 编码订阅服务 Coding Plan
linux.do·17h
🤖AI
Python is for Everyone: Inside the PSF's D&I Work Group
pyfound.blogspot.com·6h·
Discuss: Blogger
⚙Programming Language Design
What programming/technical projects have you been working on?
tildes.net·1d
⚙Programming Language Design

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help