Explore >> Select a destination


You are here

stefansf.de
| | kristerw.github.io
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).
| | susam.net
2.2 parsecs away

Travel
| | [AI summary] The article presents a complex C programming puzzle involving pointer declarations and provides an example code to demonstrate the solution.
| | embedded.fm
6.3 parsecs away

Travel
| | C is for Cookie, and also C.
| | annabutlerfiction.com
49.9 parsecs away

Travel
| Available now from Wilde City Press