/explore
|
You are here 
|
jessesquires.github.io | ||
| | | | |
www.artima.com
[AI summary] Bjarne Stroustrup outlines the guiding principles, new language features like concepts and auto, and library extensions for the upcoming C++09 standard. |
|
| | | | | ||
| | | | |
www.nayuki.io
[AI summary] This article introduces a multi-language open-source library for generating QR codes based on the ISO specification, highlighting its compact size, correctness, and availability in Java, TypeScript, Python, Rust, C++, and C. |
|
| | | | | ||
| | | | |
leanprover-community.github.io
|
|
| | | | | ||
| | | | |
herbsutter.com
Also in April, I was interviewed by Jordi Mon Companys for Software Engineering Daily, and that interview was just published on the SE Daily podcast. Here is a copy of the page's additional details, including a transcript link at bottom. The U.S. government recently released a report calling on the technical community to proactively reduce... |
|
| | | |||
