digitalmars.D.announce - Cppcon tonight at 8:30 in Bellevue
- Walter Bright (6/6) Sep 21 2016 Wednesday 09/21/2016 8:30pm: Writing Secure C++
- Brad Anderson (13/21) Sep 21 2016 The website[1] says it's quite a bit more than free ($1195 for
- Walter Bright (2/22) Sep 21 2016 Sorry I wasn't clear. The free entry is only for the 8:30 talk.
- Andrei Alexandrescu (11/15) Sep 22 2016 Slides are nice, I hope the talk was good. His notion of total functions...
- Brad Anderson (9/27) Sep 22 2016 Just to be clear, this wasn't slides for the talk Walter was
- Andrei Alexandrescu (5/8) Sep 22 2016 Yes, although not a lot of current work is available in book format at
- Atila Neves (5/13) Sep 22 2016 D's been explicitly mentioned in two talks that I've been to so
- cym13 (2/19) Sep 22 2016 Which talks are those?
- Atila Neves (5/27) Sep 22 2016 Developing C++ @ Facebook Scale
Wednesday 09/21/2016 8:30pm: Writing Secure C++ CppCon is being hosted at the Meydenbauer Center in Bellevue. Directions and parking information can be found here: http://www.meydenbauer.com/parking-directions/ Additional information on CppCon can be found here: http://cppcon.org/ Don't need a ticket to attend this one, all are welcome. I plan on being there.
Sep 21 2016
On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright wrote:Wednesday 09/21/2016 8:30pm: Writing Secure C++ CppCon is being hosted at the Meydenbauer Center in Bellevue. Directions and parking information can be found here: http://www.meydenbauer.com/parking-directions/ Additional information on CppCon can be found here: http://cppcon.org/ Don't need a ticket to attend this one, all are welcome. I plan on being there.The website[1] says it's quite a bit more than free ($1195 for late registration). Great conference though. There are a lot of exceptional talks that come out of it. We were just talking about the slides[2] for the Using Types Effectively talk this year in #D on Freenode. My own programming has been increasingly adopting this style over the last year so it's nice to learn some of the type theory lingo. For anyone viewing the slides, Variant and Nullable are the D equivalents of C++'s variant and optional. 1. http://cppcon.org/registration/ 2. http://www.elbeno.com/presentations/using-types-effectively/presentation.html
Sep 21 2016
On 9/21/2016 3:48 PM, Brad Anderson wrote:On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright wrote:Sorry I wasn't clear. The free entry is only for the 8:30 talk.Wednesday 09/21/2016 8:30pm: Writing Secure C++ CppCon is being hosted at the Meydenbauer Center in Bellevue. Directions and parking information can be found here: http://www.meydenbauer.com/parking-directions/ Additional information on CppCon can be found here: http://cppcon.org/ Don't need a ticket to attend this one, all are welcome. I plan on being there.The website[1] says it's quite a bit more than free ($1195 for late registration). Great conference though. There are a lot of exceptional talks that come out of it. We were just talking about the slides[2] for the Using Types Effectively talk this year in #D on Freenode. My own programming has been increasingly adopting this style over the last year so it's nice to learn some of the type theory lingo. For anyone viewing the slides, Variant and Nullable are the D equivalents of C++'s variant and optional. 1. http://cppcon.org/registration/ 2. http://www.elbeno.com/presentations/using-types-effectively/presentation.html
Sep 21 2016
On 9/21/16 7:37 PM, Walter Bright wrote:On 9/21/2016 3:48 PM, Brad Anderson wrote:Slides are nice, I hope the talk was good. His notion of total functions gets a bit weakened by the existence of the default constructor (e.g. if the return type has a default value, you can always write a total function that just returns it). In order to avoid such degenerate cases, he'd need to add the requirement that the function is also injective (maps different inputs to different outputs). Then his examples are meaningful (and beautiful). In D, the closest we get to the notion of a total function is a nothrow pure function. As far as I know we cannot enforce injectivity. Andreihttp://www.elbeno.com/presentations/using-types-effectively/presentation.htmlSorry I wasn't clear. The free entry is only for the 8:30 talk.
Sep 22 2016
On Thursday, 22 September 2016 at 14:03:04 UTC, Andrei Alexandrescu wrote:On 9/21/16 7:37 PM, Walter Bright wrote:Just to be clear, this wasn't slides for the talk Walter was attending. I'm not sure if Walter was going to the Lightning Talks, the Concepts/Range talk, or the Biggest Security Fails talk. This was just a separate one from earlier in the week. I remember you recommending Types and Programming Languages by MIT Press awhile back. Is that still what you'd recommend for learning about type theory?On 9/21/2016 3:48 PM, Brad Anderson wrote:Slides are nice, I hope the talk was good. His notion of total functions gets a bit weakened by the existence of the default constructor (e.g. if the return type has a default value, you can always write a total function that just returns it). In order to avoid such degenerate cases, he'd need to add the requirement that the function is also injective (maps different inputs to different outputs). Then his examples are meaningful (and beautiful). In D, the closest we get to the notion of a total function is a nothrow pure function. As far as I know we cannot enforce injectivity. Andreihttp://www.elbeno.com/presentations/using-types-effectively/presentation.htmlSorry I wasn't clear. The free entry is only for the 8:30 talk.
Sep 22 2016
On 9/22/16 2:35 PM, Brad Anderson wrote:I remember you recommending Types and Programming Languages by MIT Press awhile back. Is that still what you'd recommend for learning about type theory?Yes, although not a lot of current work is available in book format at all. Also, I've heard Pierce's second book "Advanced Topics in Types and Programming Languages" is just way esoteric. Maybe Timon has some more recommendations. -- Andrei
Sep 22 2016
On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright wrote:Wednesday 09/21/2016 8:30pm: Writing Secure C++ CppCon is being hosted at the Meydenbauer Center in Bellevue. Directions and parking information can be found here: http://www.meydenbauer.com/parking-directions/ Additional information on CppCon can be found here: http://cppcon.org/ Don't need a ticket to attend this one, all are welcome. I plan on being there.D's been explicitly mentioned in two talks that I've been to so far. Atila
Sep 22 2016
On Thursday, 22 September 2016 at 19:50:40 UTC, Atila Neves wrote:On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright wrote:Which talks are those?Wednesday 09/21/2016 8:30pm: Writing Secure C++ CppCon is being hosted at the Meydenbauer Center in Bellevue. Directions and parking information can be found here: http://www.meydenbauer.com/parking-directions/ Additional information on CppCon can be found here: http://cppcon.org/ Don't need a ticket to attend this one, all are welcome. I plan on being there.D's been explicitly mentioned in two talks that I've been to so far. Atila
Sep 22 2016
On Thursday, 22 September 2016 at 21:21:06 UTC, cym13 wrote:On Thursday, 22 September 2016 at 19:50:40 UTC, Atila Neves wrote:Developing C++ Facebook Scale and Implementing `static` control flow in C++14 AtilaOn Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright wrote:Which talks are those?Wednesday 09/21/2016 8:30pm: Writing Secure C++ CppCon is being hosted at the Meydenbauer Center in Bellevue. Directions and parking information can be found here: http://www.meydenbauer.com/parking-directions/ Additional information on CppCon can be found here: http://cppcon.org/ Don't need a ticket to attend this one, all are welcome. I plan on being there.D's been explicitly mentioned in two talks that I've been to so far. Atila
Sep 22 2016