/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

 stefansf.de
Declaring, Defining and Prototyping Functions in C
| | embedded.fm
ESE101: C is for Cookie, and also C - Embedded
6.3 parsecs away

Travel
| | C is for Cookie, and also C.
| | kristerw.github.io
GCC Translation Validation - Krister Walfridsson's blog - Compilers, programming languages, etc.
6.5 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).
| | nrk.neocities.org
C: Stop writing f()
3.7 parsecs away

Travel
| | [AI summary] An article explains the critical difference between C function declarations f() and f(void), warning against the former due to lack of type safety and recommending compiler flags to enforce strict prototypes.
| | www.ralfj.de
Pointers Are Complicated, or: What's in a Byte?
28.9 parsecs away

Travel
| This summer, I am again working on Rust full-time, and again I will work (amongst other things) on a "memory model" for Rust/MIR. However, before I can talk about the ideas I have for this ...