💻 C++ - sedan540 · Scour

Proof-oriented Programming in F*

fstar-lang.org·1d·

Discuss: Lobsters

Bringing a jewel-encrusted warhammer to a knife fight

reorchestrate.com·1d·

Discuss: Hacker News, r/rust

Lessons from Zig

vinniefalco.com·1d·

Discuss: Hacker News

Comparing c2482bd6b5...7cbbeffc4d

github.com·1d

Your Fastly VCL deserves an IDE: bringing full VCL language support to Visual Studio Code

fastly.com·1d

dev.to·6m·

Discuss: DEV

Filesystem Hierarchy Standard 3.0

refspecs.linuxfoundation.org·1d

Is this const str concat macro cursed or blessed?

docs.rs·2d·

Discuss: r/rust

Coding assistants

pouet.net·1d

Copyright office will not find human authorship where AI program generates works

congress.gov·6h·

Discuss: Hacker News

6 niche programming languages developers secretly love

howtogeek.com·1d

ianbarber.blog·1d·

Discuss: Hacker News

mlajtos.github.io·2d·

Discuss: Lobsters

Quick Stack Tiedown

artlu.bearblog.dev·1d

[]enum(u8){_} as string type

ziggit.dev·2d

Art of Computer programming.

dev.to·1d·

Discuss: DEV

fullptr/imrefl: An ImGui library using C++26 reflection to generate windows to easily display structs

github.com·1d·

Discuss: r/cpp

ledoux.itch.io·1d

百度千帆推出 AI 编码订阅服务 Coding Plan

linux.do·1d

Go - Unit & Integration Testing

linkedin.com·1d·

Discuss: r/programming

Sign up or log in to see more results