Programming

Feeds to Scour
SubscribedAll
Scoured 1090 posts in 5.1 ms

GitLab Commands and How to Push Code to GitLab

 🦀Rust  Content type: Code
gitlab.com··DEV

The Future of Software Development Isn’t Writing More Code — It’s Building Smarter Systems

 ⚙️Systems Programming
kickstarter.com··DEV

Open-Source Knowledge Base for the .NET Core Developer Career Path

 ⚙️Systems Programming  Content type: Code
github.com··DEV

Reading Confusing Code Triggers Linguistic Correction Brain Waves

 ⚙️Compilers
neurosciencenews.com·

Automated doubt 🤔, open code review 📝, how LLMs really work 🔨

 🔤Type Systems
tldr.tech·

A human in control

 λFunctional Programming  Content type: Blog

Rust Coding Conventions and Learning Resources

 🦀Rust

CodePal: How Snap Built an AI Code Reviewer for the Age of AI-Written Code

 🧮Lean
eng.snap.com··Hacker News

Open Code Review (Alibaba)

 🧮Lean

Programming Languages Software Award

 🧮Lean
sigplan.org·

Communication Skills in Software Engineering: A Multivocal Review

 🔤Type Systems  Content type: Academic
arxiv.org·

Introduction to Backend Development in 2026

 ⚙️Systems Programming  Content type: Blog
talent500.com·

Maybe You Can Get Rid of Code Reviews

 🔍Abstract Interpretation  Content type: Blog

Kimi Code: Next-Gen AI Code Agent for Terminal & IDE

 Proof Assistants
kimi.com
·

Ask HN: What has been the fate of code review?

 Proof Assistants  Content type: Discussion

Open Source Tools Every STEM Student Should Know About

 🧮Lean
freecodecamp.org·

Lean Programming Language

 Proof Assistants
lean-lang.org·

Switch from GitHub Copilot to Claude Code: Migration Guide 2026

 🦀Rust  Content type: Blog
wowhow.cloud··DEV

Programming Languages Course Reboot, 2026

 📐PLT  Content type: Reference

I'm a product manager. My code merges without an engineer reading the diff

 🧮Lean  Content type: Blog

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
Save / unsave
s

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