/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.nayuki.io
Bitcoin cryptography library
| | blog.regehr.org
A Guide to Undefined Behavior in C and C++, Part 1 - Embedded in Academia
5.0 parsecs away

Travel
| | [AI summary] The provided text is a discussion thread about undefined behavior in C and C++ programming languages, focusing on integer overflow, pointer aliasing, and compiler optimizations. Key points include the implications of undefined behavior in real-world code, the role of compilers in handling such cases, and the balance between adhering to standards and accommodating practical programming needs. The conversation touches on tools for detecting undefined behavior, the evolution of C/C++ standards, and the importance of unit testing and maintenance in software development.
| | kristerw.github.io
GCC Translation Validation - Krister Walfridsson's blog - Compilers, programming languages, etc.
4.9 parsecs away

Travel
| | I am planning to do some work with SMT solvers and GCC. I usually start new projects by doing a naive implementation of the critical part to get a feel for the problems and find out what I need to learn before the real implementation. So I started this project by building a simple translation validator, similar to the LLVM Alive2 (but with many limitations).
| | sergioprado.blog
Finding memory bugs with AddressSanitizer - sergioprado.blog
4.5 parsecs away

Travel
| | AddressSanitizer (ASan) is an instrumentation tool created by Google security researchers to identify memory access problems in C and C++ programs.
| | mcyoung.xyz
Understanding Assembly Part I: RISC-V ยท mcyoung
24.1 parsecs away

Travel
| [AI summary] The article provides an in-depth exploration of computer architecture and assembly language, focusing on the RISC-V Instruction Set Architecture (ISA). It covers fundamental concepts such as machine words, registers, and the role of assembly language as a human-readable representation of machine instructions. The text explains how programs are structured using instructions, labels, and directives, and categorizes instructions into arithmetic, memory, control flow, and miscellaneous types. It also delves into the calling convention, which defines how functions are called and how data is passed between them, and highlights the importance of maintaining the call stack illusion. The article further discusses the practical implications of these conce...