|
You are here |
bernsteinbear.com | ||
| | | | |
qsantos.fr
|
|
| | | | | So Many Bugs So, you've been programming for one month, or for ten years, and you have gotten familiar with Murphy's and Sturgeon's laws. And you are wondering if there is some way to catch all the bugs, not just spray-and-pray with regression/unit/integration/system/acceptance testing. Or you are a curious onlooker, wondering why all these programmers ... Continue reading Why Undefined Behavior Matters ? | |
| | | | |
kristerw.github.io
|
|
| | | | | This post describes the implementation of pysmtgcc. See "GCC Translation Validation" for background information. | |
| | | | |
coredumped.dev
|
|
| | | | | In this post, we are going to take a deep dive into pointer tagging, where metadata is encoded into a word-sized pointer. Doing so allows us to keep a compact representation that can be passed around in machine registers. This is very common in implementing dynamic programming languages, but can really be used anywhere that additional runtime information is needed about a pointer. We will look at a handful of different ways these pointers can be encoded and see how the compiler can optimize them for diff... | |
| | | | |
icfp18.sigplan.org
|
|
| | | The Haskell Implementors' Workshop is a forum for those involved in implementing Haskell systems, infrastructure, libraries and tools, for people generally involved in implementing Haskell technology. We share our work and discuss future directions and collaborations with others. In 2018, the Haskell Implementors' Workshop will be co-located with ICFP 2018. The workshop does not have proceedings. Talks and/or demos are proposed by submitting an abstract and selected by a small program committee. The workshop will be informal and interactive, with a flexible timetable and plenty of room for ... | ||