Hacker News
Linked pages
- GitHub - microsoft/checkedc: Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code. https://github.com/Microsoft/checkedc 518 comments
- Checked C - Microsoft Research http://research.microsoft.com/en-us/projects/checkedc/ 225 comments
- Code Red: the Business Impact of Code Quality https://www.infoq.com/articles/business-impact-code-quality/ 94 comments
- ArchUnit Verifies Architecture Rules for Java Applications https://www.infoq.com/news/2022/10/archunit/ 22 comments
- BellSoft Introduces Alpaquita Linux for Containerized Java Applications https://www.infoq.com/news/2022/10/alpaquita-linux/ 7 comments
- Microsoft Announces New Azure Space Capabilities https://www.infoq.com/news/2022/09/new-azure-space-capabilities/ 5 comments
- Quarkus Defends REST APIs against Attack https://www.infoq.com/news/2022/10/quarkus-csrf-defense/ 5 comments
- Error Prone Support Introduces New Bug Checks and Refaster Templates https://www.infoq.com/news/2022/10/error-prone-support/ 1 comment
- Java News Roundup: Sequenced Collections, Spring 6.0-RC1, Apache Tomcat, Reactor 2022.0-RC1 https://www.infoq.com/news/2022/10/java-news-roundup-oct10-2022/ 0 comments
- Microsoft Introduces Azure Cosmos DB for PostgreSQL https://www.infoq.com/news/2022/10/azure-cosmosdb-postgresql-ga/ 0 comments
- Netflix's Fraud Detection Framework for Streaming Services https://www.infoq.com/news/2022/10/netflix-fraud-detect-framework/ 0 comments
Related searches:
Search whole site: site:infoq.com
Search title: Checked C - A Safer C/C++ from Microsoft
See how to search.