Programming

Feeds to Scour
SubscribedAll
Scoured 1090 posts in 9.4 ms

🇳🇱 Go/Golang job: Senior Backend Engineer (Go) | Studio AI at Creative Fabrica (Amsterdam, Netherlands)

 Proof Assistants
golangprojects.com·

A programming language for humans.

 🔤Type Systems
crowdhailer.me··Lobsters

From Skepticism to Shipping Code: My Journey Building a Reporting Microproduct with Codex

 🔤Type Systems  Content type: Blog
medium.com
·

KDevelop

 🛡️Memory Safety
flathub.org·

Create Your Own Programming Language with Rust

 ⚙️Compilers

GitLab Previews Revamped DevOps Platfom for the Agentic AI Era

 🧮Lean
devops.com·

Give GitHub Copilot CLI real code intelligence with language servers

 🦀Rust  Content type: Blog  Content type: Tutorial
github.blog·

Modern C++ Support in CLion: What’s New | The CLion Blog

 ⚙️c++  Content type: Blog
blog.jetbrains.com·

Copilot Code Reviews for Azure Repos

 🦀Rust  Content type: Blog

Software Engineering is the new Manufacturing Engineering

 📐PLT
halecraft.org··Hacker News

Hello World!

 ⚙️c++  Content type: Blog

Cohere open-sources a coding agent that runs on a single H100

 🧮Lean
venturebeat.com·

How long before we stop reading the code?

 Proof Assistants
thenewstack.io·

iMessage agents 🤖, Anthropic wants pause 🛑, Open Code Review 👨‍💻

 ⚙️Systems Programming
tldr.tech·

May 2026 Retrospective: Refactoring English: Month 18

 🧮Lean
mtlynch.io·

"North Mini Code"; open weights, 30B param, Canadian coding model

 🔍Abstract Interpretation  Content type: Blog
cohere.com··Hacker News

Multiple Runtimes, Reducing Your Claude Code Bill, and Your Doctors Database

 🦀Rust

State of the software engineering job market in 2026, part 2

 ⚙️Systems Programming  Content type: News

New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"

 Proof Assistants  Content type: Discussion

Revo, the Programming Language

 λFunctional Programming

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